Fast and Succinct Population Protocols for Presburger Arithmetic
P. Czerner, R. Guttenberg, M. Helfrich, and J. Esparza. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, volume 221 of LIPIcs, page 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 2022)
DOI: 10.4230/LIPIcs.SAND.2022.11
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 CzernerGHE22
%A Czerner, Philipp
%A Guttenberg, Roland
%A Helfrich, Martin
%A Esparza, Javier
%B 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference
%D 2022
%E Aspnes, James
%E Michail, Othon
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik
%K conference
%P 11:1--11:17
%R 10.4230/LIPIcs.SAND.2022.11
%T Fast and Succinct Population Protocols for Presburger Arithmetic
%U https://doi.org/10.4230/LIPIcs.SAND.2022.11
%V 221
@inproceedings{CzernerGHE22,
added-at = {2022-11-16T16:03:04.000+0100},
author = {Czerner, Philipp and Guttenberg, Roland and Helfrich, Martin and Esparza, Javier},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/2f244aea6554f17c945484032038cfa39/paves},
booktitle = {1st Symposium on Algorithmic Foundations of Dynamic Networks, {SAND} 2022, March 28-30, 2022, Virtual Conference},
dblp_id = {conf/sand/CzernerGHE22},
doi = {10.4230/LIPIcs.SAND.2022.11},
editor = {Aspnes, James and Michail, Othon},
interhash = {875b2b28a15d0e9ec2172475bfbe0435},
intrahash = {f244aea6554f17c945484032038cfa39},
keywords = {conference},
month = {April},
pages = {11:1--11:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
series = {LIPIcs},
timestamp = {2023-09-24T18:54:08.000+0200},
title = {Fast and Succinct Population Protocols for Presburger Arithmetic},
url = {https://doi.org/10.4230/LIPIcs.SAND.2022.11},
volume = 221,
year = 2022
}