BibTeX records: Sandro Stucki

download as .bib file

@article{DBLP:journals/access/YanTS23,
  author       = {Wenqing Yan and
                  Jingwei Tang and
                  Sandro Stucki},
  title        = {Design and Implementation of a Lightweight Deep CNN-Based Plant Biometric
                  Authentication System},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {79984--79993},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3296801},
  doi          = {10.1109/ACCESS.2023.3296801},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/YanTS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/HuntSS23,
  author       = {Sebastian Hunt and
                  David Sands and
                  Sandro Stucki},
  title        = {Reconciling Shannon and Scott with a Lattice of Computable Information},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{POPL}},
  pages        = {1987--2016},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571740},
  doi          = {10.1145/3571740},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/HuntSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SchoepeSSSTBRC23,
  author       = {Daniel Schoepe and
                  David Seekatz and
                  Ilina Stoilkovska and
                  Sandro Stucki and
                  Daniel Tattersall and
                  Pauline Bolignano and
                  Franco Raimondi and
                  Bor{-}Yuh Evan Chang},
  editor       = {Manuel V. Hermenegildo and
                  Jos{\'{e}} F. Morales},
  title        = {Lifting On-Demand Analysis to Higher-Order Languages},
  booktitle    = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
                  Portugal, October 22-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14284},
  pages        = {460--484},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44245-2\_20},
  doi          = {10.1007/978-3-031-44245-2\_20},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/SchoepeSSSTBRC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEares/AlshareefTSSS22,
  author       = {Hanaa Alshareef and
                  Katja Tuma and
                  Sandro Stucki and
                  Gerardo Schneider and
                  Riccardo Scandariato},
  title        = {Precise Analysis of Purpose Limitation in Data Flow Diagrams},
  booktitle    = {{ARES} 2022: The 17th International Conference on Availability, Reliability
                  and Security, Vienna,Austria, August 23 - 26, 2022},
  pages        = {17:1--17:11},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3538969.3539010},
  doi          = {10.1145/3538969.3539010},
  timestamp    = {Fri, 19 Aug 2022 09:45:12 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEares/AlshareefTSSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2211-10099,
  author       = {Sebastian Hunt and
                  David Sands and
                  Sandro Stucki},
  title        = {Reconciling Shannon and Scott with a Lattice of Computable Information},
  journal      = {CoRR},
  volume       = {abs/2211.10099},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.10099},
  doi          = {10.48550/ARXIV.2211.10099},
  eprinttype    = {arXiv},
  eprint       = {2211.10099},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-10099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StuckiSSB21,
  author       = {Sandro Stucki and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Borzoo Bonakdarpour},
  title        = {Gray-box monitoring of hyperproperties with an application to privacy},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {126--159},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00358-w},
  doi          = {10.1007/S10703-020-00358-W},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StuckiSSB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/StuckiG21,
  author       = {Sandro Stucki and
                  Paolo G. Giarrusso},
  title        = {A theory of higher-order subtyping with type intervals},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--30},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473574},
  doi          = {10.1145/3473574},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/StuckiG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/modelsward/AlshareefSS21,
  author       = {Hanaa Alshareef and
                  Sandro Stucki and
                  Gerardo Schneider},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Edwin Seidewitz and
                  Richard Soley},
  title        = {Transforming Data Flow Diagrams for Privacy Compliance},
  booktitle    = {Proceedings of the 9th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2021, Online Streaming, February
                  8-10, 2021},
  pages        = {207--215},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010255002070215},
  doi          = {10.5220/0010255002070215},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/AlshareefSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/AlshareefSS21,
  author       = {Hanaa Alshareef and
                  Sandro Stucki and
                  Gerardo Schneider},
  editor       = {Radu Calinescu and
                  Corina S. Pasareanu},
  title        = {Refining Privacy-Aware Data Flow Diagrams},
  booktitle    = {Software Engineering and Formal Methods - 19th International Conference,
                  {SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13085},
  pages        = {121--140},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-92124-8\_8},
  doi          = {10.1007/978-3-030-92124-8\_8},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/AlshareefSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-01883,
  author       = {Sandro Stucki and
                  Paolo G. Giarrusso},
  title        = {A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2107.01883},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01883},
  eprinttype    = {arXiv},
  eprint       = {2107.01883},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01883.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}
}

