Alain Giorgetti

发表

Alain Giorgetti, Ahmed Hammad, Bruno Tatibouët, 2010, 2010 First Workshop on Hardware and Software Implementation and Control of Distributed MEMS.
Fabrice Bouquet, Bruno Legeard, Alain Giorgetti, 2003 .
Alain Giorgetti, Olga Kouchnarenko, Elena Tushkanova, 2009 .
Fabrice Bouquet, Alain Giorgetti, Ivan Enderlin, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Alain Giorgetti, Walid Belkhir, 2011, WRS.
Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .
Alain Giorgetti, Julien Groslambert, Alain Giorgetti, 2006, FASE.
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls, 2009, FM 2009.
Alain Giorgetti, Catherine Dubois, 2018, Formal Aspects of Computing.
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2011, TAP@TOOLS.
Noam Zeilberger, Alain Giorgetti, 2015, Log. Methods Comput. Sci..
Jean-François Couchot, Alain Giorgetti, Frédéric Dadeau, 2004, WMF.
Alain Giorgetti, Catherine Dubois, Richard Genestier, 2016, TAP@STAF.
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2011 .
Alain Giorgetti, Jacques Julliand, Olga Kouchnarenko, 2008, IET Softw..
Alain Giorgetti, Jean-Luc Baril, Armen Petrossian, 2016, Discret. Math..
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2015, TAP@STAF.
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2012, SAC '12.
Jean-François Couchot, Alain Giorgetti, Silvio Ranise, 2003, J. Braz. Comput. Soc..
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2018, Formal Aspects of Computing.
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2012, WRLA.
Michel Lenczner, Alain Giorgetti, Walid Belkhir, 2014, J. Symb. Comput..
Alain Giorgetti, Timothy R. S. Walsh, Alexander D. Mednykh, 2012, Discret. Math..
Didier Arquès, Alain Giorgetti, 2000, Theor. Comput. Sci..
Alain Giorgetti, Frédéric Dadeau, Ivan Enderlin, 2011, ICTSS.
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2015, Sci. Comput. Program..
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2013, RTA.
Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2014, TAP@STAF.
Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007 .
Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007, B.
Claude Marché, Alain Giorgetti, Olga Kouchnarenko, 2010, LDTA.
Claude Marché, Alain Giorgetti, Olga Kouchnarenko, 2009 .
Alain Giorgetti, Guillaume Petiot, Richard Genestier, 2015, TAP@STAF.
Nikolai Kosmatov, Jean-François Couchot, Alain Giorgetti, 2005, ASE '05.
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2014 .
Alain Giorgetti, Timothy R. S. Walsh, 2018, Ars Math. Contemp..
Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2010, TAP@TOOLS.
Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2014 .
Alain Giorgetti, Gérard Cécé, 2011, Developments in Language Theory.
Fabrice Bouquet, Alexandre Vernotte, Alain Giorgetti, 2014 .
Alain Giorgetti, Alain Giorgetti, 2003, Theor. Comput. Sci..
Michel Lenczner, Alain Giorgetti, Bin Yang, 2011 .
Alain Giorgetti, Valerio Senni, Alain Giorgetti, 2012 .
Alain Giorgetti, Alain Giorgetti, 2017 .
Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2018, J. Syst. Softw..
Alain Giorgetti, Alexander D. Mednykh, 2011, Ars Math. Contemp..
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2015 .
Alain Giorgetti, Metod Saniga, Henri de Boutray, 2021, Mathematics.
Alain Giorgetti, Pierre-Alain Masson, Hamza Jaffali, 2020, Quantum Information Processing.
Alain Giorgetti, Pierre-Alain Masson, Henri de Boutray, 2021 .
Alain Giorgetti, Metod Saniga, Michel Planat, 2013, 1310.4267.
Alain Giorgetti, Walid Belkhir, 2011 .
Alain Giorgetti, Gérard Cécé, 2010 .
Alain Giorgetti, Julien Groslambert, 2007 .
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2012 .
Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko, 2013 .