Helfrich, Martin
- Fast and Succinct Population Protocols for Presburger Arithmetic
2022/02/23 by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin +1 · 2 citations
#Distributed #F.1.1 #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Succinct Population Protocols for Presburger Arithmetic
2019/10/10 by Blondin, Michael, Esparza, Javier, Genest, Blaise +2 · 1 citation
#Computational Complexity (cs.CC) #Distributed #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)