@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-2011-12028,
  author       = {Hanaa Alshareef and
                  Sandro Stucki and
                  Gerardo Schneider},
  title        = {Transforming Data Flow Diagrams for Privacy Compliance (Long Version)},
  journal      = {CoRR},
  volume       = {abs/2011.12028},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.12028},
  eprinttype    = {arXiv},
  eprint       = {2011.12028},
  timestamp    = {Thu, 26 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-12028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/StuckiSSB19,
  author       = {Sandro Stucki and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Borzoo Bonakdarpour},
  editor       = {Maurice H. ter Beek and
                  Annabelle McIver and
                  Jos{\'{e}} N. Oliveira},
  title        = {Gray-Box Monitoring of Hyperproperties},
  booktitle    = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
                  Porto, Portugal, October 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {406--424},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30942-8\_25},
  doi          = {10.1007/978-3-030-30942-8\_25},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/StuckiSSB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1906-08731,
  author       = {Sandro Stucki and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Borzoo Bonakdarpour},
  title        = {Gray-box Monitoring of Hyperproperties (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1906.08731},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.08731},
  eprinttype    = {arXiv},
  eprint       = {1906.08731},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-08731.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/OderskyBLBMS18,
  author       = {Martin Odersky and
                  Olivier Blanvillain and
                  Fengyun Liu and
                  Aggelos Biboudis and
                  Heather Miller and
                  Sandro Stucki},
  title        = {Simplicitly: foundations and applications of implicit function types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{POPL}},
  pages        = {42:1--42:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158130},
  doi          = {10.1145/3158130},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/OderskyBLBMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ch/Stucki17,
  author       = {Sandro Stucki},
  title        = {Higher-Order Subtyping with Type Intervals},
  school       = {EPFL, Switzerland},
  year         = {2017},
  url          = {https://doi.org/10.5075/epfl-thesis-8014},
  doi          = {10.5075/EPFL-THESIS-8014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ch/Stucki17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/AminGORS16,
  author       = {Nada Amin and
                  Samuel Gr{\"{u}}tter and
                  Martin Odersky and
                  Tiark Rompf and
                  Sandro Stucki},
  editor       = {Sam Lindley and
                  Conor McBride and
                  Philip W. Trinder and
                  Donald Sannella},
  title        = {The Essence of Dependent Object Types},
  booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to
                  Philip Wadler on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9600},
  pages        = {249--272},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30936-1\_14},
  doi          = {10.1007/978-3-319-30936-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AminGORS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/scala/2016,
  editor       = {Aggelos Biboudis and
                  Manohar Jonnalagedda and
                  Sandro Stucki and
                  Vlad Ureche},
  title        = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
                  2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2998392},
  doi          = {10.1145/2998392},
  isbn         = {978-1-4503-4648-1},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/JonnalageddaS15,
  author       = {Manohar Jonnalagedda and
                  Sandro Stucki},
  editor       = {Philipp Haller and
                  Heather Miller},
  title        = {Fold-based fusion as a library: a generative programming pearl},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
                  2015, Portland, OR, USA, June 15-17, 2015},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2774975.2774981},
  doi          = {10.1145/2774975.2774981},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/JonnalageddaS15.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}
}

@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}
}

@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/gpce/JovanovicSSNKO14,
  author       = {Vojin Jovanovic and
                  Amir Shaikhha and
                  Sandro Stucki and
                  Vladimir Nikolaev and
                  Christoph Koch and
                  Martin Odersky},
  editor       = {Ulrik Pagh Schultz and
                  Matthew Flatt},
  title        = {Yin-yang: concealing the deep embedding of DSLs},
  booktitle    = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras,
                  Sweden, September 15-16, 2014},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2658761.2658771},
  doi          = {10.1145/2658761.2658771},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/JovanovicSSNKO14.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}
}

@inproceedings{DBLP:conf/oopsla/JonnalageddaCSRO14,
  author       = {Manohar Jonnalagedda and
                  Thierry Coppey and
                  Sandro Stucki and
                  Tiark Rompf and
                  Martin Odersky},
  editor       = {Andrew P. Black and
                  Todd D. Millstein},
  title        = {Staged parser combinators for efficient data processing},
  booktitle    = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
                  Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
                  part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages        = {637--653},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660193.2660241},
  doi          = {10.1145/2660193.2660241},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/JonnalageddaCSRO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/StuckiAJR13,
  author       = {Sandro Stucki and
                  Nada Amin and
                  Manohar Jonnalagedda and
                  Tiark Rompf},
  title        = {What are the Odds?: probabilistic programming in Scala},
  booktitle    = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
                  France, July 2, 2013},
  pages        = {11:1--11:9},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2489837.2489848},
  doi          = {10.1145/2489837.2489848},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/StuckiAJR13.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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.