CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Damien Pous; Davide Sangiorgi
Publié dans:
Formal Aspects of Computing, Numéro 11, 2019, ISSN 0934-5043
Éditeur:
Springer Verlag
DOI:
10.1007/s00165-019-00497-w
Auteurs:
Adrien Durier; Adrien Durier; Daniel Hirschkoff; Davide Sangiorgi
Publié dans:
Theoretical Computer Science, Numéro 30, 2019, ISSN 0304-3975
Éditeur:
Elsevier BV
DOI:
10.1016/j.tcs.2019.09.036
Auteurs:
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
Publié dans:
Mathematical Structures in Computer Science, 2017, ISSN 0960-1295
Éditeur:
Cambridge University Press
DOI:
10.1017/s0960129515000523
Auteurs:
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide
Publié dans:
Logical Methods in Computer Science, Numéro 10, 2021, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(3:25)2021
Auteurs:
Christian Doczkal, Gert Smolka
Publié dans:
Journal of Automated Reasoning, Numéro 61/1-4, 2018, Page(s) 521-553, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9460-x
Auteurs:
Brunet, Paul; Pous, Damien
Publié dans:
Logical Methods in Computer Science, 2017, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-13(3:33)2017
Auteurs:
Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
Publié dans:
Acta Informatica, Numéro 54/2, 2017, Page(s) 127-190, ISSN 0001-5903
Éditeur:
Springer Verlag
DOI:
10.1007/s00236-016-0271-4
Auteurs:
Denis Kuperberg; Laureline Pinault; Damien Pous
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 21, 2021, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3434282
Auteurs:
Pous, Damien; Rot, Jurriaan
Publié dans:
Logical Methods in Computer Science, Numéro 33, 2019, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(3:14)2019
Auteurs:
Doczkal, Christian; Pous, Damien
Publié dans:
Journal of Automated Reasoning, Numéro 15, 2020, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09543-2
Auteurs:
Denis Kuperberg; Laureline Pinault; Damien Pous
Publié dans:
Fundamenta Informatica, Numéro 7, 2021, ISSN 0169-2968
Éditeur:
IOS Press
DOI:
10.1007/978-3-030-24886-4_15
Auteurs:
Lucas, Christophe; Mio, Matteo
Publié dans:
Proc. RAMiCS, Numéro 2, 2021
Éditeur:
Springer
DOI:
10.1007/978-3-030-88701-8_17
Auteurs:
Christophe Lucas, Matteo Mio
Publié dans:
Proc. FoSSaCS, 2019
Éditeur:
Springer
DOI:
10.1007/978-3-030-17127-8_24
Auteurs:
Christian Doczkal; Damien Pous
Publié dans:
Proc. CPP, Numéro 13, 2020
Éditeur:
ACM Press
DOI:
10.1145/3372885.3373831
Auteurs:
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Publié dans:
Proc. CALCO, 2021
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.calco.2021.11
Auteurs:
Doumane, Amina; Pous, Damien
Publié dans:
Proc. CONCUR, Numéro 23, 2020
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.29
Auteurs:
Pous, Damien; Rot, Jurriaan; Wagemaker, Jana
Publié dans:
Proc. RAMiCS, Numéro 8, 2021
Éditeur:
Springer
DOI:
10.1007/978-3-030-88701-8_23
Auteurs:
Kuperberg, Denis; Pinault, Laureline; Pous, Damien
Publié dans:
Proc. FSTTCS, Numéro 22, 2019
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.fsttcs.2019.45
Auteurs:
Pous, Damien
Publié dans:
Proc. CALCO, Numéro 6, 2019
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.calco.2019.4
Auteurs:
Das , Anupam; Pous , Damien
Publié dans:
Computer Science Logic, 2018
Éditeur:
Dagstuhl
DOI:
10.4230/LIPIcs.CSL.2018.18
Auteurs:
Damien Pous, Valeria Vignudelli
Publié dans:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 829-838, ISBN 9781-450355834
Éditeur:
ACM Press
DOI:
10.1145/3209108.3209172
Auteurs:
Christian Doczkal, Joachim Bard
Publié dans:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018, Page(s) 42-52, ISBN 9781-450355865
Éditeur:
ACM Press
DOI:
10.1145/3167088
Auteurs:
Doumane , Amina; Pous , Damien
Publié dans:
The 29th International Conference on Concurrency Theory (CONCUR), 2018
Éditeur:
Dagstuhl
DOI:
10.4230/LIPIcs.CONCUR.2018.18
Auteurs:
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Publié dans:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 364-373, ISBN 9781-450355834
Éditeur:
ACM Press
DOI:
10.1145/3209108.3209152
Auteurs:
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
Publié dans:
28th International Conference on Concurrency Theory - CONCUR 2017, 2017
Éditeur:
Dagstuhl
DOI:
10.4230/LIPIcs.CONCUR.2017.7
Auteurs:
Christian Doczkal ; Damien Pous
Publié dans:
Mathematical Foundations of Computer Science (MFCS), 2018
Éditeur:
Dagstuhl
DOI:
10.4230/LIPIcs.MFCS.2018.60
Auteurs:
Christian Doczkal, Guillaume Combette, Damien Pous
Publié dans:
International Conference on Interactive Theorem Proving (ITP), 2018, Page(s) 178-195
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-94821-8_11
Auteurs:
Bagnol , Marc; Kuperberg , Denis
Publié dans:
FSTTCS, 2018
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2018.16
Auteurs:
Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
Publié dans:
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Numéro 11425, 2019, Page(s) 207-223, ISBN 978-3-030-17126-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-17127-8_12
Auteurs:
Anupam Das, Amina Doumane, Damien Pous
Publié dans:
EPiC Series in Computing volume 57, 2018, Page(s) 271-251
Éditeur:
EasyChair
DOI:
10.29007/hzq3
Auteurs:
Henning Basold, Ekaterina Komendantskaya, Yue Li
Publié dans:
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Numéro 11423, 2019, Page(s) 783-813, ISBN 978-3-030-17183-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-17184-1_28
Auteurs:
Damien Pous
Publié dans:
STACS, 2018
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.stacs.2018.3
Auteurs:
Kuperberg, Denis; Pinault, Laureline; Pous, Damien
Publié dans:
Developments in Language Theory, 2019
Éditeur:
Springer
Auteurs:
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Publié dans:
Logic in Computer Science, 2019
Éditeur:
IEEE
Auteurs:
Das, Anupam; Pous, Damien
Publié dans:
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), 2017
Éditeur:
Springer Verlag
DOI:
10.1007/978-3-319-66902-1_16
Auteurs:
Pous, Damien; Rot, Jurriaan
Publié dans:
20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), 2017
Éditeur:
Springer Verlag
DOI:
10.1007/978-3-662-54458-7_7
Auteurs:
Basold, Henning; Pous, Damien; Rot, Jurriaan
Publié dans:
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
Éditeur:
LIPics - Dagstuhl
DOI:
10.4230/LIPIcs.CALCO.2017.5
Auteurs:
Damien Pous
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 307-316, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934564
Auteurs:
Malgorzata Biernacka, Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Publié dans:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12, ISBN 978-1-5090-3018-7
Éditeur:
IEEE
DOI:
10.1109/LICS.2017.8005118
Auteurs:
Cosme-Llópez, Enric; Pous, Damien
Publié dans:
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 2017
Éditeur:
LIPics - Dagstuhl
DOI:
10.4230/LIPIcs.MFCS.2017.76
Auteurs:
Brunet, Paul; Pous, Damien
Publié dans:
41st International Symposium on Mathematical Foundations of Computer Science (MFCS), 2016
Éditeur:
LIPics Dagstuhl
DOI:
10.4230/LIPIcs.MFCS.2016.22
Auteurs:
Brunet, Paul; Pous, Damien; Struth, Georg
Publié dans:
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
Éditeur:
LIPics - Dagstuhl
DOI:
10.4230/LIPIcs.CONCUR.2017.24
Auteurs:
Paul Brunet, Damien Pous, Insa Stucke
Publié dans:
7th international conference on Interactive Theorem Proving (ITP), 2016, Page(s) 466-474
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-43144-4_29
Auteurs:
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Publié dans:
Proc. LICS, 2021
Éditeur:
IEEE
DOI:
10.1109/lics52264.2021.9470717
Auteurs:
Amina Doumane
Publié dans:
Proc. RAMiCS, 2021
Éditeur:
Springer
DOI:
10.1007/978-3-030-88701-8_9
Auteurs:
Bréhard, Florent; Mahboubi, Assia; Pous, Damien
Publié dans:
Proc. ITP, Numéro 29, 2019
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.itp.2019.8
Auteurs:
Mio, Matteo; Vignudelli, Valeria
Publié dans:
Proc. CONCUR, Numéro 31, 2020
Éditeur:
Scchloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.28
Auteurs:
Hirschkoff D.; Prebet E.; Sangiorgi D.
Publié dans:
Proc. CONCUR, Numéro 26, 2020
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.concur.2020.34
Auteurs:
Amina Doumane
Publié dans:
Proc. MFCS, 2021
Éditeur:
Schloss Dagstuhl
DOI:
10.4230/lipics.mfcs.2021.41
Auteurs:
Doczkal, Christian
Publié dans:
Numéro 18, 2021
Éditeur:
HAL
Auteurs:
Pous, Damien
Publié dans:
HdR thesis, ENS Lyon, 2016, 2016
Éditeur:
ENS de Lyon
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible