Joël Ouaknine

发表

Joël Ouaknine, James Worrell, Jean-François Raskin, 2013, ATVA.
Joël Ouaknine, James Worrell, Christoph Haase, 2010, ICALP.
Joël Ouaknine, Gavin Lowe, J. Ouaknine, 2006, MFPS.
Joël Ouaknine, James Worrell, 2012, RP.
Philippe Schnoebelen, Joël Ouaknine, James Worrell, 2012, Formal Aspects of Computing.
Joël Ouaknine, James Worrell, Shaull Almagor, 2018, CONCUR.
Joël Ouaknine, James Worrell, J. Worrell, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Joël Ouaknine, Michael W. Mislove, 2011, MFPS.
Joël Ouaknine, James Worrell, Patricia Bouyer, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Joël Ouaknine, James Worrell, J. Ouaknine, 2013, ICALP.
Joël Ouaknine, James Worrell, Amaury Pouly, 2016, CONCUR 2016.
Joël Ouaknine, James Worrell, Daniel Bundala, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Joël Ouaknine, Daniel Bundala, 2017, Inf. Comput..
Joël Ouaknine, James Worrell, Antonia Lechner, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2015, ArXiv.
Joël Ouaknine, A. W. Roscoe, Gavin Lowe, 2014, HOWARD-60.
Joël Ouaknine, James Worrell, J. Ouaknine, 2003 .
Joël Ouaknine, Andrzej S. Murawski, J. Ouaknine, 2005, CONCUR.
Joël Ouaknine, James Worrell, Michael Goldsmith, 2012, CAV.
Joël Ouaknine, James Worrell, J. Ouaknine, 2013, ICALP.
Joël Ouaknine, James Worrell, J. Ouaknine, 2003, Nordic Journal of Computing.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2013, J. ACM.
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2007, FSEN'07.
Joël Ouaknine, James Worrell, Patricia Bouyer, 2010, FSTTCS.
Joël Ouaknine, James Worrell, J. Ouaknine, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2012, CAV.
Alex Groce, Joël Ouaknine, Sagar Chaki, 2004, Formal Methods Syst. Des..
Joël Ouaknine, James Worrell, Shaull Almagor, 2020, Proc. ACM Program. Lang..
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2005, ICALP.
Joël Ouaknine, James Worrell, Jean-François Raskin, 2012, ArXiv.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2012, Formal Aspects of Computing.
Joël Ouaknine, James Worrell, Patricia Bouyer, 2017, Models, Algorithms, Logics and Tools.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2011, CAV.
Joël Ouaknine, Alain Finkel, Pierre McKenzie, 2014, Dagstuhl Reports.
Joël Ouaknine, Daniel Kroening, Ofer Strichman, 2005, International Journal on Software Tools for Technology Transfer.
Joël Ouaknine, Hsi-Ming Ho, 2014, ArXiv.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2015, ArXiv.
Joël Ouaknine, Max I. Kanovich, Christoph Haase, 2014, FoSSaCS.
Joël Ouaknine, James Worrell, Paul Hunter, 2012, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Joël Ouaknine, A. W. Roscoe, Hristina Palikareva, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2011, FoSSaCS.
Joël Ouaknine, James Worrell, Alexander Moshe Rabinovich, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Joël Ouaknine, Charles W. Wampler, Felix Arends, 2011, WG.
Joël Ouaknine, James Worrell, Pierre Ohlmann, 2017, STACS.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2013, Formal Methods Syst. Des..
Joël Ouaknine, Helmut Veith, Sagar Chaki, 2005, IFM.
Joël Ouaknine, J. Ouaknine, 2012, SCSS.
Joël Ouaknine, James Worrell, Pierre Ohlmann, 2019, Theory of Computing Systems.
Joël Ouaknine, James Worrell, Matthew J. Parkinson, 2011, CONCUR.
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2004, IFM.
Joël Ouaknine, Sagar Chaki, Murray Stokely, 2006, Electron. Notes Theor. Comput. Sci..
Joël Ouaknine, James Worrell, Igor Potapov, 2018, Theoretical Computer Science.
Joël Ouaknine, James Worrell, J. Worrell, 2010, ICALP.
Joël Ouaknine, James Worrell, Christoph Haase, 2012, RP.
Joël Ouaknine, Daniel Kroening, Ofer Strichman, 2009, International Journal on Software Tools for Technology Transfer.
Joël Ouaknine, James Worrell, Hsi-Ming Ho, 2019, Log. Methods Comput. Sci..
Joël Ouaknine, James Worrell, Ranko Lazic, 2016, ACM Trans. Comput. Log..
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..
Joël Ouaknine, Edmund M. Clarke, Klaus Sutner, 2003 .
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2013, STOC '13.
Joël Ouaknine, James Worrell, Michael W. Mislove, 2005, Theor. Comput. Sci..
Joël Ouaknine, João Sousa Pinto, James Worrell, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2003, SoftMC@CAV.
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2005, Formal Aspects of Computing.
Joël Ouaknine, 2017, LICS.
Joël Ouaknine, James Worrell, J. Ouaknine, 2006, TACAS.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2015, ICALP.
Joël Ouaknine, James Worrell, J. Ouaknine, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Joël Ouaknine, James Worrell, Sara Adams, 2007, FORMATS.
Joël Ouaknine, Daniel Kroening, Ofer Strichman, 2004, CAV.
Joël Ouaknine, James Worrell, Jean-François Raskin, 2011, ICALP.
Joël Ouaknine, Axel Legay, Moshe Y. Vardi, 2018, LICS.
Joël Ouaknine, James Worrell, Christoph Haase, 2016, Fundam. Informaticae.
Joël Ouaknine, J. Ouaknine, Joël Ouaknine, 2002, TACAS.
Joël Ouaknine, James Worrell, Stephan Kreutzer, 2009, CONCUR.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2013, Log. Methods Comput. Sci..
Joël Ouaknine, James Worrell, Amaury Pouly, 2018, Log. Methods Comput. Sci..
Joël Ouaknine, Daniel Bundala, 2013, ArXiv.
Joël Ouaknine, Daniel Kroening, Björn Wachter, 2013, 2013 Formal Methods in Computer-Aided Design.
Joël Ouaknine, James Worrell, J. Ouaknine, 2008, FORMATS.
Joël Ouaknine, João Sousa Pinto, James Worrell, 2019, J. ACM.
Joël Ouaknine, James Worrell, A. W. Roscoe, 2008, Fundam. Informaticae.
Joël Ouaknine, James Worrell, Hsi-Ming Ho, 2014, RV.
Joël Ouaknine, Daniel Bundala, 2014, MFCS.
Joël Ouaknine, James Worrell, A. W. Roscoe, 2013, Log. Methods Comput. Sci..
Joël Ouaknine, James Worrell, Lijun Zhang, 2011, ICALP.
Joël Ouaknine, James Worrell, J. Ouaknine, 2002, EXPRESS.
Joël Ouaknine, James Worrell, A. W. Roscoe, 2011, CONCUR.
Joël Ouaknine, James Worrell, Ehud Hrushovski, 2018, LICS.
Joël Ouaknine, Hsi-Ming Ho, J. Ouaknine, 2014, FoSSaCS.
Joël Ouaknine, James Worrell, Rupak Majumdar, 2020, CONCUR.
Joël Ouaknine, James Worrell, Amaury Pouly, 2016, CONCUR.
Joël Ouaknine, James Worrell, J. Ouaknine, 2013, SODA.
Joël Ouaknine, James Worrell, Shaull Almagor, 2019, STACS.
Joël Ouaknine, James Worrell, Radu Grigore, 2015, ICALP.
Joël Ouaknine, James Worrell, Esther Galby, 2015, STACS.
Joël Ouaknine, James Worrell, Thomas Colcombet, 2019, International Colloquium on Automata, Languages and Programming.
Joël Ouaknine, João Sousa Pinto, James Worrell, 2018, HSCC.
Joël Ouaknine, Keye Martin, 2004, Electron. Notes Theor. Comput. Sci..
Joël Ouaknine, Alexandra Silva, Justin Hsu, 2018, ICTAC.
Joël Ouaknine, James Worrell, Christoph Haase, 2012, FoSSaCS.
Joël Ouaknine, James Worrell, Patricia Bouyer, 2008, ICALP.
Joël Ouaknine, A. W. Roscoe, Hristina Palikareva, 2012, Sci. Comput. Program..
Joël Ouaknine, James Worrell, Shaull Almagor, 2017, ICALP.
Joël Ouaknine, Olaf Stursberg, Edmund M. Clarke, 2003, Int. J. Found. Comput. Sci..
Joël Ouaknine, 2019, CONCUR.
Parosh Aziz Abdulla, Joël Ouaknine, James Worrell, 2008, Fundam. Informaticae.
Joël Ouaknine, James Worrell, Axel Legay, 2008, TACAS.
Joël Ouaknine, James Worrell, Ranko Lazic, 2013, MFCS.
Joël Ouaknine, James Worrell, Kim G. Larsen, 1995, FCT.
Joël Ouaknine, Daniel Kroening, Ofer Strichman, 2007, TACAS.
Joël Ouaknine, 2013, LATA.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2014, SODA.
Joël Ouaknine, Daniel Kroening, Ofer Strichman, 2004, VMCAI.
Joël Ouaknine, James Worrell, J. Ouaknine, 2003, HSCC.
Joël Ouaknine, James Worrell, Christoph Haase, 2010, Reflections on the Work of C. A. R. Hoare.
Joël Ouaknine, James Worrell, Shaull Almagor, 2018, ICALP.
Joël Ouaknine, James Worrell, Thomas Colcombet, 2019, ICALP.
Joël Ouaknine, Ofer Strichman, Hsi-Ming Ho, 2019, J. Comput. Syst. Sci..
Joël Ouaknine, James Worrell, J. Ouaknine, 2006, FoSSaCS.
Joël Ouaknine, James Worrell, Ventsislav Chonev, 2015, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine, James Worrell, Michael W. Mislove, 2003, FoSSaCS.
Joël Ouaknine, James Worrell, Alexander Moshe Rabinovich, 2009, CONCUR.
Joël Ouaknine, James Worrell, Alexander Moshe Rabinovich, 2011, CSL.
Joël Ouaknine, Matthew J. Parkinson, Christoph Haase, 2013, CAV.
Joël Ouaknine, James Worrell, Timos Antonopoulos, 2015, Inf. Process. Lett..
Joël Ouaknine, Inês Lynce, 2006, ISAIM.
Joël Ouaknine, James Worrell, J. Ouaknine, 2013, ArXiv.
Philippe Schnoebelen, Joël Ouaknine, James Worrell, 2008, STACS.
Joël Ouaknine, Steve A. Schneider, J. Ouaknine, 2006, APC 25.
Joël Ouaknine, João Sousa Pinto, James Worrell, 2015, HSCC.
Joël Ouaknine, James Worrell, Michael W. Mislove, 2004, FoSSaCS.
Joël Ouaknine, James Worrell, Daniel Kroening, 2011, CAV.
Joël Ouaknine, James Worrell, Michael W. Mislove, 2004, EXPRESS.
Joël Ouaknine, James Worrell, J. Ouaknine, 2007, Log. Methods Comput. Sci..
Joël Ouaknine, George M. Reed, 1999, PDPTA.
Joël Ouaknine, James Worrell, J. Ouaknine, 2015, SIGL.
Joël Ouaknine, James Worrell, Eike Neumann, 2021, ICALP.
Joël Ouaknine, James Worrell, Rupak Majumdar, 2021, MFCS.
Joël Ouaknine, Slawomir Lasota, Igor Potapov, 2021, Inf. Comput..
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, Shaull Almagor, 2020, Theory of Computing Systems.
Joël Ouaknine, James Worrell, A. W. Roscoe, 2011 .