io-port 06096728 Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire

Log. Methods Comput. Sci. 8, No. 3, Paper No. 23, 20 p. (2012).

io-port 06052248 Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc

Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p., electronic only (2012).

io-port 05945200 Leroux, Jérôme

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 327-341 (2011).

io-port 05940711 Bardin, Sébastien; Herrmann, Philippe; Leroux, Jérôme; Ly, Olivier; Tabary, Renaud; Vincent, Aymeric

Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 165-170 (2011).

io-port 05903553 Leroux, Jérôme

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26‒31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 41-64 (2011).

io-port 50285309 Gugl, Elisabeth; Leroux, Justin

Mathematical Social Sciences 62, No. 3, 133-143 (2011).

io-port 70004821 Leroux, Jérôme

CONCUR, 327-341 (2011).

io-port 70150465 Leroux, Jérôme

LATA, 41-64 (2011).

io-port 70321494 Leroux, Jérôme

POPL, 307-316 (2011).

io-port 70759939 Bardin, Sébastien; Herrmann, Philippe; Leroux, Jérôme; Ly, Olivier; Tabary, Renaud; Vincent, Aymeric

CAV, 165-170 (2011).

io-port 06073531 Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15‒18, 2010, Chennai, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPICS ‒ Leibniz International Proceedings in Informatics 8, 192-203, electronic only (2010).

io-port 05798917 Kroening, Daniel; Leroux, Jérôme; Rümmer, Philipp

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 489-503 (2010).

io-port 05789409 Leroux, Jérôme

Log. Methods Comput. Sci. 6, No. 3, Paper No. 22, 25 p., electronic only (2010).

io-port 05702296 Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire

Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 267-281 (2010).

io-port 50285197 Albizuri, M. Josune; Leroux, J.; Zarzuelo, José Manuel

Mathematical Social Sciences 60, No. 2, 144-148 (2010).

io-port 70210440 Kroening, Daniel; Leroux, Jérôme; Rümmer, Philipp

LPAR (Yogyakarta), 489-503 (2010).

io-port 70944991 Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire

FOSSACS, 267-281 (2010).

io-port 70960104 Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc

FSTTCS, 192-203 (2010).

io-port 05631992 Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard

Albers, Susanne (ed.) et al., Efficient algorithms. Essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-03455-8/pbk). Lecture Notes in Computer Science 5760, 422-437 (2009).

io-port 05587957 Boigelot, Bernard; Brusten, Julien; Leroux, Jérôme

Schmidt, Renate A. (ed.), Automated deduction ‒ CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2‒7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 469-484 (2009).