Concepedia

Robin Bergenthum

RB

6

Publications

166

Citations

6

H-Index

2007

Active since

Affiliations

Catholic University of Eichstätt-Ingolstadt(Current)

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

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringProgram AnalysisParallel ProgrammingIndustrial Informatics

Publications per year

2007–2019

6

Publications

6

Synthesis of Petri Nets from Finite Partial Languages

Robin Bergenthum, Jörg Desel, Robert Lorenz et al. · OPUS (Augsburg University) · 2008 · 59 citations

Petri Net, Engineering, Pushdown Automaton +18

Synthesis of Petri Nets from Finite Partial Languages

Robert Lorenz, Robin Bergenthum, Jörg Desel et al. · 2007 · 40 citations · Full text

Petri Net, Finite Partial Languages, Engineering +14

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

Robin Bergenthum, Jörg Desel, Sebastian Mauser et al. · Fundamenta Informaticae · 2009 · 25 citations

Prime Miner - Process Discovery using Prime Event Structures

Robin Bergenthum · 2019 · 18 citations

Petri Net, Engineering, Pattern Discovery +22

Synthesis of Petri nets from infinite partial languages

Robin Bergenthum, Jörg Desel, Robert Lorenz et al. · 2008 · 14 citations · Full text

Petri Net, Logic Synthesis, Engineering +13

Rows per page

1–5 of 6