Sebastian Mauser

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 1

Top Venues

Trans. Petri Nets Other Model. Concurr.

CoRR

FernUniversität in Hagen (PHD)

Education History

FernUniversität in Hagen

PHD

Publications

Marc Franzen, Michael Stephan Gresser, Tobias Müller, Sebastian Mauser
Developing emotion recognition for video conference software to support people with autism. CoRR (2021)
Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Robin Bergenthum, Sebastian Mauser
Mining with User Interaction. ART @ Petri Nets (2011)
Robin Bergenthum, Jörg Desel, Sebastian Mauser
Workflow Nets with Roles. EMISA (2011)
Robin Bergenthum, Andreas Harrer, Sebastian Mauser
Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops (2010)
Sebastian Mauser, Robert Lorenz
Variants of the Language Based Synthesis Problem for Petri Nets. ACSD (2009)
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 (2009)
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) (2009)
Robert Lorenz, Gabriel Juhás, Sebastian Mauser
Partial Order Semantics of Types of Nets. SOFSEM (2009)
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410 (12-13) (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94 (3-4) (2009)
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86 (3) (2008)
Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
Learnflow Mining. DeLFI (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri nets from infinite partial languages. ACSD (2008)
Robin Bergenthum, Sebastian Mauser
Synthesis of Petri Nets from Infinite Partial Languages with VipTool. AWPN (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87 (3-4) (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88 (4) (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics for Inhibitor Nets. ICATPN (2007)
Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. ACSD (2007)
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Testing the executability of scenarios in general inhibitor nets. ACSD (2007)
Robert Lorenz, Sebastian Mauser, Gabriel Juhás
How to synthesize nets from languages: a survey. WSC (2007)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Process Mining Based on Regions of Languages. BPM (2007)
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN (2007)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD (2006)

Sebastian Mauser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Mauser