Stefan Haar

Identifiers

No identifiers captured yet.

Papers (6)

1. Taking Complete Finite Prefixes To High Level, Symbolically cs.LO · 2023 · author #3
2. Concurrency in Boolean networks cs.LO · 2019 · author #2
3. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics cs.LO · 2018 · author #1
4. Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks cs.DM · 2018 · author #3
5. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph cs.DM · 2016 · author #2
6. Unfolding-Based Process Discovery cs.LO · 2015 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Lo\"ic Paulev\'e 4 shared papers
• Juraj Kol\v{c}\'ak 3 shared papers
• Thomas Chatain 2 shared papers
• Aalok Thakkar 1 shared papers
• C\'esar Rodr\'iguez 1 shared papers
• David \v{S}afr\'anek 1 shared papers
• Hern\'an Ponce-de-Le\'on 1 shared papers
• Hugues Mandon 1 shared papers
• Josep Carmona 1 shared papers
• Keijo Heljanko 1 shared papers
• Lukas Panneke 1 shared papers
• Nick W\"urdemann 1 shared papers