Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pierre-Etienne Meunier
@inproceedings{DBLP:conf/dna/MeunierR21, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault}, editor = {Matthew R. Lakin and Petr Sulc}, title = {Directed Non-Cooperative Tile Assembly Is Decidable}, booktitle = {27th International Conference on {DNA} Computing and Molecular Programming, {DNA} 27, September 13-16, 2021, Oxford, {UK} (Virtual Conference)}, series = {LIPIcs}, volume = {205}, pages = {6:1--6:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.DNA.27.6}, doi = {10.4230/LIPICS.DNA.27.6}, timestamp = {Wed, 08 Sep 2021 16:20:42 +0200}, biburl = {https://dblp.org/rec/conf/dna/MeunierR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/MeunierRW20, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault and Damien Woods}, editor = {Konstantin Makarychev and Yury Makarychev and Madhur Tulsiani and Gautam Kamath and Julia Chuzhoy}, title = {The program-size complexity of self-assembled paths}, booktitle = {Proceedings of the 52nd Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2020, Chicago, IL, USA, June 22-26, 2020}, pages = {727--737}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3357713.3384263}, doi = {10.1145/3357713.3384263}, timestamp = {Mon, 18 Dec 2023 07:33:37 +0100}, biburl = {https://dblp.org/rec/conf/stoc/MeunierRW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-04012, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault and Damien Woods}, title = {The program-size complexity of self-assembled paths}, journal = {CoRR}, volume = {abs/2002.04012}, year = {2020}, url = {https://arxiv.org/abs/2002.04012}, eprinttype = {arXiv}, eprint = {2002.04012}, timestamp = {Wed, 12 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-04012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-09675, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault}, title = {On the directed tile assembly systems at temperature 1}, journal = {CoRR}, volume = {abs/2011.09675}, year = {2020}, url = {https://arxiv.org/abs/2011.09675}, eprinttype = {arXiv}, eprint = {2011.09675}, timestamp = {Wed, 25 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-09675.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dna/MeunierR19, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault}, editor = {Chris Thachuk and Yan Liu}, title = {Non-cooperatively Assembling Large Structures}, booktitle = {{DNA} Computing and Molecular Programming - 25th International Conference, {DNA} 25, Seattle, WA, USA, August 5-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11648}, pages = {120--139}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-26807-7\_7}, doi = {10.1007/978-3-030-26807-7\_7}, timestamp = {Tue, 30 Jul 2019 13:41:31 +0200}, biburl = {https://dblp.org/rec/conf/dna/MeunierR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-02253, author = {Pierre{-}Etienne Meunier and Damien Regnault}, title = {Non-cooperatively assembling large structures: a 2D pumping lemma cannot be as powerful as its 1D counterpart}, journal = {CoRR}, volume = {abs/1902.02253}, year = {2019}, url = {http://arxiv.org/abs/1902.02253}, eprinttype = {arXiv}, eprint = {1902.02253}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-02253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaac/GearyMSS18, author = {Cody W. Geary and Pierre{-}{\'{E}}tienne Meunier and Nicolas Schabanel and Shinnosuke Seki}, editor = {Wen{-}Lian Hsu and Der{-}Tsai Lee and Chung{-}Shou Liao}, title = {Proving the Turing Universality of Oritatami Co-Transcriptional Folding}, booktitle = {29th International Symposium on Algorithms and Computation, {ISAAC} 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan}, series = {LIPIcs}, volume = {123}, pages = {23:1--23:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.ISAAC.2018.23}, doi = {10.4230/LIPICS.ISAAC.2018.23}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/isaac/GearyMSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithmica/KariKMPS17, author = {Lila Kari and Steffen Kopecki and Pierre{-}{\'{E}}tienne Meunier and Matthew J. Patitz and Shinnosuke Seki}, title = {Binary Pattern Tile Set Synthesis Is NP-Hard}, journal = {Algorithmica}, volume = {78}, number = {1}, pages = {1--46}, year = {2017}, url = {https://doi.org/10.1007/s00453-016-0154-7}, doi = {10.1007/S00453-016-0154-7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithmica/KariKMPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/MeunierW17, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Woods}, editor = {Hamed Hatami and Pierre McKenzie and Valerie King}, title = {The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation}, booktitle = {Proceedings of the 49th Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2017, Montreal, QC, Canada, June 19-23, 2017}, pages = {328--341}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055399.3055446}, doi = {10.1145/3055399.3055446}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/MeunierW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MeunierW17, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Woods}, title = {The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation}, journal = {CoRR}, volume = {abs/1702.00353}, year = {2017}, url = {http://arxiv.org/abs/1702.00353}, eprinttype = {arXiv}, eprint = {1702.00353}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MeunierW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Meunier16, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {Unraveling simplicity in elementary cellular automata}, journal = {Theor. Comput. Sci.}, volume = {641}, pages = {2--10}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.01.004}, doi = {10.1016/J.TCS.2016.01.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Meunier16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GearyMSS16, author = {Cody W. Geary and Pierre{-}Etienne Meunier and Nicolas Schabanel and Shinnosuke Seki}, editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier}, title = {Programming Biomolecules That Fold Greedily During Transcription}, booktitle = {41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland}, series = {LIPIcs}, volume = {58}, pages = {43:1--43:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.43}, doi = {10.4230/LIPICS.MFCS.2016.43}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/GearyMSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/algo/Meunier16, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {Self-Assembly at Temperature 1}, booktitle = {Encyclopedia of Algorithms}, pages = {1913--1918}, year = {2016}, url = {https://doi.org/10.1007/978-1-4939-2864-4\_663}, doi = {10.1007/978-1-4939-2864-4\_663}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/algo/Meunier16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MeunierR16, author = {Pierre{-}{\'{E}}tienne Meunier and Damien Regnault}, title = {A pumping lemma for non-cooperative self-assembly}, journal = {CoRR}, volume = {abs/1610.07908}, year = {2016}, url = {http://arxiv.org/abs/1610.07908}, eprinttype = {arXiv}, eprint = {1610.07908}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MeunierR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KariKMPS15, author = {Lila Kari and Steffen Kopecki and Pierre{-}{\'{E}}tienne Meunier and Matthew J. Patitz and Shinnosuke Seki}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {Binary Pattern Tile Set Synthesis Is NP-hard}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9134}, pages = {1022--1034}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47672-7\_83}, doi = {10.1007/978-3-662-47672-7\_83}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/KariKMPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uc/Meunier15, author = {Pierre{-}{\'{E}}tienne Meunier}, editor = {Cristian S. Calude and Michael J. Dinneen}, title = {Non-cooperative Algorithms in Self-assembly}, booktitle = {Unconventional Computation and Natural Computation - 14th International Conference, {UCNC} 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9252}, pages = {263--276}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21819-9\_20}, doi = {10.1007/978-3-319-21819-9\_20}, timestamp = {Wed, 25 Sep 2019 18:09:19 +0200}, biburl = {https://dblp.org/rec/conf/uc/Meunier15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BeckerM15, author = {Florent Becker and Pierre{-}{\'{E}}tienne Meunier}, title = {It's a Tough Nanoworld: in Tile Assembly, Cooperation is not (strictly) more Powerful than Competition}, journal = {CoRR}, volume = {abs/1502.05558}, year = {2015}, url = {http://arxiv.org/abs/1502.05558}, eprinttype = {arXiv}, eprint = {1502.05558}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BeckerM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GearyMSS15, author = {Cody W. Geary and Pierre{-}{\'{E}}tienne Meunier and Nicolas Schabanel and Shinnosuke Seki}, title = {Efficient Universal Computation by Greedy Molecular Folding}, journal = {CoRR}, volume = {abs/1508.00510}, year = {2015}, url = {http://arxiv.org/abs/1508.00510}, eprinttype = {arXiv}, eprint = {1508.00510}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GearyMSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soda/MeunierPSTWW14, author = {Pierre{-}Etienne Meunier and Matthew J. Patitz and Scott M. Summers and Guillaume Theyssier and Andrew Winslow and Damien Woods}, editor = {Chandra Chekuri}, title = {Intrinsic universality in tile self-assembly requires cooperation}, booktitle = {Proceedings of the Twenty-Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2014, Portland, Oregon, USA, January 5-7, 2014}, pages = {752--771}, publisher = {{SIAM}}, year = {2014}, url = {https://doi.org/10.1137/1.9781611973402.56}, doi = {10.1137/1.9781611973402.56}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/soda/MeunierPSTWW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KariKMPS14, author = {Lila Kari and Steffen Kopecki and Pierre{-}{\'{E}}tienne Meunier and Matthew J. Patitz and Shinnosuke Seki}, title = {Binary pattern tile set synthesis is NP-hard}, journal = {CoRR}, volume = {abs/1404.0967}, year = {2014}, url = {http://arxiv.org/abs/1404.0967}, eprinttype = {arXiv}, eprint = {1404.0967}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KariKMPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Meunier14, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {Unraveling simplicity in elementary cellular automata}, journal = {CoRR}, volume = {abs/1406.5306}, year = {2014}, url = {http://arxiv.org/abs/1406.5306}, eprinttype = {arXiv}, eprint = {1406.5306}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Meunier14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Meunier14a, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {Noncooperative algorithms in self-assembly}, journal = {CoRR}, volume = {abs/1406.6889}, year = {2014}, url = {http://arxiv.org/abs/1406.6889}, eprinttype = {arXiv}, eprint = {1406.6889}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Meunier14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1304-1679, author = {Pierre{-}Etienne Meunier and Matthew J. Patitz and Scott M. Summers and Guillaume Theyssier and Andrew Winslow and Damien Woods}, title = {Intrinsic universality in tile self-assembly requires cooperation}, journal = {CoRR}, volume = {abs/1304.1679}, year = {2013}, url = {http://arxiv.org/abs/1304.1679}, eprinttype = {arXiv}, eprint = {1304.1679}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-1679.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Meunier13, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {The self-assembly of paths and squares at temperature 1}, journal = {CoRR}, volume = {abs/1312.1299}, year = {2013}, url = {http://arxiv.org/abs/1312.1299}, eprinttype = {arXiv}, eprint = {1312.1299}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Meunier13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Meunier13a, author = {Pierre{-}{\'{E}}tienne Meunier}, title = {A pumping lemma for non-cooperative self-assembly}, journal = {CoRR}, volume = {abs/1312.6668}, year = {2013}, url = {http://arxiv.org/abs/1312.6668}, eprinttype = {arXiv}, eprint = {1312.6668}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Meunier13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Meunier12, author = {Pierre{-}Etienne Meunier}, title = {Les automates cellulaires en tant que mod{\`{e}}le de complexit{\'{e}}s parall{\`{e}}les. (Cellular automata as a model of parallel complexities)}, school = {Grenoble Alpes University, France}, year = {2012}, url = {https://tel.archives-ouvertes.fr/tel-00770175}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Meunier12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChaccMRT11, author = {Eric Goles Ch. and Pierre{-}Etienne Meunier and Ivan Rapaport and Guillaume Theyssier}, title = {Communication complexity and intrinsic universality in cellular automata}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {1-2}, pages = {2--21}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2010.10.005}, doi = {10.1016/J.TCS.2010.10.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ChaccMRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChMRT11, author = {Eric Goles Ch. and Pierre{-}Etienne Meunier and Ivan Rapaport and Guillaume Theyssier}, title = {Erratum to: "Communication Complexity and Intrinsic Universality in Cellular Automata" [Theor. Comput. Sci 412 {(1-2)} {(2011)} 2-21]}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {52}, pages = {7169--7170}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.09.019}, doi = {10.1016/J.TCS.2011.09.019}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ChMRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/automata/BricenoM11, author = {Raimundo Brice{\~{n}}o and Pierre{-}Etienne Meunier}, editor = {Nazim Fat{\`{e}}s and Eric Goles Chacc and Alejandro Maass and Ivan Rapaport}, title = {The structure of communication problems in cellular automata}, booktitle = {17th International Workshop on Cellular Automata and Discrete Complex Systems, Automata 2011, Center for Mathematical Modeling, University of Chile, Santiago, Chile, November 21-23, 2011}, series = {{DMTCS} Proceedings}, volume = {{AP}}, pages = {59--76}, publisher = {{DMTCS}}, year = {2011}, url = {http://dmtcs.episciences.org/2977}, timestamp = {Wed, 15 Jan 2020 16:23:04 +0100}, biburl = {https://dblp.org/rec/conf/automata/BricenoM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jac/GuillonMT10, author = {Pierre Guillon and Pierre{-}Etienne Meunier and Guillaume Theyssier}, editor = {Jarkko Kari}, title = {Clandestine Simulations in Cellular Automata}, booktitle = {Second Symposium on Cellular Automata "Journ{\'{e}}es Automates Cellulaires", {JAC} 2010, Turku, Finland, December 15-17, 2010. Proceedings}, pages = {133--144}, publisher = {Turku Center for Computer Science}, year = {2010}, url = {http://hal.archives-ouvertes.fr/view\_by\_stamp.php?\&\#38;halsid=hui3r3f2euu9snj9pqte72j4e2\&\#38;label=JAC2010\&\#38;langue=en\&\#38;action\_todo=view\&\#38;id=hal-00541996\&\#38;version=1}, timestamp = {Wed, 19 May 2021 12:43:45 +0200}, biburl = {https://dblp.org/rec/conf/jac/GuillonMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-5621, author = {Pierre Guillon and Pierre{-}Etienne Meunier and Guillaume Theyssier}, title = {Clandestine Simulations in Cellular Automata}, journal = {CoRR}, volume = {abs/1009.5621}, year = {2010}, url = {http://arxiv.org/abs/1009.5621}, eprinttype = {arXiv}, eprint = {1009.5621}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-5621.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0912-1777, author = {Eric Goles Chacc and Pierre{-}Etienne Meunier and Ivan Rapaport and Guillaume Theyssier}, title = {Communication Complexity and Intrinsic Universality in Cellular Automata}, journal = {CoRR}, volume = {abs/0912.1777}, year = {2009}, url = {http://arxiv.org/abs/0912.1777}, eprinttype = {arXiv}, eprint = {0912.1777}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0912-1777.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0906-3284, author = {Eric Goles Ch. and Pierre{-}Etienne Meunier and Ivan Rapaport and Guillaume Theyssier}, editor = {Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy}, title = {Communications in cellular automata}, booktitle = {Proceedings International Workshop on The Complexity of Simple Programs, {CSP} 2008, Cork, Ireland, 6-7th December 2008}, series = {{EPTCS}}, volume = {1}, pages = {81--92}, year = {2008}, url = {http://arxiv.org/abs/0906.3284}, timestamp = {Mon, 13 Aug 2018 16:48:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0906-3284.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.