Tobias Prehn

Orcid: 0009-0006-1592-6051

According to our database1, Tobias Prehn authored at least 5 papers between 2017 and 2024.

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

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Black Ninjas and the Sniper: On Robustness of Population Protocols.
CoRR, 2024

The Black Ninjas and the Sniper: On Robust Population Protocols.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2019
Keep it fair: Equivalence and composition.
J. Log. Algebraic Methods Program., 2019

Immediate Observation in Mediated Population Protocols.
Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

2017
Keep it Fair: Equivalences.
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017


  Loading...