J. Ouaknine
发表
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2008,
FORMATS.
J. Ouaknine,
J. Worrell,
2004,
LICS 2004.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
J. Ouaknine,
Joël Ouaknine,
2018
.
J. Ouaknine,
J. Worrell,
João Sousa-Pinto,
2016
.
A. W. Roscoe,
J. Ouaknine,
G. Lowe,
2014
.
E. Clarke,
J. Ouaknine,
D. Kroening,
2005
.
Joël Ouaknine,
James Worrell,
Stephan Kreutzer,
2009,
CONCUR.
J. Ouaknine,
J. Worrell,
Björn Wachter,
2013
.
J. Ouaknine,
Björn Wachter,
S. Kiefer,
2011
.
J. Ouaknine,
J. Worrell,
F. Luca,
2022,
MFCS.
A. W. Roscoe,
J. Ouaknine,
H. Palikareva,
2009
.
Joël Ouaknine,
James Worrell,
Jean-François Raskin,
2011,
ICALP.
E. Clarke,
J. Ouaknine,
D. Kroening,
2008
.
J. Biamonte,
B. Coecke,
J. Ouaknine,
2008
.
Christel Baier,
James Worrell,
Markus A. Whiteland,
2021,
CONCUR.
Joël Ouaknine,
James Worrell,
Florian Luca,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine,
James Worrell,
Eike Neumann,
2021,
ICALP.
James Worrell,
Michael W. Mislove,
J. Ouaknine,
2003
.
Joël Ouaknine,
J. Ouaknine,
2020,
FSTTCS.
Michael W. Mislove,
M. Mislove,
J. Ouaknine,
2007
.
Moshe Y. Vardi,
J. Ouaknine,
Axel Legay,
2018,
LICS.
R. Lipton,
J. Ouaknine,
J. Worrell,
2022,
LICS.
P. Bouyer,
J. Ouaknine,
J. Worrell,
2008
.
J. Ouaknine,
2000
.
J. Ouaknine,
I. Potapov,
Worrell,
2014
.
J. Ouaknine,
J. Worrell,
Engel Lefaucheux,
2022,
MFCS.
J. Ouaknine,
J. Worrell,
F. Luca,
2022,
MFCS.
J. Ouaknine,
J. Worrell,
Ventsislav Chonev,
2016
.
J. Ouaknine,
J. Worrell,
F. Luca,
2022,
2210.16959.
Markus A. Whiteland,
C. Baier,
J. Ouaknine,
2022,
CONCUR.
J. Ouaknine,
J. Worrell,
Nathanaël Fijalkow,
2019,
Theory of Computing Systems.
J. Ouaknine,
J. Worrell,
Nathanaël Fijalkow,
2022
.
J. Ouaknine,
D. Purser,
Engel Lefaucheux,
2022,
ArXiv.
J. Ouaknine,
J. Worrell,
T. Karimov,
2022,
MFCS.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2013,
J. ACM.
Joël Ouaknine,
Olaf Stursberg,
Edmund M. Clarke,
2003,
Int. J. Found. Comput. Sci..
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
CAV.
Joël Ouaknine,
Andrzej S. Murawski,
J. Ouaknine,
2005,
CONCUR.
Joël Ouaknine,
James Worrell,
Lijun Zhang,
2011,
ICALP.
Joël Ouaknine,
James Worrell,
Radu Grigore,
2015,
ICALP.
Joël Ouaknine,
James Worrell,
Michael W. Mislove,
2005,
Theor. Comput. Sci..
Joël Ouaknine,
James Worrell,
Michael W. Mislove,
2004,
FoSSaCS.
Joël Ouaknine,
James Worrell,
Michael W. Mislove,
2004,
EXPRESS.
Joël Ouaknine,
James Worrell,
Michael W. Mislove,
2003,
FoSSaCS.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2003,
Nordic Journal of Computing.
Joël Ouaknine,
A. W. Roscoe,
Gavin Lowe,
2014,
HOWARD-60.
Joël Ouaknine,
James Worrell,
Michael Goldsmith,
2012,
CAV.
Joël Ouaknine,
Steve A. Schneider,
J. Ouaknine,
2006,
APC 25.
Joël Ouaknine,
James Worrell,
Igor Potapov,
2018,
Theoretical Computer Science.
Joël Ouaknine,
James Worrell,
Thomas Colcombet,
2019,
International Colloquium on Automata, Languages and Programming.
Joël Ouaknine,
James Worrell,
Ehud Hrushovski,
2018,
LICS.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2013,
SODA.
Joël Ouaknine,
James Worrell,
Timos Antonopoulos,
2015,
Inf. Process. Lett..
Joël Ouaknine,
Gavin Lowe,
J. Ouaknine,
2006,
MFPS.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2003
.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2002,
EXPRESS.
Joël Ouaknine,
James Worrell,
Patricia Bouyer,
2017,
Models, Algorithms, Logics and Tools.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2003,
HSCC.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2014,
SODA.
Joël Ouaknine,
James Worrell,
Paul Hunter,
2012,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
ICALP.
Joël Ouaknine,
A. W. Roscoe,
Hristina Palikareva,
2012,
Sci. Comput. Program..
Joël Ouaknine,
James Worrell,
A. W. Roscoe,
2011,
CONCUR.
Joël Ouaknine,
James Worrell,
A. W. Roscoe,
2011
.
Joël Ouaknine,
J. Ouaknine,
Joël Ouaknine,
2002,
TACAS.
Joël Ouaknine,
James Worrell,
Axel Legay,
2008,
TACAS.
J. Ouaknine,
J. Worrell,
T. Karimov,
2022,
Principles of Systems Design.
Markus A. Whiteland,
J. Ouaknine,
J. Worrell,
2022,
Proc. ACM Program. Lang..
Joël Ouaknine,
James Worrell,
Shaull Almagor,
2020,
Proc. ACM Program. Lang..
Joël Ouaknine,
João Sousa Pinto,
James Worrell,
2018,
HSCC.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2015,
SIGL.
Joël Ouaknine,
J. Ouaknine,
2012,
SCSS.
Joël Ouaknine,
Charles W. Wampler,
Felix Arends,
2011,
WG.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2007,
Log. Methods Comput. Sci..
Joël Ouaknine,
James Worrell,
Christoph Haase,
2010,
ICALP.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2005,
International Journal on Software Tools for Technology Transfer.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
VMCAI.
Joël Ouaknine,
James Worrell,
Antonia Lechner,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Joël Ouaknine,
James Worrell,
A. W. Roscoe,
2008,
Fundam. Informaticae.
James Worrell,
Mehran Hosseini,
Joel Ouaknine,
2019,
ICALP.
J. Ouaknine,
J. Worrell,
João Sousa Pinto,
2014,
SODA.
Joël Ouaknine,
James Worrell,
A. W. Roscoe,
2013,
Log. Methods Comput. Sci..
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Joël Ouaknine,
Helmut Veith,
Sagar Chaki,
2005,
IFM.
Joël Ouaknine,
James Worrell,
Ranko Lazic,
2013,
MFCS.
Joël Ouaknine,
James Worrell,
Patricia Bouyer,
2008,
ICALP.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2006,
FoSSaCS.
Alex Groce,
Joël Ouaknine,
Sagar Chaki,
2004,
Formal Methods Syst. Des..
J. Ouaknine,
J. Worrell,
João Sousa Pinto,
2015,
ArXiv.
James Worrell,
Eike Neumann,
Joël Ouaknine,
2020,
CONCUR.
Joël Ouaknine,
James Worrell,
Hsi-Ming Ho,
2014,
RV.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
CAV.
S. Seshia,
J. Ouaknine,
D. Kroening,
2004
.
J. Ouaknine,
Engel Lefaucheux,
Mohammadamin Sharifi,
2022,
TACAS.
Joël Ouaknine,
James Worrell,
Patricia Bouyer,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Joël Ouaknine,
A. W. Roscoe,
Hristina Palikareva,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2003,
SoftMC@CAV.
Joël Ouaknine,
James Worrell,
Christoph Haase,
2010,
Reflections on the Work of C. A. R. Hoare.
Joël Ouaknine,
Daniel Kroening,
Björn Wachter,
2013,
2013 Formal Methods in Computer-Aided Design.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2013,
ICALP.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2013,
ArXiv.
Markus A. Whiteland,
J. Ouaknine,
J. Worrell,
2021
.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2013,
Log. Methods Comput. Sci..
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
FoSSaCS.
Joël Ouaknine,
Hsi-Ming Ho,
J. Ouaknine,
2014,
FoSSaCS.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2013,
ICALP.
J. Ouaknine,
J. Worrell,
T. Karimov,
2020,
2010.14432.
Joël Ouaknine,
James Worrell,
Alexander Moshe Rabinovich,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Joël Ouaknine,
James Worrell,
Alexander Moshe Rabinovich,
2011,
CSL.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Philippe Schnoebelen,
Joël Ouaknine,
James Worrell,
2012,
Formal Aspects of Computing.
Philippe Schnoebelen,
Joël Ouaknine,
James Worrell,
2008,
STACS.
Joël Ouaknine,
James Worrell,
J. Ouaknine,
2006,
TACAS.
Joël Ouaknine,
James Worrell,
Thomas Colcombet,
2019,
ICALP.
Joël Ouaknine,
James Worrell,
Christoph Haase,
2012,
FoSSaCS.
J. Ouaknine,
Edon Kelmendi,
Faraz Ghahremani,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine,
Frits W. Vaandrager,
F. Vaandrager,
2009
.
Markus A. Whiteland,
Pieter Moree,
Joel Ouaknine,
2020,
MFCS.
J. Ouaknine,
J. Worrell,
Björn Wachter,
2013,
Formal Methods Syst. Des..