Publications
Auteurs:
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Publié dans:
46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Numéro 202, 2021, Page(s) 33:1--33:21
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2021.33
Auteurs:
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
Publié dans:
46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Numéro 202, 2021, Page(s) 67:1--67:15
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2021.67
Auteurs:
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Publié dans:
47th International Colloquium on Automata, Languages, and Programming (ICALP), Numéro 168, 2020, Page(s) 107:1--107:15
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2020.107
Auteurs:
Eike Neumann, Joël Ouaknine, James Worrell
Publié dans:
48th International Colloquium on Automata, Languages, and Programming (ICALP), Numéro 198, 2021, Page(s) 99:1--99:20
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.99
Auteurs:
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Publié dans:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Numéro 182, 2020, Page(s) 36:1--36:17
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2020.36
Auteurs:
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
Publié dans:
46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Numéro 202, 2021, Page(s) 34:1--34:21
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2021.34
Auteurs:
Florian Luca, Joel Ouaknine, James Worrell
Publié dans:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-6, ISBN 978-1-6654-4895-6
Éditeur:
IEEE
DOI:
10.1109/lics52264.2021.9470513
Auteurs:
Joel Ouaknine, Amaury Pouly, Joao Sousa-Pinto, James Worrell
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 798-806, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934538
Auteurs:
Ventsislav Chonev, Joël Ouaknine, James Worrell
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 515-524, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934548
Auteurs:
Bruna, Maria; Grigore, Radu; Kiefer, Stefan; Ouaknine, Joël; Worrell, James
Publié dans:
43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2016.104
Auteurs:
Ventsislav Chonev, Joel Ouaknine, and James Worrell
Publié dans:
43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2016.100
Auteurs:
Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly, and James Worrell
Publié dans:
27th International Conference on Concurrency Theory (CONCUR), 2016
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2016.29
Auteurs:
Nathanael Fijalkow, Pierre Ohlmann, Joel Ouaknine, Amaury Pouly, and James Worrell
Publié dans:
34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.STACS.2017.29
Auteurs:
Shaull Almagor, Joel Ouaknine, and James Worrell
Publié dans:
44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2017.24
Auteurs:
Joel Ouaknine, Joao Sousa-Pinto, James Worrell
Publié dans:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017, Page(s) 11-17, ISBN 9781-450345903
Éditeur:
ACM Press
DOI:
10.1145/3049797.3049798
Auteurs:
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Publié dans:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 530-539, ISBN 9781-450355834
Éditeur:
ACM Press
DOI:
10.1145/3209108.3209142
Auteurs:
Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
Publié dans:
45th International Colloquium on Automata, Languages, and Programming, ICALP, Numéro 107, 2018, Page(s) 114:1--114:14, ISBN 978-3-95977-076-7
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2018.114
Auteurs:
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
Publié dans:
Proceedings, Theoretical Aspects of Computing (ICTAC) 2018 - 15th International Colloquium, Numéro 11187, 2018, Page(s) 472--492, ISBN 978-3-030-02507-6
Éditeur:
Springer
Auteurs:
Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James
Publié dans:
29th International Conference on Concurrency Theory, CONCUR, Numéro 118, 2018, Page(s) 42:1--42:15, ISBN 978-3-95977-087-3
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2018.42
Auteurs:
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Publié dans:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, Numéro Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018, Page(s) 432-441, ISBN 9781-450355834
Éditeur:
ACM Press
DOI:
10.1145/3209108.3209203
Auteurs:
Shaull Almagor, Joel Ouaknine, James Worrell
Publié dans:
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS), Numéro LIPIcs 126, 2019, Page(s) 6:1--6:15
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.stacs.2019.6
Auteurs:
Thomas Colcombet, Joel Ouaknine, Pavel Semukhin, James Worrell
Publié dans:
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Numéro LIPIcs 132, 2019, Page(s) 44:1-44:15
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2019.44
Auteurs:
Mehran Hosseini, Joel Ouaknine, James Worrell
Publié dans:
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Numéro LIPIcs 132, 2019, Page(s) 118:1-118:13
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2019.118
Auteurs:
Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Publié dans:
Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19, 2019, Page(s) 77-86, ISBN 9781-450362825
Éditeur:
ACM Press
DOI:
10.1145/3302504.3311796
Auteurs:
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
Publié dans:
45th International Symposium on Symbolic and Algebraic Computation (ISSAC), Numéro 20 July 2020, 2020, Page(s) 289-296
Éditeur:
ACM
DOI:
10.1145/3373207.3404036
Auteurs:
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Publié dans:
32nd International Conference on Concurrency Theory (CONCUR), Numéro 203, 2021, Page(s) 28:1--28:17
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2021.28
Auteurs:
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
Publié dans:
37th International Symposium on Theoretical Aspects of Computer Science (STACS), Numéro 154, 2020, Page(s) 49:1-49:11, ISBN 978-3-95977-140-5
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2020.49
Auteurs:
Toghrul Karimov, Joël Ouaknine, James Worrell
Publié dans:
45th International Symposium on Mathematical Foundations of Computer Science (MFCS), Numéro 170, 2020, Page(s) 54:1--54:14
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2020.54
Auteurs:
Eike Neumann, Joël Ouaknine, James Worrell
Publié dans:
31st International Conference on Concurrency Theory (CONCUR), Numéro 171, 2020, Page(s) 15:1--15:15
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2020.15
Auteurs:
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Publié dans:
31st International Conference on Concurrency Theory (CONCUR), Numéro 171, 2020, Page(s) 32:1--32:17
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2020.32
Auteurs:
TOGHRUL KARIMOV, ENGEL LEFAUCHEUX, JOËL OUAKNINE, DAVID PURSER, ANTON VARONKA, MARKUS A. WHITELAND, JAMES WORRELL
Publié dans:
Proceedings of the ACM Symposium on Programming Languages, Numéro 6/POPL, 2022, Page(s) 1-25, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3498727
Auteurs:
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-24, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3434329
Auteurs:
Ventsislav Chonev, Joël Ouaknine, James Worrell
Publié dans:
Journal of the ACM, Numéro 63/3, 2016, Page(s) 1-18, ISSN 0004-5411
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/2857050
Auteurs:
Ranko Lazić, Joël Ouaknine, James Worrell
Publié dans:
ACM Transactions on Computational Logic, Numéro 17/3, 2016, Page(s) 1-27, ISSN 1529-3785
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/2874774
Auteurs:
Daniel Bundala, Joel Ouaknine
Publié dans:
Information and Computation, Numéro 253, 2017, Page(s) 272-303, ISSN 0890-5401
Éditeur:
Academic Press
DOI:
10.1016/j.ic.2016.07.011
Auteurs:
Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Publié dans:
Journal of Computer and System Sciences, Numéro 103, 2019, Page(s) 18-45, ISSN 0022-0000
Éditeur:
Academic Press
DOI:
10.1016/j.jcss.2019.02.002
Auteurs:
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Publié dans:
Theory of Computing Systems, Numéro 63/5, 2019, Page(s) 1027-1048, ISSN 1432-4350
Éditeur:
Springer Verlag
DOI:
10.1007/s00224-019-09913-3
Auteurs:
Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Publié dans:
Journal of the ACM, Numéro 66/3, 2019, Page(s) 1-24, ISSN 0004-5411
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3286487
Auteurs:
Shaull Almagor, Joël Ouaknine, James Worrell
Publié dans:
Theory of Computing Systems, Numéro 65/4, 2021, Page(s) 638-661, ISSN 1432-4350
Éditeur:
Springer Verlag
DOI:
10.1007/s00224-020-09976-7
Auteurs:
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Publié dans:
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Numéro 11822, 2019, Page(s) 162-180, ISBN 978-3-030-32303-5
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-32304-2_9
Auteurs:
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Publié dans:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II, Numéro 12760, 2021, Page(s) 172-194, ISBN 978-3-030-81687-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-81688-9_8
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible