Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vincent Danos
@article{DBLP:journals/corr/abs-2301-13785,
author = {Andrea Canidio and
Vincent Danos},
title = {Commitment Against Front Running Attacks},
journal = {CoRR},
volume = {abs/2301.13785},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13785},
doi = {10.48550/ARXIV.2301.13785},
eprinttype = {arXiv},
eprint = {2301.13785},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/DanosW22,
author = {Vincent Danos and
Weijia Wang},
editor = {Yackolley Amoussou{-}Guenou and
Aggelos Kiayias and
Marianne Verdier},
title = {Consistency of Automated Market Makers},
booktitle = {4th International Conference on Blockchain Economics, Security and
Protocols, Tokenomics 2022, December 12-13, 2022, Paris, France},
series = {OASIcs},
volume = {110},
pages = {4:1--4:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2022.4},
doi = {10.4230/OASICS.TOKENOMICS.2022.4},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tokenomics/DanosW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/CanidioD22,
author = {Andrea Canidio and
Vincent Danos},
editor = {Yackolley Amoussou{-}Guenou and
Aggelos Kiayias and
Marianne Verdier},
title = {Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract)},
booktitle = {4th International Conference on Blockchain Economics, Security and
Protocols, Tokenomics 2022, December 12-13, 2022, Paris, France},
series = {OASIcs},
volume = {110},
pages = {7:1--7:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2022.7},
doi = {10.4230/OASICS.TOKENOMICS.2022.7},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tokenomics/CanidioD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/DanosKP21,
author = {Vincent Danos and
Hamza El Khalloufi and
Julien Prat},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {Global Order Routing on Exchange Networks},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {207--226},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_19},
doi = {10.1007/978-3-662-63958-0\_19},
timestamp = {Wed, 27 Oct 2021 09:25:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/DanosKP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04838,
author = {Patric M. Fulop and
Vincent Danos},
title = {Efficient estimates of optimal transport via low-dimensional embeddings},
journal = {CoRR},
volume = {abs/2111.04838},
year = {2021},
url = {https://arxiv.org/abs/2111.04838},
eprinttype = {arXiv},
eprint = {2111.04838},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BehrDG20,
author = {Nicolas Behr and
Vincent Danos and
Ilias Garnier},
title = {Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {3},
year = {2020},
url = {https://lmcs.episciences.org/6628},
timestamp = {Wed, 19 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BehrDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DanosHHS20,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Rate Equations for Graphs},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {3--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_1},
doi = {10.1007/978-3-030-60327-4\_1},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DanosHHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/DanosKP20,
author = {Vincent Danos and
Jean Krivine and
Julien Prat},
editor = {Emmanuelle Anceaume and
Christophe Bisi{\`{e}}re and
Matthieu Bouvard and
Quentin Bramas and
Catherine Casamatta},
title = {Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short
Paper)},
booktitle = {2nd International Conference on Blockchain Economics, Security and
Protocols, Tokenomics 2020, October 26-27, 2020, Toulouse, France},
series = {OASIcs},
volume = {82},
pages = {10:1--10:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2020.10},
doi = {10.4230/OASICS.TOKENOMICS.2020.10},
timestamp = {Wed, 03 Feb 2021 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/tokenomics/DanosKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tokenomics/2019,
editor = {Vincent Danos and
Maurice Herlihy and
Maria Potop{-}Butucaru and
Julien Prat and
Sara {Tucci Piergiovanni}},
title = {International Conference on Blockchain Economics, Security and Protocols,
Tokenomics 2019, May 6-7, 2019, Paris, France},
series = {OASIcs},
volume = {71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-108-5},
isbn = {978-3-95977-108-5},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tokenomics/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11066,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
title = {Rate Equations for Graphs},
journal = {CoRR},
volume = {abs/2008.11066},
year = {2020},
url = {https://arxiv.org/abs/2008.11066},
eprinttype = {arXiv},
eprint = {2008.11066},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02214,
author = {Brian Coyle and
Daniel Mills and
Vincent Danos and
Elham Kashefi},
title = {The Born Supremacy: Quantum Advantage and Training of an Ising Born
Machine},
journal = {CoRR},
volume = {abs/1904.02214},
year = {2019},
url = {http://arxiv.org/abs/1904.02214},
eprinttype = {arXiv},
eprint = {1904.02214},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07313,
author = {Nicolas Behr and
Vincent Danos and
Ilias Garnier},
title = {Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting
Systems},
journal = {CoRR},
volume = {abs/1904.07313},
year = {2019},
url = {http://arxiv.org/abs/1904.07313},
eprinttype = {arXiv},
eprint = {1904.07313},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WaitesCCDD18,
author = {William Waites and
Matteo Cavaliere and
Elise Cachat and
Vincent Danos and
Jamie A. Dvies},
title = {An Information-Theoretic Measure for Patterning in Epithelial Tissues},
journal = {{IEEE} Access},
volume = {6},
pages = {40302--40312},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2853624},
doi = {10.1109/ACCESS.2018.2853624},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/WaitesCCDD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DahlqvistSDG18,
author = {Fredrik Dahlqvist and
Alexandra Silva and
Vincent Danos and
Ilias Garnier},
editor = {Sam Staton},
title = {Borel Kernels and their Approximation, Categorically},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {91--119},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.11.006},
doi = {10.1016/J.ENTCS.2018.11.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DahlqvistSDG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TerradotBWD18,
author = {Guillaume Terradot and
Andreea Beica and
Andrea Y. Wei{\ss}e and
Vincent Danos},
editor = {Guido Sanguinetti and
David Safr{\'{a}}nek},
title = {Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource
Storage},
booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static
Analysis and Systems Biology, University of Edinburgh, September 7,
2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {335},
pages = {91--112},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.03.010},
doi = {10.1016/J.ENTCS.2018.03.010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/TerradotBWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02651,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier and
Alexandra Silva},
title = {Borel Kernels and their Approximation, Categorically},
journal = {CoRR},
volume = {abs/1803.02651},
year = {2018},
url = {http://arxiv.org/abs/1803.02651},
eprinttype = {arXiv},
eprint = {1803.02651},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05708,
author = {Matteo Cavaliere and
Vincent Danos and
Ricardo Honorato{-}Zimmer and
William Waites},
title = {Annotations for Rule-Based Models},
journal = {CoRR},
volume = {abs/1809.05708},
year = {2018},
url = {http://arxiv.org/abs/1809.05708},
eprinttype = {arXiv},
eprint = {1809.05708},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01793,
author = {William Waites and
Goksel Misirli and
Matteo Cavaliere and
Vincent Danos and
Anil Wipat},
title = {Compiling Combinatorial Genetic Circuits with Semantic Inference},
journal = {CoRR},
volume = {abs/1811.01793},
year = {2018},
url = {http://arxiv.org/abs/1811.01793},
eprinttype = {arXiv},
eprint = {1811.01793},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/SachsLD17,
author = {Matthias Sachs and
Benedict J. Leimkuhler and
Vincent Danos},
title = {Langevin Dynamics with Variable Coefficients and Nonconservative Forces:
From Stationary States to Numerical Methods},
journal = {Entropy},
volume = {19},
number = {12},
pages = {647},
year = {2017},
url = {https://doi.org/10.3390/e19120647},
doi = {10.3390/E19120647},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/SachsLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DanosHGS17,
author = {Vincent Danos and
Tobias Heindel and
Ilias Garnier and
Jakob Grue Simonsen},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Computing Continuous-Time Markov Chains as Transformers of Unbounded
Observables},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {338--354},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_20},
doi = {10.1007/978-3-662-54458-7\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DanosHGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ClercDDG17,
author = {Florence Clerc and
Vincent Danos and
Fredrik Dahlqvist and
Ilias Garnier},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Pointless Learning},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {355--369},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_21},
doi = {10.1007/978-3-662-54458-7\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ClercDDG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MisirliCWPMGHZD16,
author = {Goksel Misirli and
Matteo Cavaliere and
William Waites and
Matthew R. Pocock and
Curtis Madsen and
Owen Gilfellon and
Ricardo Honorato{-}Zimmer and
Paolo Zuliani and
Vincent Danos and
Anil Wipat},
title = {Annotation of rule-based models with formal semantics to enable creation,
analysis, reuse and visualization},
journal = {Bioinform.},
volume = {32},
number = {6},
pages = {908--917},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btv660},
doi = {10.1093/BIOINFORMATICS/BTV660},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/MisirliCWPMGHZD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DahlqvistDGK16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier and
Ohad Kammar},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bayesian Inversion by {\(\omega\)}-Complete Cone Duality},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {1:1--1:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.1},
doi = {10.4230/LIPICS.CONCUR.2016.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/DahlqvistDGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DahlqvistDG16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Robustly Parameterised Higher-Order Probabilistic Models},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {23:1--23:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.23},
doi = {10.4230/LIPICS.CONCUR.2016.23},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DahlqvistDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/BeicaD16,
author = {Andreea Beica and
Vincent Danos},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {Synchronous Balanced Analysis},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {85--94},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_6},
doi = {10.1007/978-3-319-47151-8\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/hsb/BeicaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BehrDG16,
author = {Nicolas Behr and
Vincent Danos and
Ilias Garnier},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Stochastic mechanics of graph rewriting},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {46--55},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934537},
doi = {10.1145/2933575.2934537},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BehrDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/DanosH16,
author = {Vincent Danos and
Ricardo Honorato{-}Zimmer},
editor = {Sameh Elnikety and
Peter R. Lewis and
Christian M{\"{u}}ller{-}Schloer},
title = {Emergent Communities in Socio-cognitive Networks},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
pages = {24--29},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.19},
doi = {10.1109/FAS-W.2016.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/DanosH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/YangD16,
author = {Guoli Yang and
Vincent Danos},
editor = {Giacomo Cabri and
Gauthier Picard and
Niranjan Suri},
title = {Learning in Open Adaptive Networks},
booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SASO.2016.11},
doi = {10.1109/SASO.2016.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/YangD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DahlqvistDG16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier},
editor = {Lars Birkedal},
title = {Giry and the Machine},
booktitle = {The Thirty-second Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
USA, May 23-26, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {325},
pages = {85--110},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.09.033},
doi = {10.1016/J.ENTCS.2016.09.033},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DahlqvistDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DanosHH15,
author = {Vincent Danos and
Russ Harmer and
Ricardo Honorato{-}Zimmer},
title = {Thermodynamic graph-rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:13)2015},
doi = {10.2168/LMCS-11(2:13)2015},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DanosHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/DanosHHS15,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Jean Krivine and
Jean{-}Bernard Stefani},
title = {Moment Semantics for Reversible Rule-Based Systems},
booktitle = {Reversible Computation - 7th International Conference, {RC} 2015,
Grenoble, France, July 16-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9138},
pages = {3--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20860-2\_1},
doi = {10.1007/978-3-319-20860-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/DanosHHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosG15,
author = {Vincent Danos and
Ilias Garnier},
editor = {Dan R. Ghica},
title = {Dirichlet is Natural},
booktitle = {The 31st Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
pages = {137--164},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.12.010},
doi = {10.1016/J.ENTCS.2015.12.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DanosG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DanosK15,
author = {Vincent Danos and
Heinz Koeppl},
title = {Self-assembly and Self-organization in Computer Science and Biology
(Dagstuhl Seminar 15402)},
journal = {Dagstuhl Reports},
volume = {5},
number = {9},
pages = {125--138},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.9.125},
doi = {10.4230/DAGREP.5.9.125},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DanosK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HusseinHDS14,
author = {Mudhafar Hussein and
Reiko Heckel and
Vincent Danos and
Pawel Sobocinski},
title = {Modelling Adaptive Networks: The Case of the Petrified Voters},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {67},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.67.950},
doi = {10.14279/TUJ.ECEASST.67.950},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HusseinHDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HeindelDHS14,
author = {Tobias Heindel and
Vincent Danos and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
title = {Mean Quantitative Coverability in Stochastic Graph Transformation
Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {68},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.68.958},
doi = {10.14279/TUJ.ECEASST.68.958},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/HeindelDHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChaputDPP14,
author = {Philippe Chaput and
Vincent Danos and
Prakash Panangaden and
Gordon D. Plotkin},
title = {Approximating Markov Processes by Averaging},
journal = {J. {ACM}},
volume = {61},
number = {1},
pages = {5:1--5:45},
year = {2014},
url = {https://doi.org/10.1145/2537948},
doi = {10.1145/2537948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/ChaputDPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DanosG14,
author = {Vincent Danos and
Ilias Garnier},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Free Energy of Petri Nets},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {268--289},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_14},
doi = {10.1007/978-3-319-06880-0\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DanosG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/DanosHS14,
author = {Vincent Danos and
Reiko Heckel and
Pawel Sobocinski},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Transformation and Refinement of Rigid Structures},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {146--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_10},
doi = {10.1007/978-3-319-09108-2\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/DanosHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/DanosHHS14,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Reversible Sesqui-Pushout Rewriting},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {161--176},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_11},
doi = {10.1007/978-3-319-09108-2\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/DanosHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DanosHHS14,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Stephan Merz and
Jun Pang},
title = {Approximations for Stochastic Graph Rewriting},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {1--10},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_1},
doi = {10.1007/978-3-319-11737-9\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DanosHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SorokinaSAD13,
author = {Oksana Sorokina and
Anatoly A. Sorokin and
J. Douglas Armstrong and
Vincent Danos},
title = {A simulator for spatially extended kappa models},
journal = {Bioinform.},
volume = {29},
number = {23},
pages = {3105--3106},
year = {2013},
url = {https://doi.org/10.1093/bioinformatics/btt523},
doi = {10.1093/BIOINFORMATICS/BTT523},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/SorokinaSAD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/CooperD13,
author = {S. Barry Cooper and
Vincent Danos},
title = {Editorial},
journal = {Int. J. Softw. Informatics},
volume = {7},
number = {4},
pages = {483--484},
year = {2013},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i179},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/CooperD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DanosHW13,
author = {Vincent Danos and
Russell Harmer and
Glynn Winskel},
title = {Constraining rule-based dynamics with types},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {2},
pages = {272--289},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000114},
doi = {10.1017/S0960129512000114},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DanosHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DanosO13,
author = {Vincent Danos and
Nicolas Oury},
title = {Equilibrium and termination {II:} the case of Petri nets},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {2},
pages = {290--307},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000126},
doi = {10.1017/S0960129512000126},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DanosO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosHH13,
author = {Vincent Danos and
Russ Harmer and
Ricardo Honorato{-}Zimmer},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Thermodynamic Graph-Rewriting},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {380--394},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_27},
doi = {10.1007/978-3-642-40184-8\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DanosHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DanosFFHH12,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jonathan Hayman and
Jean Krivine and
Christopher D. Thompson{-}Walsh and
Glynn Winskel},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {276--288},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.276},
doi = {10.4230/LIPICS.FSTTCS.2012.276},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DanosFFHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosHJS15,
author = {Vincent Danos and
Ricardo Honorato{-}Zimmer and
Sebasti{\'{a}}n Jaramillo{-}Riveri and
Sandro Stucki},
editor = {J{\'{e}}r{\^{o}}me Feret and
Andre Levchenko},
title = {Rigid Geometric Constraints for Kappa Models},
booktitle = {3rd International Workshop on Static Analysis and Systems Biology,
{SASB} 2012, Deauville, France, September 10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {313},
pages = {23--46},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2015.04.017},
doi = {10.1016/J.ENTCS.2015.04.017},
timestamp = {Thu, 10 Nov 2022 14:39:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosHJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosHJS15a,
author = {Vincent Danos and
Ricardo Honorato{-}Zimmer and
Sebasti{\'{a}}n Jaramillo{-}Riveri and
Sandro Stucki},
editor = {J{\'{e}}r{\^{o}}me Feret and
Andre Levchenko},
title = {Coarse-graining the Dynamics of Ideal Branched Polymers},
booktitle = {3rd International Workshop on Static Analysis and Systems Biology,
{SASB} 2012, Deauville, France, September 10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {313},
pages = {47--64},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2015.04.018},
doi = {10.1016/J.ENTCS.2015.04.018},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosHJS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DanosE11,
author = {Vincent Danos and
Thomas Ehrhard},
title = {Probabilistic coherence spaces as a model of higher-order probabilistic
computation},
journal = {Inf. Comput.},
volume = {209},
number = {6},
pages = {966--991},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2011.02.001},
doi = {10.1016/J.IC.2011.02.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DanosE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciDK11,
author = {Giorgio Bacci and
Vincent Danos and
Ohad Kammar},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {On the Statistical Thermodynamics of Reversible Communicating Processes},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_1},
doi = {10.1007/978-3-642-22944-2\_1},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BacciDK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/DanosKW11,
author = {Vincent Danos and
Heinz Koeppl and
John Roger Wilson{-}Kanamori},
editor = {Luca Cardelli and
William M. Shih},
title = {Cooperative Assembly Systems},
booktitle = {{DNA} Computing and Molecular Programming - 17th International Conference,
{DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6937},
pages = {1--20},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23638-9\_1},
doi = {10.1007/978-3-642-23638-9\_1},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dna/DanosKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosFFHK10,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
title = {Abstracting the Differential Semantics of Rule-Based Models: Exact
and Automated Model Reduction},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {362--381},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.44},
doi = {10.1109/LICS.2010.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosFFHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1430,
author = {Vincent Danos and
Nicolas Oury},
editor = {S. Barry Cooper and
Prakash Panangaden and
Elham Kashefi},
title = {Equilibrium and Termination},
booktitle = {Proceedings Sixth Workshop on Developments in Computational Models:
Causality, Computation, and Physics, {DCM} 2010, Edinburgh, Scotland,
9-10th July 2010},
series = {{EPTCS}},
volume = {26},
pages = {75--84},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.26.7},
doi = {10.4204/EPTCS.26.7},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/FeretDKHF09,
author = {J{\'{e}}r{\^{o}}me Feret and
Vincent Danos and
Jean Krivine and
Russ Harmer and
Walter Fontana},
title = {Internal coarse-graining of molecular systems},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {106},
number = {16},
pages = {6453--6458},
year = {2009},
url = {https://doi.org/10.1073/pnas.0809908106},
doi = {10.1073/PNAS.0809908106},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/FeretDKHF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanosS09,
author = {Vincent Danos and
Linus J. Schumacher},
title = {How liquid is biological signalling?},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {11},
pages = {1003--1012},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.10.037},
doi = {10.1016/J.TCS.2008.10.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanosS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/DanosFFHK09,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
title = {Rule-Based Modelling and Model Perturbation},
journal = {Trans. Comp. Sys. Biology},
volume = {11},
pages = {116--137},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04186-0\_6},
doi = {10.1007/978-3-642-04186-0\_6},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/DanosFFHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ChaputDPP09,
author = {Philippe Chaput and
Vincent Danos and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Approximating Labelled Markov Processes Again!},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {145--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_11},
doi = {10.1007/978-3-642-03741-2\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/ChaputDPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KrivineDB09,
author = {Jean Krivine and
Vincent Danos and
Arndt Benecke},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Modelling Epigenetic Information Maintenance: {A} Kappa Tutorial},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {17--32},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_3},
doi = {10.1007/978-3-642-02658-4\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KrivineDB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChaputDPP09,
author = {Philippe Chaput and
Vincent Danos and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Approximating Markov Processes by Averaging},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {127--138},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_11},
doi = {10.1007/978-3-642-02930-1\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChaputDPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0911-2829,
editor = {S. Barry Cooper and
Vincent Danos},
title = {Proceedings Fifth Workshop on Developments in Computational Models--Computational
Models From Nature, {DCM} 2009, Rhodes, Greece, 11th July 2009},
series = {{EPTCS}},
volume = {9},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.9},
doi = {10.4204/EPTCS.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-2829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CurienDKZ08,
author = {Pierre{-}Louis Curien and
Vincent Danos and
Jean Krivine and
Min Zhang},
title = {Computational self-assembly},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {61--75},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.014},
doi = {10.1016/J.TCS.2008.04.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CurienDKZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/DanosFFHK08,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
editor = {Jasmin Fisher},
title = {Rule-Based Modelling, Symmetries, Refinements},
booktitle = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
2008, Cambridge, UK, June 4-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5054},
pages = {103--122},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_8},
doi = {10.1007/978-3-540-68413-8\_8},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/DanosFFHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/DanosFFHK08,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Investigation of a Biological Repair Scheme},
booktitle = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh,
UK, July 28-31, 2008, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5391},
pages = {1--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_1},
doi = {10.1007/978-3-540-95885-7\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/DanosFFHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tqc/BeaudrapDKR08,
author = {J. Niel de Beaudrap and
Vincent Danos and
Elham Kashefi and
Martin R{\"{o}}tteler},
editor = {Yasuhito Kawano and
Michele Mosca},
title = {Quadratic Form Expansions for Unitaries},
booktitle = {Theory of Quantum Computation, Communication, and Cryptography, Third
Workshop, {TQC} 2008, Tokyo, Japan, January 30 - February 1, 2008.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5106},
pages = {29--46},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89304-2\_4},
doi = {10.1007/978-3-540-89304-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tqc/BeaudrapDKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DanosFFK08,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Jean Krivine},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Abstract Interpretation of Cellular Signalling Networks},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {83--97},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_11},
doi = {10.1007/978-3-540-78163-9\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DanosFFK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Danos09,
author = {Vincent Danos},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Agile Modelling of Cellular Signalling (Invited Paper)},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {3--10},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.070},
doi = {10.1016/J.ENTCS.2009.07.070},
timestamp = {Fri, 24 Feb 2023 11:47:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Danos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcm/2007,
editor = {Vincent Danos and
Mariangiola Dezani},
title = {Proceedings of the Third International Workshop on Developments in
Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/192/issue/3},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DanosKP07,
author = {Vincent Danos and
Elham Kashefi and
Prakash Panangaden},
title = {The measurement calculus},
journal = {J. {ACM}},
volume = {54},
number = {2},
pages = {8},
year = {2007},
url = {https://doi.org/10.1145/1219092.1219096},
doi = {10.1145/1219092.1219096},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DanosKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DanosT07,
author = {Vincent Danos and
Fabien Tarissan},
title = {Self-assembling graphs},
journal = {Nat. Comput.},
volume = {6},
number = {3},
pages = {339--358},
year = {2007},
url = {https://doi.org/10.1007/s11047-006-9013-9},
doi = {10.1007/S11047-006-9013-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DanosT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DanosFFK07,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Jean Krivine},
editor = {Zhong Shao},
title = {Scalable Simulation of Cellular Signaling Networks},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {139--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_10},
doi = {10.1007/978-3-540-76637-7\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DanosFFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosFFHK07,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Rule-Based Modelling of Cellular Signalling},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {17--41},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_3},
doi = {10.1007/978-3-540-74407-8\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DanosFFHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosD08,
author = {Vincent Danos and
Mariangiola Dezani{-}Ciancaglini},
editor = {Vincent Danos and
Mariangiola Dezani},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Developments in
Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.023},
doi = {10.1016/J.ENTCS.2008.10.023},
timestamp = {Thu, 09 Feb 2023 11:01:17 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosD08a,
author = {Vincent Danos and
Ellie D'Hondt},
editor = {Vincent Danos and
Mariangiola Dezani},
title = {Classical Knowledge for Quantum Cryptographic Reasoning},
booktitle = {Proceedings of the Third International Workshop on Developments in
Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {3},
pages = {39--58},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.026},
doi = {10.1016/J.ENTCS.2008.10.026},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosD08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2003bio,
editor = {Vincent Danos and
Cosimo Laneve},
title = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/180/issue/3},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2003bio.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DanosDLP06,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais and
Fran{\c{c}}ois Laviolette and
Prakash Panangaden},
title = {Bisimulation and cocongruence for probabilistic systems},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {503--523},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.02.004},
doi = {10.1016/J.IC.2005.02.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DanosDLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BourguignonDKSS06,
author = {Pierre{-}Yves Bourguignon and
Vincent Danos and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s and
Serge Smidtas and
Vincent Sch{\"{a}}chter},
title = {Property-Driven Statistics of Biological Networks},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {1--15},
year = {2006},
url = {https://doi.org/10.1007/11880646\_1},
doi = {10.1007/11880646\_1},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/BourguignonDKSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DanosKP06,
author = {Vincent Danos and
Elham Kashefi and
Prakash Panangaden},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {The One Way to Quantum Computation},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {13--21},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_2},
doi = {10.1007/11787006\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DanosKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosKT07,
author = {Vincent Danos and
Jean Krivine and
Fabien Tarissan},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Self-assembling Trees},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {19--32},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.017},
doi = {10.1016/J.ENTCS.2006.11.017},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosKS07,
author = {Vincent Danos and
Jean Krivine and
Pawel Sobocinski},
editor = {Roberto M. Amadio and
Iain Phillips},
title = {General Reversibility},
booktitle = {Proceedings of the 13th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {3},
pages = {75--86},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.036},
doi = {10.1016/J.ENTCS.2006.07.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosK05,
author = {Vincent Danos and
Jean Krivine},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Transactions in {RCCS}},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {398--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_31},
doi = {10.1007/11539452\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DanosK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/DanosT05,
author = {Vincent Danos and
Fabien Tarissan},
editor = {Jos{\'{e}} Mira and
Jos{\'{e}} R. {\'{A}}lvarez},
title = {Self Assembling Graphs},
booktitle = {Mechanisms, Symbols, and Models Underlying Cognition: First International
Work-Conference on the Interplay Between Natural and Artificial Computation,
{IWINAC} 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3561},
pages = {498--507},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499220\_51},
doi = {10.1007/11499220\_51},
timestamp = {Wed, 13 Jan 2021 08:41:00 +0100},
biburl = {https://dblp.org/rec/conf/iwinac/DanosT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosDKP07,
author = {Vincent Danos and
Ellie D'Hondt and
Elham Kashefi and
Prakash Panangaden},
editor = {Peter Selinger},
title = {Distributed Measurement-based Quantum Computation},
booktitle = {Proceedings of the 3rd International Workshop on Quantum Programming
Languages, {QPL} 2005, DePaul University, Chicago, USA, June 30 -
July 1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {170},
pages = {73--94},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.012},
doi = {10.1016/J.ENTCS.2006.12.012},
timestamp = {Tue, 24 Jan 2023 11:28:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosDKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosK07,
author = {Vincent Danos and
Elham Kashefi},
editor = {Peter Selinger},
title = {Pauli Measurements are Universal},
booktitle = {Proceedings of the 3rd International Workshop on Quantum Programming
Languages, {QPL} 2005, DePaul University, Chicago, USA, June 30 -
July 1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {170},
pages = {95--100},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.013},
doi = {10.1016/J.ENTCS.2006.12.013},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2004,
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107287},
doi = {10.1007/B107287},
isbn = {3-540-25375-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Chabrier-RivierCDFS04,
author = {Nathalie Chabrier{-}Rivier and
Marc Chiaverini and
Vincent Danos and
Fran{\c{c}}ois Fages and
Vincent Sch{\"{a}}chter},
title = {Modeling and querying biomolecular interaction networks},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {25--44},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.063},
doi = {10.1016/J.TCS.2004.03.063},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Chabrier-RivierCDFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanosL04,
author = {Vincent Danos and
Cosimo Laneve},
title = {Formal molecular biology},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {69--110},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.065},
doi = {10.1016/J.TCS.2004.03.065},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DanosL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DanosP04,
author = {Vincent Danos and
Sylvain Pradalier},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Projective Brane Calculus},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {134--148},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_11},
doi = {10.1007/978-3-540-25974-9\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DanosP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosK04,
author = {Vincent Danos and
Jean Krivine},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Reversible Communicating Systems},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {292--307},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_19},
doi = {10.1007/978-3-540-28644-8\_19},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/DanosK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DanosJ03,
author = {Vincent Danos and
Jean{-}Baptiste Joinet},
title = {Linear logic and elementary time},
journal = {Inf. Comput.},
volume = {183},
number = {1},
pages = {123--137},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00010-5},
doi = {10.1016/S0890-5401(03)00010-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DanosJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanosJS03,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
title = {Computational isomorphisms in classical logic},
journal = {Theor. Comput. Sci.},
volume = {294},
number = {3},
pages = {353--378},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00148-7},
doi = {10.1016/S0304-3975(01)00148-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanosJS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DanosL03,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Corrado Priami},
title = {Graphs for Core Molecular Biology},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {34--46},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_4},
doi = {10.1007/3-540-36481-1\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DanosL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ChiaveriniD03,
author = {Marc Chiaverini and
Vincent Danos},
editor = {Corrado Priami},
title = {A Core Modeling Language for the Working Molecular Biologist (Abstract)},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {166},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_16},
doi = {10.1007/3-540-36481-1\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ChiaveriniD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosDP03,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais and
Prakash Panangaden},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Conditional Expectation and the Approximation of Labelled Markov Processes},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {468--482},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_31},
doi = {10.1007/978-3-540-45187-7\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DanosDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DanosL03,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Pierpaolo Degano},
title = {Core Formal Molecular Biology},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {302--318},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_21},
doi = {10.1007/3-540-36575-3\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DanosL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/DanosD03,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {A Fixpoint Logic for Labeled Markov Processes},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {14--18},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=19},
timestamp = {Tue, 04 Aug 2020 15:14:17 +0200},
biburl = {https://dblp.org/rec/conf/fics/DanosD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BeffaraD03,
author = {Emmanuel Beffara and
Vincent Danos},
editor = {Colin Runciman and
Olin Shivers},
title = {Disjunctive normal forms and local exceptions},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {203--211},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944724},
doi = {10.1145/944705.944724},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BeffaraD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosD03,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais},
title = {Labelled Markov Processes: Stronger and Faster Approximations},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {341--350},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210074},
doi = {10.1109/LICS.2003.1210074},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosL07,
author = {Vincent Danos and
Cosimo Laneve},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Preface},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2006.11.045},
doi = {10.1016/J.ENTCS.2006.11.045},
timestamp = {Tue, 31 Jan 2023 14:03:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosK07a,
author = {Vincent Danos and
Jean Krivine},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Formal Molecular Biology Done in {CCS-R}},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {31--49},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.01.040},
doi = {10.1016/J.ENTCS.2004.01.040},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosK07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosDP04,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais and
Prakash Panangaden},
editor = {Jos{\'{e}}e Desharnais and
Prakash Panangaden},
title = {Labelled Markov Processes: Stronger and Faster Approximations},
booktitle = {Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic
Processes, {DTMPP} 2003, Barbados, April 21-25, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {87},
pages = {157--203},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.018},
doi = {10.1016/J.ENTCS.2004.09.018},
timestamp = {Wed, 07 Dec 2022 09:46:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosDP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DanosH02,
author = {Vincent Danos and
Russell Harmer},
title = {Probabilistic game semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {3},
pages = {359--382},
year = {2002},
url = {https://doi.org/10.1145/507382.507385},
doi = {10.1145/507382.507385},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DanosH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DanosH01,
author = {Vincent Danos and
Russell Harmer},
editor = {Laurent Fribourg},
title = {The Anatomy of Innocence},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {188--202},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_14},
doi = {10.1007/3-540-44802-0\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/DanosH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DanosK00,
author = {Vincent Danos and
Jean{-}Louis Krivine},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Disjunctive Tautologies as Synchronisation Schemes},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {292--301},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_19},
doi = {10.1007/3-540-44622-2\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/DanosK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosH00,
author = {Vincent Danos and
Russell Harmer},
title = {Probabilistic Game Semantics},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {204--213},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855770},
doi = {10.1109/LICS.2000.855770},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanosR99,
author = {Vincent Danos and
Laurent Regnier},
title = {Reversible, Irreversible and Optimal lambda-Machines},
journal = {Theor. Comput. Sci.},
volume = {227},
number = {1-2},
pages = {79--97},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00049-3},
doi = {10.1016/S0304-3975(99)00049-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanosR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DanosJS97,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
title = {A New Deconstructive Logic: Linear Logic},
journal = {J. Symb. Log.},
volume = {62},
number = {3},
pages = {755--807},
year = {1997},
url = {https://doi.org/10.2307/2275572},
doi = {10.2307/2275572},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DanosJS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaillotDER97,
author = {Patrick Baillot and
Vincent Danos and
Thomas Ehrhard and
Laurent Regnier},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Timeless Games},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {56--77},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028007},
doi = {10.1007/BFB0028007},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaillotDER97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BaillotDE97,
author = {Patrick Baillot and
Vincent Danos and
Thomas Ehrhard and
Laurent Regnier},
title = {Believe it or not, AJM's Games Model is a Model of Classical Linear
Logic},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {68--75},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614933},
doi = {10.1109/LICS.1997.614933},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BaillotDE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DanosPR96,
author = {Vincent Danos and
Marco Pedicini and
Laurent Regnier},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Directed Virtual Reductions},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {76--88},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_33},
doi = {10.1007/3-540-63172-0\_33},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/DanosPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosHR96,
author = {Vincent Danos and
Hugo Herbelin and
Laurent Regnier},
title = {Game Semantics {\&} Abstract Machines},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {394--405},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561456},
doi = {10.1109/LICS.1996.561456},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosHR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosR96,
author = {Vincent Danos and
Laurent Regnier},
editor = {Jean{-}Yves Girard and
Mitsuhiro Okada and
Andre Scedrov},
title = {Reversible, Irreversible and Optimal Lambda-machines},
booktitle = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
Japan, March 29 - April 2, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {3},
pages = {40--60},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80402-5},
doi = {10.1016/S1571-0661(05)80402-5},
timestamp = {Fri, 11 Nov 2022 13:19:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosJS96,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
editor = {Jean{-}Yves Girard and
Mitsuhiro Okada and
Andre Scedrov},
title = {Computational isomorphisms in classical logic},
booktitle = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
Japan, March 29 - April 2, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {3},
pages = {183--195},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80417-7},
doi = {10.1016/S1571-0661(05)80417-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DanosJS95,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
title = {On the linear decoration of intuitionistic derivations},
journal = {Arch. Math. Log.},
volume = {33},
number = {6},
pages = {387--412},
year = {1995},
url = {https://doi.org/10.1007/BF02390456},
doi = {10.1007/BF02390456},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/DanosJS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Danos94,
author = {Vincent Danos},
editor = {Marc{-}Michel Corsini},
title = {Une logique {\`{a}} grain fain: la logique lin{\'{e}}aire},
booktitle = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 1994, Bordeaux, France},
pages = {311},
year = {1994},
timestamp = {Mon, 07 Jun 2004 11:16:21 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Danos94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AspertiDLR94,
author = {Andrea Asperti and
Vincent Danos and
Cosimo Laneve and
Laurent Regnier},
title = {Paths in the lambda-calculus},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {426--436},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316048},
doi = {10.1109/LICS.1994.316048},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AspertiDLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/DanosJS93,
author = {Vincent Danos and
Jean{-}Baptiste Joinet and
Harold Schellinx},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Structure of Exponentials: Uncovering the Dynamics of Linear Logic
Proofs},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {159--171},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022564},
doi = {10.1007/BFB0022564},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/DanosJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosR93,
author = {Vincent Danos and
Laurent Regnier},
title = {Local and asynchronous beta-reduction (an analysis of Girard's execution
formula)},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {296--306},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287578},
doi = {10.1109/LICS.1993.287578},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DanosR89,
author = {Vincent Danos and
Laurent Regnier},
title = {The structure of multiplicatives},
journal = {Arch. Math. Log.},
volume = {28},
number = {3},
pages = {181--203},
year = {1989},
url = {https://doi.org/10.1007/BF01622878},
doi = {10.1007/BF01622878},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DanosR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-11 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
