Veröffentlichungen "Lorenz, Robert"

Lorenz, Robert ; Huber, Markus ; Wirsching, Günther:
On Weighted Petri Net Transducers.
In: Ciardo, Gianfranco ; Kindler, Ekkart (Hrsg.): Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. - Berlin ; Heidelberg : Springer, 2014. - S. 233-252. - (Lecture notes in computer science ; 8489)
ISBN 978-3-319-07733-8
(Begutachteter Beitrag / peer-reviewed paper)

Wirsching, Günther ; Lorenz, Robert:
Some algebraic aspects of semantic uncertainty and cognitive biases.
In: Proceedings of the 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom). November 5-7, 2014, Vietri sul Mare, Italy. - Budapest : IEEE, 2014. - S. 555-560
ISBN 978-1-4799-7280-7
(Begutachteter Beitrag / peer-reviewed paper)

Wirsching, Günther ; Lorenz, Robert:
Towards meaning-oriented language modeling.
In: IEEE 4th International Conference on Cognitive Infocommunications (CogInfoCom), 2013 : 2 - 5 Dec. 2013, Budapest, Hungary ; proceedings. - Piscataway, NJ : IEEE, 2013. - S. 369-374
ISBN 978-1-4799-1543-9 ; 978-1-4799-1545-3
(Begutachteter Beitrag / peer-reviewed paper)

Huber, Markus ; Kölbl, Christian ; Lorenz, Robert ; Wirsching, Günther:
Konstruktion von UMP-Transduktoren aus Wizard-Of-Oz Daten.
In: Wagner, Petra (Hrsg.): Elektronische Sprachsignalverarbeitung 2013 : Tagungsband der 24. Konferenz ; Bielefeld, 26. - 28. März 2013. - Dresden : TUDpress, Verlag der Wissenschaften, 2013. - S. 111-118. - (Studientexte zur Sprachkommunikation ; 65)
ISBN 978-3-944331-03-4

Wirsching, Günther ; Huber, Markus ; Kölbl, Christian ; Lorenz, Robert ; Römer, Ronald:
Semantic Dialogue Modeling.
In: Esposito, Anna ; Esposito, Antonietta M. ; Vinciarelli, Alessandro ; Hoffmann, Rüdiger ; Müller, Vincent C. (Hrsg.): Cognitive Behavioural Systems : COST 2102 International Training School, Dresden, Germany, February 2011 ; Revised Selected papers. - Berlin ; Heidelberg : Springer, 2012. - S. 104-113. - (Lecture notes in computer science ; 7403)
ISBN 978-3-642-34583-8 ; 978-3-642-34584-5
10.1007/978-3-642-34584-5_8
(Begutachteter Beitrag / peer-reviewed paper)

Mauser, Sebastian ; Lorenz, Robert:
Variants of the language based synthesis problem for Petri Nets.
2009
Veranstaltung: 9th International Conference on Application of Concurrency to System Design, 1.-3. Juli 2009, Augsburg.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from term based representations of infinite partial languages.
In: Fundamenta informaticae. 95 (2009) 1. - S. 187-217.
ISSN 0169-2968
(Peer-Review-Journal)

Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Executability of scenarios in Petri Nets.
In: Theoretical computer science : the journal of the EATCS. 410 (2009) 12/13. - S. 1190-1216.
ISSN 0304-3975
(Peer-Review-Journal)

Juhás, Gabriel ; Desel, Jörg ; Lorenz, Robert:
Unifying Petri Net semantics with token flows.
In: Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 ; proceedings. - Heidelberg : Springer, 2009. - (Lecture notes in computer science ; 5606)
ISBN 3-642-02423-8 ; 978-3-642-02423-8

Huber, Markus ; Kölbl, Christian ; Lorenz, Robert ; Römer, Ronald ; Wirsching, Günther:
Semantische Dialogverarbeitung mit gewichteten Merkmal-Werte-Relationen.
In: Hoffmann, Rüdiger (Hrsg.): Elektronische Sprachsignalverarbeitung 2009 : Tagungsband der 20. Konferenz, Dresden, 21. bis 24. September 2009. - Dresden : TUDpress, Verlag der Wissenschaften, 2009. - S. 25-32. - (Studientexte zur Sprachkommunikation ; 54)
ISBN 978-3-941298-31-6

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian ; Lorenz, Robert:
Construction of process models from example runs.
In: Hutchison, David ; Aalst, Wil M. P. ; Jensen, Kurt ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Mattern, Friedemann ; Mitchell, John C. ; Naor, Moni ; Nierstrasz, Oscar ; Pandu Rangan, C. ; Steffen, Bernhard ; Sudan, Madhu ; Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y. ; Weikum, Gerhard (Hrsg.): Transactions on Petri Nets and other models of concurrency II : special issue on concurrency in process-aware information systems. - Berlin ; Heidelberg : Springer, 2009. - S. 243-259. - (Lecture notes in computer science ; 5460)
ISBN 978-3-642-00899-3 ; 978-3-642-00898-6

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Partial order semantics of types of nets.
In: Nielsen, Mogens ; Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Kučera, Antonín ; Mattern, Friedemann ; Miltersen, Peter Bro ; Mitchell, John C. ; Naor, Moni (Hrsg.): SOFSEM 2009 : theory and practice of Computer Science ; 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 ; Proceedings. - Heidelberg : Springer, 2009. - S. 388-400. - (Lecture notes in computer science ; 5404)
ISBN 978-3-540-95891-8

