×

zbMATH — the first resource for mathematics

Aiguier, Marc

Compute Distance To:
Author ID: aiguier.marc Recent zbMATH articles by "Aiguier, Marc"
Published as: Aiguier, M.; Aiguier, Marc
Documents Indexed: 26 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH

16 Publications have been cited 36 times in 22 Documents Cited by Year
An institution-independent proof of the Beth definability theorem. Zbl 1134.03043
Aiguier, M.; Barbier, F.
8
2007
Stratified institutions and elementary homomorphisms. Zbl 1189.03038
Aiguier, Marc; Diaconescu, Răzvan
6
2007
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Zbl 1443.68169
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline
3
2018
Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno
3
2006
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems. Zbl 1244.93019
Golden, Boris; Aiguier, Marc; Krob, Daniel
2
2012
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Structures for abstract rewriting. Zbl 1125.03011
Aiguier, Marc; Bahrami, Diane
2
2007
On a generalised logicality theorem. Zbl 1072.68536
Aiguier, Marc; Bahrami, Diane; Dubois, Catherine
2
2002
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Zbl 1448.68394
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Pino Pérez, Ramón
1
2018
Embedding of biological regulatory networks and property preservation. Zbl 1270.92024
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien
1
2011
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Testing of abstract components. Zbl 1286.68082
Kanso, Bilal; Aiguier, Marc; Boulanger, Frédéric; Touil, Assia
1
2010
Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195
Longuet, Delphine; Aiguier, Marc
1
2009
Property preservation along embedding of biological regulatory networks. Zbl 1171.92302
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale
1
2008
Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231
Longuet, Delphine; Aiguier, Marc
1
2007
Label algebras and exception handling. Zbl 0830.68089
Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc
1
1994
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Zbl 1443.68169
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline
3
2018
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Zbl 1448.68394
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Pino Pérez, Ramón
1
2018
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems. Zbl 1244.93019
Golden, Boris; Aiguier, Marc; Krob, Daniel
2
2012
Embedding of biological regulatory networks and property preservation. Zbl 1270.92024
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien
1
2011
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Testing of abstract components. Zbl 1286.68082
Kanso, Bilal; Aiguier, Marc; Boulanger, Frédéric; Touil, Assia
1
2010
Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195
Longuet, Delphine; Aiguier, Marc
1
2009
Property preservation along embedding of biological regulatory networks. Zbl 1171.92302
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale
1
2008
An institution-independent proof of the Beth definability theorem. Zbl 1134.03043
Aiguier, M.; Barbier, F.
8
2007
Stratified institutions and elementary homomorphisms. Zbl 1189.03038
Aiguier, Marc; Diaconescu, Răzvan
6
2007
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Structures for abstract rewriting. Zbl 1125.03011
Aiguier, Marc; Bahrami, Diane
2
2007
Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231
Longuet, Delphine; Aiguier, Marc
1
2007
Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno
3
2006
On a generalised logicality theorem. Zbl 1072.68536
Aiguier, Marc; Bahrami, Diane; Dubois, Catherine
2
2002
Label algebras and exception handling. Zbl 0830.68089
Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc
1
1994

Citations by Year