Sebastian Mauser

29 papers A 1B 3Misc 1Journal 10Unranked 13

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Developing emotion recognition for video conference software to support people with autism. CoRR Marc Franzen, Michael Stephan Gresser, Tobias Müller, Sebastian Mauser
2012	J	`jnl`	Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2011	—	`conf`	Folding Partially Ordered Runs. ART @ Petri Nets Robin Bergenthum, Sebastian Mauser
2011	—	`conf`	Mining with User Interaction. ART @ Petri Nets Robin Bergenthum, Sebastian Mauser
2011	—	`—`	Synthese von Petrinetzen aus halbgeordneten Abläufen. Sebastian Mauser
2011	—	`conf`	Workflow Nets with Roles. EMISA Robin Bergenthum, Jörg Desel, Sebastian Mauser
2010	—	`conf`	Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops Robin Bergenthum, Andreas Harrer, Sebastian Mauser
2009	J	`jnl`	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	J	`jnl`	Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Executability of scenarios in Petri nets. Theor. Comput. Sci. Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	B	`conf`	Partial Order Semantics of Types of Nets. SOFSEM Robert Lorenz, Gabriel Juhás, Sebastian Mauser
2009	J	`jnl`	Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
2009	—	`conf`	Variants of the Language Based Synthesis Problem for Petri Nets. ACSD Sebastian Mauser, Robert Lorenz
2008	J	`jnl`	Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2008	J	`jnl`	Complete Process Semantics of Petri Nets. Fundam. Informaticae Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2008	B	`conf`	Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets Robin Bergenthum, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Learnflow Mining. DeLFI Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2008	J	`jnl`	Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri Nets from Infinite Partial Languages with VipTool. AWPN Robin Bergenthum, Sebastian Mauser
2008	B	`conf`	Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri nets from infinite partial languages. ACSD Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	—	`conf`	Complete Process Semantics for Inhibitor Nets. ICATPN Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2007	Misc	`conf`	How to synthesize nets from languages: a survey. WSC Robert Lorenz, Sebastian Mauser, Gabriel Juhás
2007	A	`conf`	Process Mining Based on Regions of Languages. BPM Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	—	`conf`	Synthesis of Petri Nets from Finite Partial Languages. ACSD Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2007	—	`conf`	Testing the executability of scenarios in general inhibitor nets. ACSD Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2007	—	`conf`	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2006	—	`conf`	Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD Gabriel Juhás, Robert Lorenz, Sebastian Mauser