Lorenz, Robert:
Towards Synthesis of Petri Nets from General Partial Languages.
2008
Veranstaltung: 15. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN, 26.-27. Sept. 2008, Rostock.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Lehocki, Fedor ; Juhás, Gabriel ; Lorenz, Robert ; Szczerbicka, Helena ; Drozda, Martin:
Decision Support with Logical and Fuzzy Petri Nets.
In: Cybernetics and systems. 39 (2008) 6. - S. 617-640.
ISSN 1087-6553 ; 0196-9722
(Peer-Review-Journal)

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Causal semantics of algebraic Petri Nets distinguishing concurrency and synchronicity.
In: Fundamenta informaticae. 86 (2008) 3. - S. 255-298.
(Peer-Review-Journal)

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Complete process semantics of Petri Nets.
In: Fundamenta informaticae. 87 (2008) 3/4. - S. 331-365.
ISSN 0169-2968
(Peer-Review-Journal)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from finite partial languages.
In: Fundamenta informaticae. 88 (2008) 4. - S. 437-468.
ISSN 0169-2968
(Peer-Review-Journal)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from infinite partial languages.
In: Billington, J. ; Duan, Z. ; Koutny, M. (Hrsg.): Proceedings of the 8th International Conference on Applications of Concurrency to System Design (ACSD). - Los Alamitos, USA : IEEE Computer Society, 2008. - S. 170-179

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri Nets from Scenarios with VipTool.
In: Hee, Kees Max van: Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23 - 27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398
ISBN 978-3-540-68746-7 ; 3-540-68745-9 ; 978-3-540-68745-0

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Faster Unfolding of General Petri Nets Based on Token Flows.
In: Kees M. van Hee ; Valk, R. (Hrsg.): Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xián, China, June 23-27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398. - (Lecture notes in computer science ; 5062)
ISBN 3-540-68745-9 ; 978-3-540-68745-0

Huber, Markus ; Kölbl, Christian ; Lorenz, Robert ; Wirsching, Günther:
Ein Petrinetz-Modell zur Informationsübertragung per Dialog.
In: Lohmann, Niels ; Wolf, Karsten (Hrsg.): Proceedings of the 15th German Workshop on Algorithms and Tools für Petri Nets, AWPN 2008, Rostock, Germany, September 26 - 27, 2008. - Aachen : Technical University of Aachen (RWTH), 2008. - S. 15-24. - (CEUR Workshop Proceedings ; 380)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Towards applicability of language based synthesis for process mining.
2007
Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. Sept. 2007, Koblenz.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Faster Unfolding of General Petri Nets.
2007
Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. September 2007, Koblenz, Deutschland.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Process mining based on regions of languages.
In: Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; Proceedings. - Heidelberg : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 7414)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Technical Report including proofs: Process Mining Based on Regions of Languages.
In: Business process management : 5th international conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; proceedings / Gustavo Alonso; Peter Dadam; Michael Rosemann (eds.). - Berlin u.a. : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 4714)
ISBN 978-3-540-75182-3

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Complete Process Semantics for Inhibitor Nets.
In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
ISBN 978-3-540-73093-4

Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
ISBN 978-3-540-73093-4

Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
Synthesis of Petri nets from finite partial languages.
In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 157-166
ISBN 0-7695-2902-X

Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
Testing the Executability of Scenarios in General Inhibitor Nets.
In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 167-176
ISBN 0-7695-2902-X

Juhás, Gabriel ; Lehocki, Fedor ; Lorenz, Robert:
Semantics of Petri nets: a comparison.
In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 617-628
ISBN 1-4244-1306-0

Lorenz, Robert ; Juhás, Gabriel ; Mauser, Sebastian:
How to Synthesize Nets from Languages : a Survey.
In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 637-647
ISBN 1-4244-1306-0

Lorenz, Robert:
Szenario-basierte Verifikation und Synthese von Petrinetzen: Theorie und Anwendungen.
2006
(Habilitation, 2006, Katholische Universität Eichstätt-Ingolstadt)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Synthese von S/T-Netzen aus unendlichen partiellen Sprachen.
2006
Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen.
2006
Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
(Veranstaltungsbeitrag: Workshop, Vortrag)

Lorenz, Robert ; Juhás, Gabriel:
Towards Synthesis of Petri Nets from Scenarios.
In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings. - Berlin u.a. : Springer, 2006. - S. 302-321. - (Lecture notes in computer science ; 4024)
ISBN 978-3-540-34699-9

Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Juhás, Gabriel:
Can I execute my Scenario in your Net? VipTool tells you!
In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings / Susanna Donatelli; P. S. Thiagarajan (eds.). - Berlin u.a. : Springer, 2006. - S. 381-390. - (Lecture notes in computer science ; 4024)
ISBN 978-3-540-34699-9

Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Synchronous + Concurrent + Sequential = Earlier than + Not later than.
In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 261-270
ISBN 978-0-7695-2556-3

Juhás, Gabriel ; Lorenz, Robert ; Desel, Jörg:
Can I execute your scenario in my net?
In: Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20 - 25, 2005 ; proceedings / Gianfranco Ciardo ... (eds.). - Berlin u.a. : Springer, 2005. - S. 289-308. - (Lecture notes in computer science ; 3536)
ISBN 3-540-26301-2

Lorenz, Robert:
Ein Konzept der Nichtstandard-Analysis als Bindeglied zwischen klassischer Potentialtheorie und Irrfahrten auf Gittern.
Aachen : Shaker, 2001. - 69 S. - (Berichte aus der Mathematik)
ISBN 3-8265-8796-0
(Dissertation, 2000, Katholische Universität Eichstätt-Ingolstadt)