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