author-photo

Stefan Haar

French Institute for Research in Computer Science and Automation
École normale supérieure de Cachan

133

Papers

1569

Citations

Citation Trend

Filter By

Papers (133) Sort By

Journal Conference Others

Drawing the Line: Basin Boundaries in Safe Petri Nets

2020 CMSB | Computational Methods in Systems Biology
Show All
- Source
- Cite
- Save
Citations (0)
Active Prediction for Discrete Event Systems

2020 | Foundations of Software Technology and Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Concurrency in Boolean networks

2020 Natural Computing
Show All
- Source
- Cite
- Save
Citations (10)
Parameter space abstraction and unfolding semantics of discrete regulatory networks

2019 Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Sequential Reprogramming of Boolean Networks Made Practical

2019 CMSB | Computational Methods in Systems Biology
Show All
- Source
- Cite
- Save
Citations (15)
Algorithms for the Sequential Reprogramming of Boolean Networks

2019 IEEE/ACM Transactions on Computational Biology and Bioinformatics
Show All
- Source
- Cite
- Save
Citations (10)
The Complexity of Diagnosability and Opacity Verification for Petri Nets

2018 Fundamenta Informaticae
Show All
- Source
- Cite
- Save
Citations (0)
Hyper Partial Order Logic.

2018 FSTTCS | International Conference on Foundation of Software Technology and Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (2)
Most Permissive Semantics of Boolean Networks.

2018 arXiv: Formal Languages and Automata Theory
Show All
- Source
- Cite
- Save
Citations (3)
Boolean Networks: Beyond Generalized Asynchronicity.

2018
Show All
- Source
- Cite
- Save
Citations (11)