Sebastian Mauser

According to our database, Sebastian Mauser authored at least 28 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Developing emotion recognition for video conference software to support people with autism.

Marc Franzen, Michael Stephan Gresser, Tobias Müller, Sebastian Mauser

CoRR, 2021

2012

Modeling and Mining of Learnflows.

Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser

Trans. Petri Nets Other Model. Concurr., 2012

2011

Synthese von Petrinetzen aus halbgeordneten Abläufen.

Sebastian Mauser

PhD thesis, 2011

Workflow Nets with Roles.

Robin Bergenthum, Jörg Desel, Sebastian Mauser

Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, 2011

Folding Partially Ordered Runs.

Robin Bergenthum, Sebastian Mauser

Proceedings of the Workshop Applications of Region Theory 2011, 2011

Mining with User Interaction.

Robin Bergenthum, Sebastian Mauser

Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010

Modeling and Mining of Collarobative Learnflows.

Robin Bergenthum, Andreas Harrer, Sebastian Mauser

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Construction of Process Models from Example Runs.

Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz

Trans. Petri Nets Other Model. Concurr., 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

Executability of scenarios in Petri nets.

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser

Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.

Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás

Fundam. Informaticae, 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.

Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz

Fundam. Informaticae, 2009

Partial Order Semantics of Types of Nets.

Robert Lorenz, Gabriel Juhás, Sebastian Mauser

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Variants of the Language Based Synthesis Problem for Petri Nets.

Sebastian Mauser, Robert Lorenz

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Complete Process Semantics of Petri Nets.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Fundam. Informaticae, 2008

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Fundam. Informaticae, 2008

Learnflow Mining.

Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser

Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Synthesis of Petri Nets from Infinite Partial Languages with VipTool.

Robin Bergenthum, Sebastian Mauser

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Faster Unfolding of General Petri Nets Based on Token Flows.

Robin Bergenthum, Robert Lorenz, Sebastian Mauser

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri Nets from Scenarios with VipTool.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

How to synthesize nets from languages: a survey.

Robert Lorenz, Sebastian Mauser, Gabriel Juhás

Proceedings of the Winter Simulation Conference, 2007

Process Mining Based on Regions of Languages.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the Business Process Management, 5th International Conference, 2007

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Complete Process Semantics for Inhibitor Nets.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Testing the executability of scenarios in general inhibitor nets.

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Synthesis of Petri Nets from Finite Partial Languages.

Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Synchronous + Concurrent + Sequential = Earlier than + Not later than.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006