Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Strazny, Tim ((DE-588)1047122863)'

Treffer 1-6 von 6

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
dedupmrg142679862049GBVUOB_ALMA21343854350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21343854350003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: An algorithmic framework for checking coverability in well-structured transition systems
von Tim Strazny
2014
Details anzeigen
Verlag: Oldenburg: Univ., Dep. für Informatik
Umfang: XXIII, 326 S. graph. Darst..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2013
Schlagwörter: Hochschulschrift; ForschungsberichtEndlicher AutomatAutomat
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2014,1
Sprache: Englisch
2
49GBVUOB_ALMA7115473624000350149GBVUOB_ALMA71154736240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71154736240003501
Artikel
An algorithmic framework for coverability in well-structured systems
von Tim Strazny ; Roland Meyer
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])
Enthalten in: Proceedings of the 12th International Conference on Application of Concurrency to System Design 2012 (2012), Seite 173-182
Sprache: Englisch
3
49GBVUOB_ALMA7116818514000350149GBVUOB_ALMA71168185140003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71168185140003501
Artikel
Accelerating backward reachability analysis
von Tim Strazny
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.mrtc.mdh.se/nwpt2011/nwpt11-proceedings.pdf
Enthalten in: Proceedings of the 23rd Nordic Workshop on Programming Theory Västerås : Mälardalen Univ., 2011 (2011), Seite 2-4
Sprache: Englisch
4
49GBVUOB_ALMA2117948053000350149GBVUOB_ALMA21179480530003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21179480530003501
Artikel
Petruchio : from dynamic networks to nets
von Roland Meyer ; Tim Strazny
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])Meyer, Roland ([2005-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/915j3817pw504046/fulltext.pdf
Enthalten in: Computer aided verification Berlin : Springer, 2010 (2010), Seite 175-179 XVI, 676 S.
Sprache: Englisch
5
49GBVUOB_ALMA2115644894000350149GBVUOB_ALMA21156448940003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21156448940003501
Buch
Technical report series / School of Computing Science, University of Newcastle upon Tyne: A practical approach to verification of mobile systems using net unfoldings
von Roland Meyer ; Victor Khomenko ; Tim Strazny
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])Meyer, Roland ([2005-2009])
Verlag: Newcastle: Univ.
Umfang: 29 S..
Weitere Angaben:
Literaturverz. S. 24 ; Auch als elektronisches Dokument verfügbar: http://www.cs.ncl.ac.uk/publications/trs/papers/1064.pdf
Übergeordnetes Werk: Technical report series / School of Computing Science, University of Newcastle upon Tyne
Verknüpfte Titel: Technical report series / School of Computing Science, University of Newcastle upon Tyne CS-TR ; 1064
Sprache: Englisch
6
49GBVUOB_ALMA2123615303000350149GBVUOB_ALMA21236153030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236153030003501
Artikel
Ein Simulator für mehrfach erweiterte höhere Petrinetze
von Tim Strazny ; Christian Stehno
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])Strazny, Tim ([2007-])
Enthalten in: ASIM 2006 Erlangen, 2006 S. 171 - 176
Sprache: Deutsch
>> Volltext