Login / Signup
Tobias Prehn
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Demographic Data
Population Size
Interactive Dynamic Influence Diagrams
Prior Knowledge
Top Venues
ICE@DisCoTec
J. Log. Algebraic Methods Program.
EXPRESS/SOS
</>
Publications
</>
Stephan Mennicke
,
Tobias Prehn
Keep it fair: Equivalence and composition.
J. Log. Algebraic Methods Program.
104 (2019)
Tobias Prehn
,
Myron Rotter
Immediate Observation in Mediated Population Protocols.
EXPRESS/SOS
(2019)
Tobias Prehn
,
Stephan Mennicke
Keep it Fair: Equivalences.
ICE@DisCoTec
(2017)