Martin Helfrich

Orcid: 0000-0002-3191-8098

According to our database¹, Martin Helfrich authored at least 10 papers between 2020 and 2024.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Abstraction-based segmental simulation of reaction networks using adaptive memoization.

[BibT_eX]

[DOI]

BMC Bioinform., December, 2024

Fast and succinct population protocols for Presburger arithmetic.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., March, 2024

2023

Efficient Analysis of Population Protocols and Chemical Reaction Networks.

[BibT_eX]

[DOI]

Martin Helfrich

PhD thesis, 2023

2022

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks".

[BibT_eX]

[DOI]

Dataset, June, 2022

Abstraction-Based Segmental Simulation of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Decision Power of Weak Asynchronous Models of Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Succinct Population Protocols for Presburger Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Automata Tutor v3.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Martin Helfrich

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...