Tobias Prehn

According to our database¹, Tobias Prehn authored at least 3 papers between 2017 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Keep it fair: Equivalence and composition.

[BibT_eX]

[DOI]

Stephan Mennicke

Tobias Prehn

J. Log. Algebraic Methods Program., 2019

Immediate Observation in Mediated Population Protocols.

[BibT_eX]

[DOI]

Tobias Prehn

Myron Rotter

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.

[BibT_eX]

[DOI]

Tobias Prehn

Stephan Mennicke

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

Tobias Prehn

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...