Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Hujsa, Thomas ((DE-588)1212896475)'

Treffer 1-8 von 8

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5127296787000350149GBVUOB_ALMA51272967870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967870003501
Artikel
Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond
von Raymond Devillers ; Evgeny Erofeev ; Thomas Hujsa
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyHujsa, Thomas
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 2019 (31. Okt.), article 1910.14387, Seite 1-25 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5127296790000350149GBVUOB_ALMA51272967900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967900003501
Artikel
Synthesis of weighted marked graphs from constrained labelled transition systems : a geometric approach
von Raymond R. Devillers ; Evgeny Erofeev ; Thomas Hujsa
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyHujsa, Thomas
Umfang: 22.
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 2019 (31. Okt.), article 1911.00474, insgesamt 22 Seiten Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5127299861000350149GBVUOB_ALMA51272998610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272998610003501
Artikel
Synthesis of weighted marked graphs from constrained labelled transition systems : a geometric approach
von Raymond Devillers ; Evgeny Erofeev ; Thomas Hujsa
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyHujsa, Thomas
Enthalten in: Transactions on Petri Nets and Other Models of Concurrency XIV 1st ed. 2019 Berlin, Heidelberg : Springer, 2019 (2019), Seite 172-191 1 Online-Ressource (XVII, 255 p. 525 illus., 42 illus. in color)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5127298820000350149GBVUOB_ALMA51272988200003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988200003501
Artikel
Synthesis of weighted marked graphs from circular labelled transition systems
von Raymond R. Devillers ; Evgeny Erofeev ; Thomas Hujsa
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyHujsa, Thomas
Enthalten in: Algorithms & Theories for the Analysis of Event Data (Veranstaltung : 2019 : Aachen) Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED'2019) Aachen, Germany : RWTH Aachen, 2019 (2019), Seite 6-22 1 Online-Ressource (103 Seiten)
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5127296799000350149GBVUOB_ALMA51272967990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967990003501
Artikel
Synthesis of weighted marked graphs from constrained labelled transition systems
von Raymond R. Devillers ; Evgeny Erofeev ; Thomas Hujsa
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyHujsa, Thomas
Enthalten in: Workshop on Algorithms & Theories for the Analysis of Event Data (2018 : Bratislava) Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED'2018) Aachen, Germany : RWTH Aachen, 2018 (2018), Seite 75-90 1 Online-Ressource
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5127298800000350149GBVUOB_ALMA51272988000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988000003501
Artikel
Sufficient conditions for the marked graph realisability of labelled transition systems
von Eike Best ; Thomas Hujsa ; Harro Wimmel
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hujsa, ThomasWimmel, HarroBest, Eike
Enthalten in: Theoretical computer science Amsterdam [u.a.] : Elsevier, 1975 750(2018), Seite 101-116 Online-Ressource
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA5123043325000350149GBVUOB_ALMA51230433250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230433250003501
Artikel
On liveness and deadlockability in subclasses of weighted petri nets
von Thomas Hujsa ; Raymond Devillers
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hujsa, Thomas
Enthalten in: Application and Theory of Petri Nets and Concurrency Cham : Springer, 2017 (2017), Seite 267-287 Online-Ressource (XIV, 351 p. 136 illus, online resource)
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA5122078967000350149GBVUOB_ALMA51220789670003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51220789670003501
Artikel
On liveness and reversibility of equal-conflict Petri nets
von Thomas Hujsa ; Jean-Marc Delosme ; Alix Munier-Kordon
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hujsa, Thomas
Enthalten in: Fundamenta informaticae Amsterdam [u.a.] : IOS Press, 1994 146(2016), 1, Seite 83-119 Online-Ressource
Sprache: Englisch
>> Volltext