Suche in der Hochschulbibliografie

Suche nach: Person = 'Schlachter, Uli'

Treffer 11-18 von 18

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA5123043380000350149GBVUOB_ALMA51230433800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230433800003501
Artikel
Bounded choice-free Petri net synthesis : algorithmic issues
von Eike Best ; Raymond Devillers ; Uli Schlachter
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, UliBest, Eike
Umfang: 37.
Enthalten in: Acta informatica Berlin : Springer, 1971 (2017), 20. (Nov.), insges. 37 S. Online-Ressource
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA5123043329000350149GBVUOB_ALMA51230433290003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230433290003501
Artikel
Properties of plain, pure, and safe petri nets
von Kamila Barylska ; Eike Best ; Uli Schlachter ; Valentin Spreckels
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Best, EikeSchlachter, UliSpreckels, Valentin
Enthalten in: Transactions on Petri Nets and Other Models of Concurrency XII Berlin, Heidelberg : Springer, 2017 (2017), Seite 1-18 Online-Ressource (XVII, 217 p. 89 illus, online resource)
Sprache: Englisch
>> Volltext
13
49GBVUOB_ALMA5122231516000350149GBVUOB_ALMA51222315160003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222315160003501
Artikel
Petri net synthesis for restricted classes of nets
von Uli Schlachter
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, Uli
Enthalten in: Application and Theory of Petri Nets and Concurrency Cham : Springer, 2016 (2016), Seite 79-97 Online-Ressource (XVI, 345 p. 114 illus, online resource)
Sprache: Englisch
>> Volltext
14
49GBVUOB_ALMA5122229927000350149GBVUOB_ALMA51222299270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222299270003501
Artikel
Bounded Petri net synthesis from modal transition systems is undecidable
von Uli Schlachter
August, 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, Uli
Umfang: 14.
Enthalten in: CONCUR (27. : 2016 : Québec) 27th International Conference on Concurrency Theory Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016 (2016), insges. 14 S. 1 Online-Ressource (PDF-Datei: xiv, 569 Seiten in verschiedenen Seitenzählungen, 18,65 MB)
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA5122231443000350149GBVUOB_ALMA51222314430003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222314430003501
Artikel
Characterising Petri net solvable binary words
von Eike Best ; Evgeny Erofeev ; Uli Schlachter ; Harro Wimmel
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenySchlachter, UliWimmel, HarroBest, Eike
Enthalten in: Application and Theory of Petri Nets and Concurrency Cham : Springer, 2016 (2016), Seite 39-58 Online-Ressource (XVI, 345 p. 114 illus, online resource)
Sprache: Englisch
>> Volltext
16
dedupmrg142670793949GBVUOB_ALMA21158729350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21158729350003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Characterising Petri net solvable binary words : Bericht
von Eike Best ; Evgeny Erofeev ; Uli Schlachter ; Harro Wimmel
Januar 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenySchlachter, UliWimmel, HarroBest, Eike
Verlag: Oldenburg: Universität, Department für Informatik
Umfang: 20, 7 Seiten Diagramme.
Weitere Angaben:
Literaturverzeichnis: Seite 20 ; Kurzfassung in englischer Sprache
Schlagwörter: Bericht
Ü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 ; Nummer 2016, 1
Sprache: Englisch
17
49GBVUOB_ALMA5121978569000350149GBVUOB_ALMA51219785690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219785690003501
Artikel
Analysis of Petri nets and transition systems
von Eike Best ; Uli Schlachter
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, UliBest, Eike
Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 189(2015), Seite 53-67
Sprache: Englisch
>> Volltext
18
49GBVUOB_ALMA5121715394000350149GBVUOB_ALMA51217153940003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217153940003501
Artikel
An adaptive penalty function with meta-modeling for constrained problems
von Oliver Kramer ; Uli Schlachter ; Valentin Spreckels
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, UliSpreckels, ValentinKramer, Oliver ([2011-])
Enthalten in: IEEE Congress on Evolutionary Computation (CEC), 2013 Piscataway, NJ : IEEE, 2013 (2013), Seite 1350-1354 Online-Ressource
Sprache: Englisch
>> Volltext