Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Platzer, André
'
Treffer 1-10 von 18
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 2
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Abou Jamra, Rami (1)
Afenjar, Alexandra (1)
Angelini, Chloé (1)
Arveiler, Benoit (1)
Barakat, Tahsin Stefan (1)
Barcia, Giulia (1)
Baulac, Stéphanie (1)
Beckert, Bernhard (1)
Benkerdou, Fouzia (1)
Besnard, Thomas (1)
Bonnet-Dupeyron, Marie-Noelle (1)
Boute, Odile (1)
Boycott, Kym M (1)
Brischoux-Boucher, Elise (1)
Cassinari, Kévin (1)
Chatron, Nicolas (1)
Clarke, Edmund M (1)
Cogne, Benjamin (1)
Colson, Cindy (1)
Conrad, Solène (1)
Dauriat, Benjamin (1)
Delahaye-Duriez, Andrée (1)
Delanne, Julian (1)
Denommé-Pichon, Anne-Sophie (1)
Drukewitz, Stephan Holger (1)
Drunat, Séverine (1)
Dubourg, Christèle (1)
Duffourd, Yannis (1)
Dyment, David (1)
Elmaleh, Monique (1)
Faivre, Laurence (1)
Faoucher, Marie (1)
Forlani, Sylvie (1)
Goel, Himanshu (1)
Goujon, Louise (1)
Guerrot, Anne-Marie (1)
Guha, Saurav (1)
Guimier, Anne (1)
Halleb, Yosra (1)
Hentschel, Julia (1)
Jakhar, Abhilasha (1)
Januel, Louis (1)
Kaiser, Frank (1)
Keren, Boris (1)
Khadija, Bochra (1)
Küchler, Alma (1)
Lackmy, Marilyn (1)
Lambert, Laetitia (1)
Legendre, Marine (1)
Lehalle, Daphné (1)
Lejeune, Elodie (1)
Levy, Jonathan (1)
Mach, Corinne (1)
Malan, Valérie (1)
Mandel, Jean-Louis (1)
Mansour-Hendili, Lamisse (1)
Margot, Henri (1)
Mau-Them, Frédéric Tran (1)
Mayr, Johannes A (1)
Meridda, Catherine (1)
Michaud, Vincent (1)
Michot, Caroline (1)
Mignot, Cyril (1)
Nicolas, Gaël (1)
Pauly, Melissa (1)
Pensec, Marine (1)
Philippe, Christophe (1)
Platzer, André (17)
Poduri, Annapurna (1)
Poirsier, Céline (1)
Pujol, Aurora (1)
Quesel, Jan-David (5)
Racine, Caroline (1)
Raway, Margaux (1)
Renaud, Mathilde (1)
Rümmer, Philipp (1)
Sainte Agathe, Jean-Madeleine de (1)
Satre, Véronique (1)
Saugier-Veber, Pascale (1)
Sauvestre, Clément (1)
Schaefer, Elise (1)
Schanze, Ina (1)
Segelken, Marc (1)
Sigaudy, Sabine (1)
Stenton, Sarah L (1)
Stoeva, Radka (1)
Temming, Petra (1)
Thauvin, Christel (1)
Vanlerberghe, Clémence (1)
Vera, Gabriella (1)
Verdel, André (1)
Vial, Yoann (1)
Vignal, Cédric (1)
Vincent, Marie (1)
Vincent-Delorme, Catherine (1)
Whiffin, Nicola (1)
Zacher, Pia (1)
Zeltner, Lena (1)
Ziegler, Alban (1)
Õunap, Katrin (1)
nach Medientyp:
Artikel (17)
Bücher (1)
E-Books (1)
1
49GBVUOB_ALMA51421089550003501
49GBVUOB_ALMA51421089550003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51421089550003501
Artikel
Dominant variants in major spliceosome U4 and U5 small nuclear RNA genes cause neurodevelopmental disorders through splicing disruption
von
Caroline Nava ; Benjamin Cogne ; Amandine Santini ; Elsa Leitão ; François Lecoquierre ; Yuyang Chen ; Sarah L. Stenton ; Thomas Besnard ; Solveig Heide ; Sarah Baer ; Abhilasha Jakhar ; Sonja Anna Neuser ; Boris Keren ; Anne Faudet ; Sylvie Forlani ; Marie Faoucher ; Kevin Uguen ; Konrad Platzer ; Alexandra Afenjar ; Jean-Luc Alessandri ; Stephanie Andres ; Chloé Angelini ; Bernard Aral ; Benoit Arveiler ; Tania Attie-Bitach ; Marion Aubert Mucca ; Guillaume Banneau ; Tahsin Stefan Barakat ; Giulia Barcia ; Stéphanie Baulac ; Claire Beneteau ; Fouzia Benkerdou ; Virginie Bernard ; Stéphane Bézieau ; Dominique Bonneau ; Marie-Noelle Bonnet-Dupeyron ; Simon Boussion ; Odile Boute ; Elise Brischoux-Boucher ; Samantha J. Bryen ; Julien Buratti ; Tiffany Busa ; Almuth Caliebe ; Yline Capri ; Kévin Cassinari ; Roseline Caumes ; Camille Cenni ; Pascal Chambon ; Perrine Charles ; John Christodoulou ; Cindy Colson ; Solène Conrad ; Auriane Cospain ; Juliette Coursimault ; Thomas Courtin ; Madeline Couse ; Charles Coutton ; Isabelle Creveaux ; Alissa M. D'Gama ; Benjamin Dauriat ; Jean-Madeleine de Sainte Agathe ; Giulia Del Gobbo ; Andrée Delahaye-Duriez ; Julian Delanne ; Anne-Sophie Denommé-Pichon ; Anne Dieux-Coeslier ; Laura Do Souto Ferreira ; Martine Doco-Fenzy ; Stephan Holger Drukewitz ; Véronique Duboc ; Christèle Dubourg ; Yannis Duffourd ; David Dyment ; Salima El Chehadeh ; Monique Elmaleh ; Laurence Faivre ; Samuel Fennelly ; Hanna Fischer ; Mélanie Fradin ; Camille Galludec Vaillant ; Benjamin Ganne ; Jamal Ghoumid ; Himanshu Goel ; Zeynep Gokce-Samar ; Alice Goldenberg ; Romain Gonfreville Robert ; Svetlana Gorokhova ; Louise Goujon ; Victoria Granier ; Mathilde Gras ; John M. Greally ; Bianca Greiten ; Paul Gueguen ; Anne-Marie Guerrot ; Saurav Guha ; Anne Guimier ; Tobias Haack ; Hamza Hadj Abdallah ; Yosra Halleb ; Radu Harbuz ; Madeleine Harris ; Julia Hentschel ; Bénédicte Héron ; Marc-Phillip Hitz ; A. Micheil Innes ; Vincent Jadas ; Louis Januel ; Nolwenn Jean-Marçais ; Vaidehi Jobanputra ; Florence Jobic ; Ludmila Jornea ; Céline Jost ; Sophie Julia ; Frank Kaiser ; Daniel Kaschta ; Sabine Kaya ; Petra Temming ; Bochra Khadija ; Fabian Kilpert ; Cordula Knopp ; Florian Kraft ; Ilona Krey ; Marilyn Lackmy ; Fanny Laffargue ; Laetitia Lambert ; Ryan Lamont ; Vincent Laugel ; Steven Laurie ; Julie L. Lauzon ; Louis Lebreton ; Marine Lebrun ; Marine Legendre ; Eric Leguern ; Daphné Lehalle ; Elodie Lejeune ; Gaetan Lesca ; Marion Lesieur-Sebellin ; Jonathan Levy ; Agnès Linglart ; Stanislas Lyonnet ; Kevin Alan Lüthy ; Alan S. Ma ; Corinne Mach ; Jean-Louis Mandel ; Lamisse Mansour-Hendili ; Julien Marcadier ; Victor Marin ; Henri Margot ; Valentine Marquet ; Angèle May ; Johannes A. Mayr ; Catherine Meridda ; Vincent Michaud ; Caroline Michot ; Gwenael Nadeau ; Sophie Naudion ; Laetitia Nguyen ; Mathilde Nizon ; Frédérique Nowak ; Sylvie Odent ; Valerie Olin ; Ikeoluwa A. Osei-Owusu ; Matthew Osmond ; Katrin Õunap ; Laurent Pasquier ; Sandrine Passemard ; Melissa Pauly ; Olivier Patat ; Marine Pensec ; Laurence Perrin-Sabourin ; Florence Petit ; Christophe Philippe ; Marc Planes ; Annapurna Poduri ; Céline Poirsier ; Antoine Pouzet ; Bradley Prince ; Clément Prouteau ; Aurora Pujol ; Caroline Racine ; Mélanie Rama ; Francis Ramond ; Kara Ranguin ; Margaux Raway ; André Reis ; Mathilde Renaud ; Nicole Revencu ; Anne-Claire Richard ; Lucile Riera-Navarro ; Rocio Rius ; Diana Rodriguez ; Agustí Rodriguez-Palmero ; Sophie Rondeau ; Annika Roser-Unruh ; Christelle Rougeot Jung ; Hana Safraou ; Véronique Satre ; Pascale Saugier-Veber ; Clément Sauvestre ; Elise Schaefer ; Wanqing Shao ; Ina Schanze ; Jan-Ulrich Schlump ; Agatha Schlüter Martin ; Caroline Schluth-Bolard ; Sarah Laetissia Schuhmann ; Christopher Schröder ; Monisha Sebastin ; Sabine Sigaudy ; Malte Spielmann ; Marta Spodenkiewicz ; Laura St Clair ; Julie Steffann ; Radka Stoeva ; Harald Surowy ; Mark A. Tarnopolsky ; Calina Todosi ; Annick Toutain ; Frédéric Tran Mau-Them ; Astrid Christine Unterlauft ; Julien Van-Gils ; Clémence Vanlerberghe ; Georgia Vasileiou ; Gabriella Vera ; André Verdel ; Alain Verloes ; Yoann Vial ; Cédric Vignal ; Marie Vincent ; Catherine Vincent-Delorme ; Aline Vincent-Devulder ; Antonio Vitobello ; Sacha Weber ; Marjolaine Willems ; Khaoula Zaafrane-Khachnaoui ; Pia Zacher ; Lena Zeltner ; Alban Ziegler ; Wojciech P. Galej ; Hélène Dollfus ; Christel Thauvin ; Kym M. Boycott ; Pierre Marijon ; Alban Lermine ; Valérie Malan ; Marlène Rio ; Alma Küchler ; Bertrand Isidor ; Séverine Drunat ; Thomas Smol ; Nicolas Chatron ; Amélie Piton ; Gaël Nicolas ; Matias Wagner ; Rami Abou Jamra ; Delphine Héron ; Cyril Mignot ; Pierre Blanc ; Anne H. O'Donnell-Luria ; Nicola Whiffin ; Camille Charbonnier ; Clément Charenton ; Julien Thevenon ; Christel Depienne
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hitz, Marc-Phillip, ([2021-])
Umfang:
35.
Enthalten in:
Nature genetics London : Macmillan Publishers Limited, part of Springer Nature, 1992 57(2025), 6, Seite 1374-1388 Online-Ressource
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA71158632980003501
49GBVUOB_ALMA71158632980003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158632980003501
Artikel
Playing hybrid games with KeYmaera
von
Jan-David Quesel ; André Platzer
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Quesel, Jan-David ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: 10.1007/978-3-642-31365-3_34
Enthalten in:
Automated reasoning Berlin : Springer, 2012 (2012), Seite 439-453 XIV, 568 S.
Sprache:
Englisch
3
49GBVUOB_ALMA21154110920003501
49GBVUOB_ALMA21154110920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21154110920003501
Artikel
Differential dynamic logics : automated theorem proving for hybrid systems ; [abstract]
von
André Platzer
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Platzer, André ([2004-2009])
Enthalten in:
Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs Berlin : GITO-Verl., 2009 (2009), Seite 45 227 S
Sprache:
Englisch
4
49GBVUOB_ALMA21145534920003501
49GBVUOB_ALMA21145534920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21145534920003501
Artikel
European Train Control System : a case study in formal verification
von
André Platzer ; Jan-David Quesel
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Quesel, Jan-David ([2007-])
Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/nn41516234734470/fulltext.pdf
Enthalten in:
Formal methods and software engineering Berlin : Springer, 2009 (2009), Seite 246-265 XIV, 758 S.
Sprache:
Englisch
5
49GBVUOB_ALMA21161253250003501
49GBVUOB_ALMA21161253250003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161253250003501
Artikel
Real world verification
von
André Platzer ; Jan-David Quesel ; Philipp Rümmer
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Quesel, Jan-David ([2007-])
Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/jpq90t677vp61g11/fulltext.pdf
Enthalten in:
Automated deduction - CADE-22 Berlin : Springer, 2009 (2009), Seite 485-501 XIV, 504 S.
Sprache:
Englisch
6
49GBVUOB_ALMA21158848090003501
49GBVUOB_ALMA21158848090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21158848090003501
Buch
Differential dynamic logics : automated theorem proving for hybrid systems
von
André Platzer
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Platzer, André ([2004-2009])
Umfang:
XX, 299 S. graph. Darst..
Weitere Angaben:
Oldenburg, Univ., Diss., 2008
Notation:
inf 823
inf 999
Sprache:
Englisch
7
49GBVUOB_ALMA21153533990003501
49GBVUOB_ALMA21153533990003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21153533990003501
Artikel
KeYmaera : a hybrid theorem prover for hybrid systems (system description)
von
André Platzer ; Jan-David Quesel
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Quesel, Jan-David ([2007-])
Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/h630xm5n36116311/fulltext.pdf
Enthalten in:
Automated reasoning Berlin : Springer, 2008 (2008), Seite 171-178 XII, 556 S.
Sprache:
Englisch
8
49GBVUOB_ALMA71156407400003501
49GBVUOB_ALMA71156407400003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71156407400003501
Artikel
Logical verification and systematic parametric analysis in train control
von
André Platzer ; Jan-David Quesel
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Platzer, André ([2004-2009])
Enthalten in:
Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Berlin : Springer, 2008 (2008), Seite 646-649 XV, 680 S.
Sprache:
Englisch
9
49GBVUOB_ALMA21236769170003501
49GBVUOB_ALMA21236769170003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236769170003501
Artikel
Combining deduction and algebraic constraints for hybrid system analysis
von
André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Platzer, André ([2004-2009])
Enthalten in:
4th International Verification Workshop S. 164 - 178
Sprache:
Englisch
>> Volltext
10
49GBVUOB_ALMA71411426960003501
49GBVUOB_ALMA71411426960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411426960003501
Artikel
A temporal dynamic logic for verifying hybrid system invariants
von
André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Platzer, André ([2004-2009])
Enthalten in:
Logical foundations of computer science Berlin [u.a.], 2007 S. 457 - 471
Sprache:
Englisch
Seite 1 von 2