default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian Mauser
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2011
[b1]Sebastian Mauser:
Synthese von Petrinetzen aus halbgeordneten Abläufen. FernUniversität in Hagen, 2011
Journal Articles
- 2012
- [j9]Robin Bergenthum, Jörg Desel, Andreas Harrer
, Sebastian Mauser:
Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. 5: 22-50 (2012) - 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) - [j4]Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. 3: 216-243 (2009) - 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)
Conference and Workshop Papers
- 2011
- [c17]Robin Bergenthum, Sebastian Mauser:
Mining with User Interaction. ART @ Petri Nets 2011: 79-84 - [c16]Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Workflow Nets with Roles. EMISA 2011: 65-78 - 2010
- [c15]Robin Bergenthum, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops 2010: 151-159 - 2009
- [c14]Sebastian Mauser, Robert Lorenz:
Variants of the Language Based Synthesis Problem for Petri Nets. ACSD 2009: 89-98 - [c13]Robert Lorenz, Gabriel Juhás, Sebastian Mauser:
Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400 - 2008
- [c12]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179 - [c11]Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32 - [c10]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398 - [c9]Robin Bergenthum, Sebastian Mauser:
Synthesis of Petri Nets from Infinite Partial Languages with VipTool. AWPN 2008: 81-86 - [c8]Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Learnflow Mining. DeLFI 2008: 269-280 - 2007
- [c7]Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166 - [c6]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets. ACSD 2007: 167-176 - [c5]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203 - [c4]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN 2007: 342-361 - [c3]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Process Mining Based on Regions of Languages. BPM 2007: 375-383 - [c2]Robert Lorenz, Sebastian Mauser, Gabriel Juhás:
How to synthesize nets from languages: a survey. WSC 2007: 637-647 - 2006
- [c1]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272
Informal and Other Publications
- 2021
- [i1]Marc Franzen, Michael Stephan Gresser, Tobias Müller, Sebastian Mauser:
Developing emotion recognition for video conference software to support people with autism. CoRR abs/2101.10785 (2021)
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-07 22:19 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:
