Jakob Dyhr

According to our database1, Jakob Dyhr authored at least 2 papers between 2018 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Stubborn versus structural reductions for Petri nets.
J. Log. Algebraic Methods Program., 2019

2018
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018


  Loading...