Robin Bergenthum - Concepedia

Author

Robin Bergenthum

Also Known As

Bergenthum, Robin, Robin Bergenthum

Publications

536

Citations

H-Index

Concepts

All Affiliations

Robin Bergenthum is an author at Catholic University of Eichstätt-Ingolstadt specializing in formal methods, automated reasoning, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	141
2	Computer Science	5	5	141
3	Computer Engineering	4	4	131
4	Business	1	1	18
5	Data Science	1	1	18

Robin Bergenthum

Publications

166

Citations

H-Index

Page 1

	Year	Citations
Synthesis of Petri Nets from Finite Partial Languages Robin Bergenthum, Jörg Desel, Robert Lorenz, OPUS (Augsburg University) Petri NetEngineeringPushdown AutomatonComputational ComplexityFormal Verification	2008	59
Synthesis of Petri Nets from Finite Partial Languages Robert Lorenz, Robin Bergenthum, Jörg Desel, Petri NetFinite Partial LanguagesEngineeringPartial LanguagePartial Languages	2007	40
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages Robin Bergenthum, Jörg Desel, Sebastian Mauser, Fundamenta Informaticae	2009	25
Prime Miner - Process Discovery using Prime Event Structures Robin Bergenthum Petri NetEngineeringPattern DiscoverySoftware EngineeringSoftware Analysis	2019	18
Synthesis of Petri nets from infinite partial languages Robin Bergenthum, Jörg Desel, Robert Lorenz, Petri NetLogic SynthesisEngineeringInfinite Partial LanguagesPartial Language	2008	14
Executability of scenarios in Petri nets Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Theoretical Computer Science Petri NetEngineeringAutomated ReasoningStochastic Petri NetFormal Methods	2008	10

Page 1