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 (Universität Oldenburg) = '
Rakow, Astrid ((DE-588)1025321782)
'
Treffer 11-20 von 24
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 3
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:
Althaus, Ernst (2)
Austel, Benedikt (1)
Bairy, Akhila (2)
Beber, Björn (2)
Bengler, Klaus (1)
Best, Eike (3)
Biebl, Bianca (1)
Burchard, Heiko (1)
Damm, Werner (14)
Disch, Stefan (2)
Finkbeiner, Bernd (2)
Fleischhack, Hans (1)
Forrest, Laine (1)
Fränzle, Martin (4)
Hackmann, André (1)
Hagemann, Willem (8)
Hajnorouzi, Mehrnoush (1)
Held, Moritz (1)
Hess, David (1)
Ihme, Klas (1)
Kacianka, Severin (1)
Kemper, Stephanie (1)
Kerscher, Alyssa J (1)
Kretschmann, Ernst (1)
Kröger, Janis (1)
Kröger, Paul (2)
Kühnapfel, Stefan (1)
Lehnhoff, Sebastian (1)
Luedtke, Andreas (1)
Möhlmann, Eike (6)
Peikenkamp, Thomas (2)
Pretschner, Alexander (1)
Rakow, Astrid (24)
Rieger, Jochem (1)
Scholl, Christoph (2)
Schwammberger, Maike (2)
Schweda, Mark (1)
Sonntag, Daniel (1)
Swaminathan, Mani (1)
Sztipanovits, Janos (1)
Unni, Anirudh (1)
Veith, Eric M. S. P (1)
Waldmann, Uwe (2)
Wirtz, Boris (2)
nach Medientyp:
Artikel (21)
E-Books (5)
Bücher (1)
11
49GBVUOB_ALMA51270198850003501
49GBVUOB_ALMA51270198850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51270198850003501
Artikel
Justification based reasoning in dynamic conflict resolution
von
Werner Damm ; Martin Fränzle ; Willem Hagemann ; Paul Kröger ; Astrid Rakow
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Hagemann, Willem
Kröger, Paul
Rakow, Astrid
Damm, Werner
Umfang:
17.
Enthalten in:
De.arxiv.org [S.l.] : Arxiv.org, 1991 2019 (28. Mai), insges. 17 Seiten Online-Ressource
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA51253368320003501
49GBVUOB_ALMA51253368320003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253368320003501
Artikel
A formal semantics for traffic sequence charts
von
Werner Damm ; Eike Möhlmann ; Thomas Peikenkamp ; Astrid Rakow
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Peikenkamp, Thomas
Rakow, Astrid
Damm, Werner
Enthalten in:
Principles of Modeling Cham : Springer International Publishing, 2018 (2018), Seite 182-205 Online-Ressource (XXVII, 539 p. 158 illus, online resource)
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA51253368380003501
49GBVUOB_ALMA51253368380003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253368380003501
Artikel
Using traffic sequence charts at the development of HAVs
von
Werner Damm ; Stephanie Kemper ; Eike Möhlmann ; Thomas Peikenkamp ; Astrid Rakow
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Peikenkamp, Thomas
Rakow, Astrid
Damm, Werner
Umfang:
11.
Enthalten in:
Embedded real time software and systems Toulouse, 2018 2018, Artikel-Nr. Th.3.B.1, insges. 11 Seiten 1 Online-Ressource
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA51230438860003501
49GBVUOB_ALMA51230438860003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230438860003501
Artikel
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
von
Ernst Althaus ; Björn Beber ; Werner Damm ; Stefan Disch ; Willem Hagemann ; Astrid Rakow ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Hagemann, Willem
Rakow, Astrid
Wirtz, Boris
Enthalten in:
Science of computer programming Amsterdam [u.a.] : Elsevier Science, 1981 148(2017), Seite 123-160 Online-Ressource
Sprache:
Englisch
>> Volltext
15
49GBVUOB_ALMA51222290800003501
49GBVUOB_ALMA51222290800003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222290800003501
E-Book
AVACS technical report: Contract-based compositional synthesis of distributed controllers
von
Werner Damm ; Bernd Finkbeiner ; Astrid Rakow
Juni 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Rakow, Astrid
Damm, Werner
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
1 Online-Ressource (12 Seiten).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 115
Sprache:
Englisch
>> Volltext
16
49GBVUOB_ALMA51222317790003501
49GBVUOB_ALMA51222317790003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222317790003501
Artikel
What you really need to know about your neighbor
von
Werner Damm ; Bernd Finkbeiner ; Astrid Rakow
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Rakow, Astrid
Damm, Werner
Enthalten in:
Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 229(2016), Seite 21-34
Sprache:
Englisch
>> Volltext
17
49GBVUOB_ALMA51222284080003501
49GBVUOB_ALMA51222284080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222284080003501
E-Book
AVACS technical report: Verification of linear hybrid systems with large discrete state spaces : exploring the design space for sptimization
von
Ernst Althaus ; Björn Beber ; Werner Damm ; Stefan Disch ; Willem Hagemann ; Astrid Rakow ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
April 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Hagemann, Willem
Rakow, Astrid
Wirtz, Boris
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
1 Online-Ressource (93 Seiten).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 103
Sprache:
Englisch
>> Volltext
18
49GBVUOB_ALMA51222305580003501
49GBVUOB_ALMA51222305580003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222305580003501
E-Book
AVACS technical report: A design framework for concurrent hybrid controllers with safety and stability annotations
von
Werner Damm ; Eike Möhlmann ; Astrid Rakow
April 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Möhlmann, Eike
Rakow, Astrid
Damm, Werner
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
1 Online-Ressource (56 Seiten).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 105
Sprache:
Englisch
>> Volltext
19
49GBVUOB_ALMA71183736100003501
49GBVUOB_ALMA71183736100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71183736100003501
Artikel
Component based design of hybrid systems : a case study on concurrency and coupling
von
Werner Damm ; Eike Möhlmann ; Astrid Rakow
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
HSCC (17 : 2014 : Berlin) HSCC'14 New York, NY : ACM, 2014 (2014), Seite 145-150 XII, 316 S.
Sprache:
Englisch
20
49GBVUOB_ALMA71185775860003501
49GBVUOB_ALMA71185775860003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71185775860003501
Artikel
Safety slicing petri nets
von
Astrid Rakow
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Rakow, Astrid
Enthalten in:
Application and theory of Petri nets Berlin : Springer, 2012 (2012), Seite 268-287 XII, 417 S.
Sprache:
Englisch
Seite 2 von 3