Synchronous + Concurrent + Sequential = Earlier than + Not later than. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ACSD, 2006)

Testing the executability of scenarios in general inhibitor nets. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ACSD, 2007)

Complete Process Semantics for Inhibitor Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ICATPN, 2007)

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ICATPN, 2007)

Process Mining Based on Regions of Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (BPM, 2007)

How to synthesize nets from languages: a survey. - Robert Lorenz 001; Sebastian Mauser; Gabriel Juhás (WSC, 2007)

Synthesis of Petri nets from infinite partial languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (ACSD, 2008)

Synthesis of Petri Nets from Scenarios with VipTool. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Faster Unfolding of General Petri Nets Based on Token Flows. - Robin Bergenthum; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Synthesis of Petri Nets from Infinite Partial Languages with VipTool. - Robin Bergenthum; Sebastian Mauser (AWPN, 2008)

Learnflow Mining. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (DeLFI, 2008)

Synthesis of Petri Nets from Finite Partial Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Complete Process Semantics of Petri Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Variants of the Language Based Synthesis Problem for Petri Nets. - Sebastian Mauser; Robert Lorenz 001 (ACSD, 2009)

Partial Order Semantics of Types of Nets. - Robert Lorenz 001; Gabriel Juhás; Sebastian Mauser (SOFSEM, 2009)

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Fundam. Informaticae, 2009)

Unfolding Semantics of Petri Nets Based on Token Flows. - Robin Bergenthum; Sebastian Mauser; Robert Lorenz 001; Gabriel Juhás (Fundam. Informaticae, 2009)

Executability of scenarios in Petri nets. - Robert Lorenz 001; Gabriel Juhás; Robin Bergenthum; Jörg Desel; Sebastian Mauser (Theor. Comput. Sci., 2009)

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. - Robin Bergenthum; Jörg Desel; Sebastian Mauser (Trans. Petri Nets Other Model. Concurr., 2009)

Construction of Process Models from Example Runs. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Trans. Petri Nets Other Model. Concurr., 2009)

Modeling and Mining of Collarobative Learnflows. - Robin Bergenthum; Andreas Harrer; Sebastian Mauser (ACSD/Petri Nets Workshops, 2010)

Mining with User Interaction. - Robin Bergenthum; Sebastian Mauser (ART @ Petri Nets, 2011)

Workflow Nets with Roles. - Robin Bergenthum; Jörg Desel; Sebastian Mauser (EMISA, 2011)

Synthese von Petrinetzen aus halbgeordneten Abläufen. - Sebastian Mauser (2011)

Modeling and Mining of Learnflows. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (Trans. Petri Nets Other Model. Concurr., 2012)

Developing emotion recognition for video conference software to support people with autism. - Marc Franzen; Michael Stephan Gresser; Tobias Müller; Sebastian Mauser (CoRR, 2021)