default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Romain Demangeon
@article{DBLP:journals/iandc/DemangeonY23,
author = {Romain Demangeon and
Nobuko Yoshida},
title = {Causal computational complexity of distributed processes},
journal = {Inf. Comput.},
volume = {290},
pages = {104998},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2022.104998},
doi = {10.1016/J.IC.2022.104998},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DemangeonY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/DemangeonDV23,
author = {Romain Demangeon and
Catalin Dima and
Daniele Varacca},
editor = {Vadim Malvone and
Aniello Murano},
title = {Observational Preorders for Alternating Transition Systems},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {312--327},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_20},
doi = {10.1007/978-3-031-43264-4\_20},
timestamp = {Wed, 13 Sep 2023 08:53:59 +0200},
biburl = {https://dblp.org/rec/conf/eumas/DemangeonDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DemangeonY18,
author = {Romain Demangeon and
Nobuko Yoshida},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Causal Computational Complexity of Distributed Processes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {344--353},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209122},
doi = {10.1145/3209108.3209122},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DemangeonY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BocchiCDHY17,
author = {Laura Bocchi and
Tzu{-}Chun Chen and
Romain Demangeon and
Kohei Honda and
Nobuko Yoshida},
title = {Monitoring networks through multiparty session types},
journal = {Theor. Comput. Sci.},
volume = {669},
pages = {33--58},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.02.009},
doi = {10.1016/J.TCS.2017.02.009},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BocchiCDHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DemangeonHHNY15,
author = {Romain Demangeon and
Kohei Honda and
Raymond Hu and
Rumyana Neykova and
Nobuko Yoshida},
title = {Practical interruptible conversations: distributed dynamic verification
with multiparty session types and Python},
journal = {Formal Methods Syst. Des.},
volume = {46},
number = {3},
pages = {197--225},
year = {2015},
url = {https://doi.org/10.1007/s10703-014-0218-8},
doi = {10.1007/S10703-014-0218-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/DemangeonHHNY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemangeonY15,
author = {Romain Demangeon and
Nobuko Yoshida},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {On the Expressiveness of Multiparty Sessions},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {560--574},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.560},
doi = {10.4230/LIPICS.FSTTCS.2015.560},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DemangeonY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HondaHNCDDY14,
author = {Kohei Honda and
Raymond Hu and
Rumyana Neykova and
Tzu{-}Chun Chen and
Romain Demangeon and
Pierre{-}Malo Deni{\'{e}}lou and
Nobuko Yoshida},
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {Structuring Communication with Session Types},
booktitle = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8665},
pages = {105--127},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9\_5},
doi = {10.1007/978-3-662-44471-9\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HondaHNCDDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BocchiCDHY13,
author = {Laura Bocchi and
Tzu{-}Chun Chen and
Romain Demangeon and
Kohei Honda and
Nobuko Yoshida},
editor = {Dirk Beyer and
Michele Boreale},
title = {Monitoring Networks through Multiparty Session Types},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {50--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_5},
doi = {10.1007/978-3-642-38592-6\_5},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BocchiCDHY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HuNYDH13,
author = {Raymond Hu and
Rumyana Neykova and
Nobuko Yoshida and
Romain Demangeon and
Kohei Honda},
editor = {Axel Legay and
Saddek Bensalem},
title = {Practical Interruptible Conversations - Distributed Dynamic Verification
with Session Types and Python},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {130--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_8},
doi = {10.1007/978-3-642-40787-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/HuNYDH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BocchiD13,
author = {Laura Bocchi and
Romain Demangeon},
editor = {Nobuko Yoshida and
Wim Vanderbauwhede},
title = {Embedding Session Types in {HML}},
booktitle = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
March 2013},
series = {{EPTCS}},
volume = {137},
pages = {53--62},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.137.5},
doi = {10.4204/EPTCS.137.5},
timestamp = {Fri, 27 Mar 2020 08:38:55 +0100},
biburl = {https://dblp.org/rec/journals/corr/BocchiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemangeonH12,
author = {Romain Demangeon and
Kohei Honda},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Nested Protocols in Session Types},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {272--286},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_20},
doi = {10.1007/978-3-642-32940-1\_20},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/DemangeonH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BocchiDY12,
author = {Laura Bocchi and
Romain Demangeon and
Nobuko Yoshida},
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {A Multiparty Multi-session Logic},
booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
pages = {97--111},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41157-1\_7},
doi = {10.1007/978-3-642-41157-1\_7},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/tgc/BocchiDY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemangeonH11,
author = {Romain Demangeon and
Kohei Honda},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Full Abstraction in a Subtyped pi-Calculus with Linear Types},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {280--296},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_19},
doi = {10.1007/978-3-642-23217-6\_19},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/DemangeonH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DemangeonHS11,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Strong Normalisation in {\(\lambda\)}-Calculi with References},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {128--142},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_9},
doi = {10.1007/978-3-642-29320-7\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/DemangeonHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DemangeonHS10,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
title = {Termination in higher-order concurrent calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {550--577},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.007},
doi = {10.1016/J.JLAP.2010.07.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DemangeonHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemangeonHS10,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Termination in Impure Concurrent Languages},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {328--342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_23},
doi = {10.1007/978-3-642-15375-4\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DemangeonHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DemangeonHS09,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
editor = {Jens Palsberg},
title = {Mobile Processes and Termination},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {250--273},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_13},
doi = {10.1007/978-3-642-04164-8\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DemangeonHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DemangeonHS09,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Termination in Higher-Order Concurrent Calculi},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {81--96},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_4},
doi = {10.1007/978-3-642-11623-0\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/DemangeonHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DemangeonHS08,
author = {Romain Demangeon and
Daniel Hirschkoff and
Davide Sangiorgi},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Static and dynamic typing for the termination of mobile processes},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {413--427},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_28},
doi = {10.1007/978-0-387-09680-3\_28},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/DemangeonHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DemangeonHKS07,
author = {Romain Demangeon and
Daniel Hirschkoff and
Naoki Kobayashi and
Davide Sangiorgi},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {On the Complexity of Termination Inference for Processes},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {140--155},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_11},
doi = {10.1007/978-3-540-78663-4\_11},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/DemangeonHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:50 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:
