Marc Aiguier
发表
Marc Aiguier,
Christophe Gaston,
Pascale Le Gall,
2000,
FIREworks.
Marc Aiguier,
Delphine Longuet,
D. Longuet,
2010,
Logica Universalis.
Marc Aiguier,
Pascale Le Gall,
Ivan Junier,
2009,
BICoB.
Marc Aiguier,
Pascale Le Gall,
Bruno Marre,
2005,
FATES.
Marc Aiguier,
Pascal Poizat,
Fabrice Barbier,
2002
.
Marc Aiguier,
Pascal Poizat,
Fabrice Barbier,
2004,
Electron. Notes Theor. Comput. Sci..
Marc Aiguier,
Delphine Longuet,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Marc Aiguier,
Fabrice Barbier,
2007,
Stud Logica.
Marc Aiguier,
Delphine Longuet,
Diane Bahrami,
2006,
FSEN.
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
pdf
Isabelle Bloch,
Marc Aiguier,
I. Bloch,
2017,
ArXiv.
Marc Aiguier,
Pascale Le Gall,
Mbarka Mabrouki,
2008
.
Marc Aiguier,
Christophe Gaston,
Pascale Le Gall,
2002,
Ninth Asia-Pacific Software Engineering Conference, 2002..
Marc Aiguier,
Pascale Le Gall,
Agnès Arnould,
2016,
Softw. Test. Verification Reliab..
Marc Aiguier,
Pascale Le Gall,
Jean-Paul Comet,
2008,
AB.
Marc Aiguier,
Agnès Arnould,
Laurent Fuchs,
2006,
2006 International Conference on Software Engineering Advances (ICSEA'06).
Marc Aiguier,
Pascale Le Gall,
Mbarka Mabrouki,
2008,
2008 The Third International Conference on Software Engineering Advances.
Marc Aiguier,
Christophe Gaston,
Frédéric Boulanger,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
Marc Aiguier,
Christophe Gaston,
Arnault Lapitre,
2009,
2009 Fourth International Conference on Software Engineering Advances.
Isabelle Bloch,
Marc Aiguier,
Jamal Atif,
2015,
ArXiv.
Marc Aiguier,
2004,
J. Log. Comput..
Isabelle Bloch,
Marc Aiguier,
I. Bloch,
2019,
J. Appl. Non Class. Logics.
Marc Aiguier,
Gilles Bernot,
J. Benzakki,
1997
.
Isabelle Bloch,
Marc Aiguier,
Jamal Atif,
2018,
Int. J. Approx. Reason..
Marc Aiguier,
Franck Delaplace,
Roxane Adle,
2000,
Euro-Par.
Marc Aiguier,
Pascale Le Gall,
Mbarka Mabrouki,
2009
.
Marc Aiguier,
Pascale Le Gall,
Agnès Arnould,
2007,
FSEN'07.
Isabelle Bloch,
Marc Aiguier,
Ramón Pino Pérez,
2020,
ArXiv.
Marc Aiguier,
Diane Bahrami,
Diane Bahrami,
2003,
Tech. Sci. Informatiques.
Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases
pdf
Isabelle Bloch,
Marc Aiguier,
Jamal Atif,
2015,
ArXiv.
Marc Aiguier,
Christophe Gaston,
Pascale Le Gall,
2005
.
Marc Aiguier,
Delphine Longuet,
2009,
ICTAC.
Marc Aiguier,
Pascale Le Gall,
Mbarka Mabrouki,
2008,
2008 15th Asia-Pacific Software Engineering Conference.
Marc Aiguier,
Stefan Beroff,
1998
.
Marc Aiguier,
Razvan Diaconescu,
2007,
Inf. Process. Lett..
Marc Aiguier,
Adrien Richard,
Pascale Le Gall,
2011,
Math. Comput. Sci..
Isabelle Bloch,
Marc Aiguier,
Alexandre Goy,
2019,
ISMM.
Marc Aiguier,
Diane Bahrami,
M. Aiguier,
2007,
Journal of Automated Reasoning.
Marc Aiguier,
Frédéric Boulanger,
Bilal Kanso,
2012,
Theor. Comput. Sci..
Marc Aiguier,
Daniel Krob,
Boris Golden,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Marc Aiguier,
Pascale Le Gall,
Delphine Longuet,
2005,
12th Asia-Pacific Software Engineering Conference (APSEC'05).
Isabelle Bloch,
Marc Aiguier,
Jamal Atif,
2015,
Artif. Intell..
Marc Aiguier,
Pascale Le Gall,
Delphine Longuet,
2009,
Journal of Automated Reasoning.
Marc Aiguier,
Bilal Kanso,
B. Kanso,
2014,
Sci. Ann. Comput. Sci..
Isabelle Bloch,
Marc Aiguier,
Jamal Atif,
2015,
ArXiv.
Marc Aiguier,
Christophe Gaston,
Boutheina Bannour,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Marc Aiguier,
Pascale Le Gall,
Karim Berkani,
2006,
FM.
Marc Aiguier,
Pascale Le Gall,
Gilles Bernot,
1994,
Sci. Comput. Program..
Marc Aiguier,
Franck Delaplace,
Roxane Adle,
2005,
J. Parallel Distributed Comput..
Marc Aiguier,
Catherine Dubois,
Diane Bahrami,
2002,
AISC.
Marc Aiguier,
Delphine Longuet,
D. Longuet,
2007,
CALCO.
Marc Aiguier,
Daniel Krob,
Boris Golden,
2012,
Appl. Math. Comput..
Marc Aiguier,
Amílcar Sernadas,
Jaime Ramos,
2008
.
Marc Aiguier,
Frédéric Boulanger,
Bilal Kanso,
2010,
ICTAC.
Marc Aiguier,
Alexandre Goy,
Daniela Petrişan,
2021,
ICALP.
Marc Aiguier,
Pascale Le Gall,
Agnès Arnould,
2007
.
Marc Aiguier,
Christophe Gaston,
Frédéric Boulanger,
2012
.
Marc Aiguier,
Delphine Longuet,
Clément Boin,
2008
.
Marc Aiguier,
Pierre-Yves Schobbens,
2006
.
Marc Aiguier,
Delphine Longuet,
Clément Boin,
2005
.