by Brihaye, Thomas, Doyen, Laurent, Geeraerts, Gilles, Ouaknine, Joël, Raskin, Jean-François, Worrell, James
Published in Automata, Languages and Programming

by Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjoern, Worrell, James
Published in Logical methods in computer science (04.03.2013)

by Lefaucheux, Engel, Ouaknine, Joël, Purser, David, Worrell, James
Published in Formal methods in system design (2024)

by Almagor, Shaull, Ouaknine, Joël, Worrell, James
Published in Theory of computing systems (01.05.2021)

by Ouaknine, Joël, Worrell, James
Published in Automata, Languages, and Programming

by Ouaknine, Joël, Worrell, James
Published in Automata, Languages, and Programming

by Akshay, S., Antonopoulos, Timos, Ouaknine, Joël, Worrell, James
Published in Information processing letters (01.02.2015)

by Ouaknine, Joel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)

by Fried, Dror, Legay, Axel, Ouaknine, Joël, Vardi, Moshe Y.
Published in Logical methods in computer science (01.01.2022)

by Drucker, Nir, Ho, Hsi-Ming, Ouaknine, Joël, Penn, Michal, Strichman, Ofer
Published in Journal of computer and system sciences (01.08.2019)

by Luca, Florian, Ouaknine, Joel, Worrell, James
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Bundala, Daniel, Ouaknine, Joel
Published in Information and computation (01.04.2017)

by Almagor, Shaull, Karimov, Toghrul, Kelmendi, Edon, Ouaknine, Joël, Worrell, James
Published in Proceedings of ACM on programming languages (01.01.2021)

by Ouaknine, Joel, Worrell, James
Published in Logical methods in computer science (28.02.2007)

by Karimov, Toghrul, Lefaucheux, Engel, Ouaknine, Joël, Purser, David, Varonka, Anton, Whiteland, Markus A., Worrell, James
Published in Proceedings of ACM on programming languages (16.01.2022)

by Fijalkow, Nathanaël, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James
Published in Theory of computing systems (01.07.2019)

by Haase, Christoph, Ouaknine, Joël, Worrell, James
Published in Fundamenta informaticae (04.03.2016)

by Ouaknine, Joël, Worrell, James
Published in Formal Modeling and Analysis of Timed Systems

by Hsi-Ming Ho, Joël Ouaknine, James Worrell
Published in Logical methods in computer science (01.01.2019)

by Bouyer, Patricia, Laroussinie, François, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published in Models, Algorithms, Logics and Tools (01.01.2017)