default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Lorenz 0001
Person information
- affiliation: University of Augsburg, Department of Computer Science, Germany
Other persons with the same name
- Robert Lorenz 0002 — Bundeskriminalamt (BKA), Wiesbaden, Germany
- Robert Lorenz 0003 — SAP AG, Germany
- Robert Lorenz 0004
![[0000-0002-8776-1798]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-8776-1798")
(aka: Robert Harald Lorenz) — TU Dresden, Medienzentrum, Dresden, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Robert Lorenz, Slawomir Lasota:
Preface. Fundam. Informaticae 192(3-4) (2024)- [c39]Patrizia Schalk, Adam Burke, Robert Lorenz:
Navigating Complexity: Comparing Complexity Measures With Weyuker's Properties. ICPM 2024: 145-152 - [i1]Patrizia Schalk, Adam Burke, Robert Lorenz:
Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures. CoRR abs/2408.09871 (2024) - 2023
- [e3]Luís Gomes, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5 [contents] - 2022
- [e2]Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022. CEUR Workshop Proceedings 3167, CEUR-WS.org 2022 [contents] - [e1]Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. CEUR Workshop Proceedings 3424, CEUR-WS.org 2022 [contents] - 2020
- [c38]Lisa Petrak, Robert Lorenz:
Detecting Infrequent Behavior in Event Logs using Statistical Inference. ATAED@Petri Nets 2020: 33-48
2010 – 2019
- 2017
- [c37]Robert Lorenz, Johannes Metzger, Lev Sorokin:
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. ATAED@Petri Nets/ACSD 2017: 21-38 - 2016
- [c36]Gabriel Juhás, Robert Lorenz:
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD 2016: 58-77 - 2015
- [j10]Robin Bergenthum, Robert Lorenz:
Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae 137(1): 117-142 (2015) - [c35]Robert Lorenz:
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. Petri Nets 2015: 49-76 - 2014
- [c34]Robert Lorenz, Markus Huber, Günther Wirsching:
On Weighted Petri Net Transducers. Petri Nets 2014: 233-252 - [c33]Markus Huber, Robert Lorenz:
Constructing Petri Net Transducers with PNTooL. PNSE @ Petri Nets 2014: 339-341 - [c32]Günther Wirsching, Robert Lorenz:
Some algebraic aspects of semantic uncertainty and cognitive biases. CogInfoCom 2014: 555-560 - 2013
- [j9]Robert Lorenz, Jörg Desel, Gabriel Juhás:
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7: 314-371 (2013) - [c31]Günther Wirsching, Robert Lorenz:
Towards meaning-oriented language modeling. CogInfoCom 2013: 369-374 - 2012
- [c30]Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha:
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. PNSE 2012: 237-252 - 2011
- [c29]Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer:
Semantic Dialogue Modeling. COST 2102 Training School 2011: 104-113
2000 – 2009
- 2009
- [j8]Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94(3-4): 331-360 (2009) - [j7]Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae 95(1): 187-217 (2009) - [j6]Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410(12-13): 1190-1216 (2009) - [j5]Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2: 243-259 (2009) - [c28]Sebastian Mauser, Robert Lorenz:
Variants of the Language Based Synthesis Problem for Petri Nets. ACSD 2009: 89-98 - [c27]Gabriel Juhás, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21 - [c26]Robert Lorenz, Gabriel Juhás, Sebastian Mauser:
Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400 - 2008
- [j4]Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda:
Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. 39(6): 617-640 (2008) - [j3]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86(3): 255-298 (2008) - [j2]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87(3-4): 331-365 (2008) - [j1]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88(4): 437-468 (2008) - [c25]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179 - [c24]Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32 - [c23]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398 - [c22]Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching:
Ein Petrinetz-Modell zur Informationsübertragung per Dialog. AWPN 2008: 15-24 - [c21]Robert Lorenz:
Towards Synthesis of Petri Nets from General Partial Languages. AWPN 2008: 55-62 - 2007
- [c20]Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166 - [c19]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets. ACSD 2007: 167-176 - [c18]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203 - [c17]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN 2007: 342-361 - [c16]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Process Mining Based on Regions of Languages. BPM 2007: 375-383 - [c15]Gabriel Juhás, Fedor Lehocki, Robert Lorenz:
Semantics of petri nets: a comparison. WSC 2007: 617-628 - [c14]Robert Lorenz, Sebastian Mauser, Gabriel Juhás:
How to synthesize nets from languages: a survey. WSC 2007: 637-647 - 2006
- [c13]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272 - [c12]Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios. ICATPN 2006: 302-321 - [c11]Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN 2006: 381-390 - 2005
- [c10]Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308 - 2004
- [c9]Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257 - [c8]Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair:
A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report 2004: 270-300 - 2003
- [c7]Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets 2003: 585-625 - [c6]Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376 - [c5]Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Validation with VipTool. Business Process Management 2003: 380-389 - [c4]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA 2003: 46-62 - 2001
- [c3]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172 - [c2]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187 - 2000
- [c1]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
