Suche in der Hochschulbibliografie

Suche nach: Person = 'Brückner, Ingo'

Treffer 1-10 von 12

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5125361653000350149GBVUOB_ALMA51253616530003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253616530003501
Artikel
Genetic and phenotypic heterogeneity suggest therapeutic implications in SCN2A-related disorders
von Markus Wolff ; Joachim Pietz ; Ute Moog ; Christoph Korenke
04 April 2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Korenke, Christoph
Umfang: 21.
Weitere Angaben:
Gesehen am 08.10.2018
Beschreibung:
SCN2A mutations have been described in a wide range of epilepsies. Wolff et al showed that early onset epilepsies are caused by missense mutations, displaying G
Enthalten in: Brain Oxford : Oxford Univ. Press, 1878 140(2017), 5, Seite 1316-1336 Online-Ressource
Sprache: Englisch
>> Volltext
2
dedupmrg133811311549GBVUOB_ALMA21343854850003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21343854850003501
Buch
Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften: Slicing integrated formal specifications for verification
von Ingo Brückner
2008
Details anzeigen
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dep. für Informatik
Umfang: XI, 248 S. graph. Darst..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2008
Schlagwörter: Hochschulschrift; ForschungsberichtSicherheitskritisches SystemFormale BeschreibungstechnikProgrammverifikationVerifikationHoare-LogikFormale SpezifikationstechnikSystemKritische Informationsinfrastruktur
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008,2
Notation: inf 001 ka
Sprache: Englisch
3
49GBVUOB_ALMA2123674562000350149GBVUOB_ALMA21236745620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236745620003501
Artikel
Slicing concurrent real-time system specifications for verification
von Ingo Brückner
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brückner, Ingo ([2002-])
Enthalten in: Integrated formal methods Berlin, 2007 S. 54 - 74
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA2123674707000350149GBVUOB_ALMA21236747070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236747070003501
Artikel
Slicing abstractions
von Ingo Brückner ; Klaus Dräger ; Bernd Finkbeiner ; Heike Wehrheim
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBrückner, Ingo ([2002-])
Enthalten in: International Symposium on Fundamentals of Software Engineering Berlin, 2007 S. 17 - 32
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA2123628641000350149GBVUOB_ALMA21236286410003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236286410003501
Artikel
Optimizing slicing of formal specifications by deductive verification
von Ingo Brückner ; Björn Metzler ; Heike Wehrheim
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBrückner, Ingo ([2002-])
Enthalten in: Nordic journal of computing 13 (2006), 1-2, S. 22 - 45
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123669562000350149GBVUOB_ALMA21236695620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236695620003501
Artikel
Slicing object-Z specifications for verification
von Ingo Brückner ; Heike Wehrheim
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brückner, Ingo ([2002-])
Enthalten in: AVACS technical report 3 (2005), S. 24
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123669775000350149GBVUOB_ALMA21236697750003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236697750003501
Artikel
Slicing CSP-OZ specifications for verification
von Ingo Brückner ; Heike Wehrheim
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brückner, Ingo ([2002-])
Enthalten in: AVACS technical report 7 (2005), 24 S.
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123670188000350149GBVUOB_ALMA21236701880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236701880003501
Artikel
Slicing an integrated formal method for verification
von Ingo Brückner ; Heike Wehrheim
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brückner, Ingo ([2002-])
Enthalten in: Formal methods and software engineering Berlin [u.a.]: Springer, 2005 S. 360 - 374
Sprache: Englisch
9
49GBVUOB_ALMA2123656024000350149GBVUOB_ALMA21236560240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236560240003501
Artikel
Slicing CSP-OZ specifications
von Ingo Brückner
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brückner, Ingo ([2002-])
Enthalten in: Proceedings of the 16th Nordic Workshop on Programming Theory, Uppsala, 2004 S. 1 - 3
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA2123641572000350149GBVUOB_ALMA21236415720003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236415720003501
Artikel
Model-based safety analysis of a flap control system
von Thomas Peikenkamp ; Eckard Böde ; H. Spenke ; M. Bretschneider ; Hans Jürgen Holberg ; Ingo Brückner
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Böde, Eckard ([2001-])Holberg, Hans Jürgen ([1995-2004])Brückner, Ingo ([2002-])Peikenkamp, Thomas
Enthalten in: Systems engineering Evanston, Ill., 2004
Sprache: Englisch