Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space. - Philipp Czerner; Vincent Fischer 004; Roland Guttenberg (DISC, 2024)

The Expressive Power of Uniform Population Protocols with Logarithmic Space. - Philipp Czerner; Vincent Fischer 004; Roland Guttenberg (SAND, 2025)

Runtime Verification for LTL in Stochastic Systems. - Javier Esparza; Vincent Fischer 004 (CoRR, 2025)