Martin Helfrich

Orcid: 0000-0002-3191-8098

According to our database1, Martin Helfrich authored at least 8 papers between 2020 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci., March, 2024

2023
Efficient Analysis of Population Protocols and Chemical Reaction Networks.
PhD thesis, 2023

2022
Abstraction-Based Segmental Simulation of Chemical Reaction Networks.
Proceedings of the Computational Methods in Systems Biology, 2022

2021
Decision Power of Weak Asynchronous Models of Distributed Computing.
Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020
Succinct Population Protocols for Presburger Arithmetic.
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Automata Tutor v3.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.
Proceedings of the Automated Technology for Verification and Analysis, 2020


  Loading...