Edit Profile Aiguier, Marc Compute Distance To: Compute Author ID: aiguier.marc Published as: Aiguier, M.; Aiguier, Marc Documents Indexed: 26 Publications since 1994, including 1 Book all top 5 Co-Authors 1 single-authored 7 Le Gall, Pascale 5 Longuet, Delphine 4 Bloch, Isabelle 3 Kanso, Bilal 2 Arnould, Agnès 2 Atif, Jamal 2 Bahrami, Diane 2 Boulanger, Frédéric 2 Comet, Jean-Paul 2 Mabrouki, Mbarka 1 Abergel, Frédéric 1 Adle, Roxane 1 Barbier, Franck 1 Bernot, Gilles 1 Béroff, Stefan 1 Boin, Clément 1 Challet, Damien 1 Cournède, Paul-Henry 1 Delaplace, Franck 1 Diaconescu, Răzvan 1 Dubois, Catherine 1 Faÿ, Gilles 1 Gaston, Christophe 1 Golden, Boris 1 Goy, Alexandre 1 Hudelot, Céline 1 Krob, Daniel 1 Lafitte, Pauline 1 Marre, Bruno 1 Pino Pérez, Ramón 1 Richard, Adrien 1 Schobbens, Pierre-Yves 1 Touil, Assia all top 5 Serials 2 Journal of Automated Reasoning 1 Artificial Intelligence 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Studia Logica 1 Theoretical Computer Science 1 Science of Computer Programming 1 International Journal of Approximate Reasoning 1 Journal of Parallel and Distributed Computing 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Mathematics in Computer Science 1 Logica Universalis 1 Scientific Annals of Computer Science 1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys all top 5 Fields 21 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.03043Aiguier, M.; Barbier, F. 8 2007 Stratified institutions and elementary homomorphisms. Zbl 1189.03038Aiguier, 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.68169Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline 3 2018 Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, 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.93019Golden, Boris; Aiguier, Marc; Krob, Daniel 2 2012 Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine 2 2007 Structures for abstract rewriting. Zbl 1125.03011Aiguier, Marc; Bahrami, Diane 2 2007 On a generalised logicality theorem. Zbl 1072.68536Aiguier, Marc; Bahrami, Diane; Dubois, Catherine 2 2002 Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Zbl 1448.68394Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Pino Pérez, Ramón 1 2018 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024Mabrouki, 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.68221Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale 1 2010 Testing of abstract components. Zbl 1286.68082Kanso, Bilal; Aiguier, Marc; Boulanger, Frédéric; Touil, Assia 1 2010 Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195Longuet, Delphine; Aiguier, Marc 1 2009 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 1 2008 Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231Longuet, Delphine; Aiguier, Marc 1 2007 Label algebras and exception handling. Zbl 0830.68089Bernot, 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.68169Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline 3 2018 Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Zbl 1448.68394Aiguier, 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.93019Golden, Boris; Aiguier, Marc; Krob, Daniel 2 2012 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024Mabrouki, 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.68221Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale 1 2010 Testing of abstract components. Zbl 1286.68082Kanso, Bilal; Aiguier, Marc; Boulanger, Frédéric; Touil, Assia 1 2010 Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195Longuet, Delphine; Aiguier, Marc 1 2009 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 1 2008 An institution-independent proof of the Beth definability theorem. Zbl 1134.03043Aiguier, M.; Barbier, F. 8 2007 Stratified institutions and elementary homomorphisms. Zbl 1189.03038Aiguier, Marc; Diaconescu, Răzvan 6 2007 Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine 2 2007 Structures for abstract rewriting. Zbl 1125.03011Aiguier, Marc; Bahrami, Diane 2 2007 Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231Longuet, Delphine; Aiguier, Marc 1 2007 Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno 3 2006 On a generalised logicality theorem. Zbl 1072.68536Aiguier, Marc; Bahrami, Diane; Dubois, Catherine 2 2002 Label algebras and exception handling. Zbl 0830.68089Bernot, Gilles; Le Gall, Pascale; Aiguier, Marc 1 1994 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 8 Aiguier, Marc 6 Diaconescu, Răzvan 3 Le Gall, Pascale 3 Ţuţu, Ionuţ 2 Bloch, Isabelle 2 Gaĭnă, Daniel 2 Longuet, Delphine 1 Arnould, Agnès 1 Atif, Jamal 1 Bahrami, Diane 1 Bockmayr, Alexander 1 Boin, Clément 1 Boulanger, Frédéric 1 Comet, Jean-Paul 1 Delahaye, Benoît 1 Fiadeiro, José Luiz 1 Kanso, Bilal 1 Legay, Axel 1 Lopes, Antónia 1 Lorenz, Therese 1 Mabrouki, Mbarka 1 Madeira, Alexandre 1 Malcolm, Grant 1 Marre, Bruno 1 Pino Pérez, Ramón 1 Pokrywczyński, Daniel 1 Rabe, Florian 1 Richard, Adrien 1 Siebert, Heike 1 Smets, Sonja J. L. 1 Velázquez-Quesada, Fernando Raymundo all top 5 Cited in 13 Serials 6 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 2 Journal of Automated Reasoning 1 Bulletin of Mathematical Biology 1 Studia Logica 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Mathematics in Computer Science 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 17 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year