Introduction to automata theory, languages and computation

• Enjoy the silence: Analysis of stochastic Petri nets with silent transitions

  2024 Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

  22

  citations
• Automatically Finding the Right Probabilities in Bayesian Networks

  2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

  8

  citations
• Automating Workflow/Pipeline Design

  2022 Cognitive technologies book-chapter Computer Science AI-based Problem Solving and Planning Open access

  2

  citations
• Preliminaries

  2022 Studies in computational intelligence book-chapter Computer Science Mathematical Control Systems and Analysis

  0

  citations
• A modeler's guide to handle complexity in energy systems optimization

  2021 Advances in Applied Energy article Engineering Integrated Energy Systems Optimization Open access

  200

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations
• Learning One-Clock Timed Automata

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  33

  citations

7 results