Label Algebras and Exception Handling. - Gilles Bernot; Pascale Le Gall; Marc Aiguier (Sci. Comput. Program., 1994)

Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. - Roxane Adle; Marc Aiguier; Franck Delaplace (Euro-Par, 2000)

Algebraic Treatment of Feature-oriented Systems. - Christophe Gaston; Marc Aiguier; Pascale Le Gall (FIREworks, 2000)

On a Generalised Logicality Theorem. - Marc Aiguier; Diane Bahrami; Catherine Dubois (AISC, 2002)

Feature Logics and Refinement. - Marc Aiguier; Christophe Gaston; Pascale Le Gall (APSEC, 2002)

A Logic with Temporal Glue for Mixed Specifications. - Marc Aiguier; Fabrice Barbier; Pascal Poizat (FOCLASA, 2003)

Une approche générique de la réécriture. - Marc Aiguier; Diane Bahrami (Tech. Sci. Informatiques, 2003)

An Algebraic Approach for Codesign. - Marc Aiguier; Stefan Béroff; Pierre-Yves Schobbens (ICTAC, 2004)

ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. - Marc Aiguier (J. Log. Comput., 2004)

A Temporal Logic for Input Output Symbolic Transition Systems. - Marc Aiguier; Pascale Le Gall; Delphine Longuet; Assia Touil (APSEC, 2005)

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. - Marc Aiguier; Agnès Arnould; Clément Boin 002; Pascale Le Gall; Bruno Marre (FATES, 2005)

An Abstract Way to Define Rewriting Logic. - Marc Aiguier; Diane Bahrami; Delphine Longuet (FSEN, 2005)

Toward an automatic parallelization of sparse matrix computations. - Roxane Adle; Marc Aiguier; Franck Delaplace (J. Parallel Distributed Comput., 2005)

Feature Specification and Static Analysis for Interaction Resolution. - Marc Aiguier; Karim Berkani; Pascale Le Gall (FM, 2006)

Automatic Generation of Functional Programs from CASL Specifications. - Agnès Arnould; Laurent Fuchs; Marc Aiguier; Thibaud Brunet (ICSEA, 2006)

Specification-Based Testing for CoCasl's Modal Specifications. - Delphine Longuet; Marc Aiguier (CALCO, 2007)

Test Selection Criteria for Quantifier-Free First-Order Specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (FSEN, 2007)

Test Selection Criteria for Modal Specifications of Reactive Systems. - Marc Aiguier; Delphine Longuet (TASE, 2007)

Stratified institutions and elementary homomorphisms. - Marc Aiguier; Razvan Diaconescu (Inf. Process. Lett., 2007)

Structures for Abstract Rewriting. - Marc Aiguier; Diane Bahrami (J. Autom. Reason., 2007)

An Institution-independent Proof of the Beth Definability Theorem. - Marc Aiguier; Fabrice Barbier (Stud Logica, 2007)

Property Preservation along Embedding of Biological Regulatory Networks. - Mbarka Mabrouki; Marc Aiguier; Jean-Paul Comet; Pascale Le Gall (AB, 2008)

Emergent Properties in Reactive Systems. - Marc Aiguier; Pascale Le Gall; Mbarka Mabrouki (APSEC, 2008)

A Formal Definition of Complex Software. - Marc Aiguier; Pascale Le Gall; Mbarka Mabrouki (ICSEA, 2008)

Spatial Information and Boolean Genetic Regulatory Networks. - Matthieu Manceny; Marc Aiguier; Pascale Le Gall; Joan Hérisson; Ivan Junier; François Képès (BICoB, 2009)

Symbolic Execution Techniques Extended to Systems. - Christophe Gaston; Marc Aiguier; Diane Bahrami; Arnault Lapitre (ICSEA, 2009)

Integration Testing from Structured First-Order Specifications via Deduction Modulo. - Delphine Longuet; Marc Aiguier (ICTAC, 2009)

Testing of Abstract Components. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Assia Touil (ICTAC, 2010)

Proof-Guided Test Selection from First-Order Specifications with Equality. - Delphine Longuet; Marc Aiguier; Pascale Le Gall (J. Autom. Reason., 2010)

Some General Results About Proof Normalization. - Marc Aiguier; Delphine Longuet (Logica Universalis, 2010)

Embedding of Biological Regulatory Networks and Property Preservation. - Mbarka Mabrouki; Marc Aiguier; Jean-Paul Comet; Pascale Le Gall; Adrien Richard (Math. Comput. Sci., 2011)

Testing of Component-Based Systems. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Christophe Gaston (APSEC, 2012)

Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. - Boris Golden; Marc Aiguier; Daniel Krob (Appl. Math. Comput., 2012)

Special issue on complex systems design and management. - Marc Aiguier (Concurr. Eng. Res. Appl., 2012)

A formal abstract framework for modelling and testing complex software systems. - Marc Aiguier; Frédéric Boulanger; Bilal Kanso (Theor. Comput. Sci., 2012)

Results for Compositional Timed Testing. - Boutheina Bannour; Christophe Gaston; Marc Aiguier; Arnault Lapitre (APSEC (1), 2013)

An Adequate Logic for Heterogeneous Systems. - Marc Aiguier; Boris Golden; Daniel Krob (ICECCS, 2013)

A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. - Marc Aiguier; Bilal Kanso (Sci. Ann. Comput. Sci., 2014)

Belief revision in Institutions : A relaxation based approach. - Marc Aiguier; Jamal Atif; Isabelle Bloch; Céline Hudelot (CoRR, 2015)

Relaxation-based revision operators in description logics. - Marc Aiguier; Jamal Atif; Isabelle Bloch; Céline Hudelot (CoRR, 2015)

Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. - Marc Aiguier; Jamal Atif; Isabelle Bloch; Céline Hudelot (CoRR, 2015)

Exhaustive test sets for algebraic specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (Softw. Test. Verification Reliab., 2016)

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. - Marc Aiguier; Isabelle Bloch (CoRR, 2017)

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. - Marc Aiguier; Jamal Atif; Isabelle Bloch; Céline Hudelot (Artif. Intell., 2018)

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. - Marc Aiguier; Jamal Atif; Isabelle Bloch; Ramón Pino Pérez (Int. J. Approx. Reason., 2018)

From Structuring Elements to Structuring Neighborhood Systems. - Alexandre Goy 002; Marc Aiguier; Isabelle Bloch (ISMM, 2019)

Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. - Marc Aiguier; Isabelle Bloch (J. Appl. Non Class. Logics, 2019)

Abstract Mathematical morphology based on structuring element: Application to morpho-logic. - Marc Aiguier; Isabelle Bloch; Ramón Pino Pérez (CoRR, 2020)

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. - Alexandre Goy 002; Daniela Petrisan; Marc Aiguier (ICALP, 2021)

Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. - Marc Aiguier; Isabelle Bloch; Salim Nibouche; Ramón Pino Pérez (JIAF, 2023)

Abstract Categorical Logic. - Marc Aiguier; Isabelle Bloch (Logica Universalis, 2023)

Morpho-logic from a topos perspective - application to symbolic AI. - Marc Aiguier; Isabelle Bloch; Salim Nibouche; Ramón Pino Pérez (Int. J. Approx. Reason., 2023)

Ultraproducts in abstract categorical logic. - Marc Aiguier; Isabelle Bloch; Romain Pascual (CoRR, 2024)

A Note on Los's Theorem for Kripke-Joyal Semantics. - Marc Aiguier; Romain Pascual (CoRR, 2024)