default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarc Aiguier
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i9]Marc Aiguier, Isabelle Bloch, Romain Pascual:
Ultraproducts in abstract categorical logic. CoRR abs/2407.04116 (2024)- [i8]Marc Aiguier, Romain Pascual:
A Note on Los's Theorem for Kripke-Joyal Semantics. CoRR abs/2411.11766 (2024) - 2023
- [j20]Marc Aiguier, Isabelle Bloch
, Salim Nibouche, Ramón Pino Pérez:
Morpho-logic from a topos perspective - application to symbolic AI. Int. J. Approx. Reason. 161: 109011 (2023) - [j19]Marc Aiguier, Isabelle Bloch:
Abstract Categorical Logic. Logica Universalis 17(1): 23-67 (2023) - [c27]Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez:
Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. JIAF 2023: 80-90 - [i7]Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez:
Morpho-logic from a Topos Perspective: Application to symbolic AI. CoRR abs/2303.04895 (2023) - 2021
- [c26]Alexandre Goy, Daniela Petrisan, Marc Aiguier:
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP 2021: 132:1-132:14 - 2020
- [i6]Marc Aiguier, Isabelle Bloch, Ramón Pino Pérez:
Abstract Mathematical morphology based on structuring element: Application to morpho-logic. CoRR abs/2005.01715 (2020)
2010 – 2019
- 2019
- [j18]Marc Aiguier, Isabelle Bloch:
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. J. Appl. Non Class. Logics 29(4): 392-429 (2019) - [c25]Alexandre Goy, Marc Aiguier, Isabelle Bloch:
From Structuring Elements to Structuring Neighborhood Systems. ISMM 2019: 16-28 - 2018
- [j17]Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot:
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Artif. Intell. 256: 160-180 (2018) - [j16]Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez:
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Int. J. Approx. Reason. 102: 1-20 (2018) - [i5]Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez:
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. CoRR abs/1803.01571 (2018) - 2017
- [i4]Marc Aiguier, Isabelle Bloch:
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. CoRR abs/1710.05661 (2017) - 2016
- [j15]Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet:
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26(4): 294-317 (2016) - 2015
- [i3]Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot:
Belief revision in Institutions : A relaxation based approach. CoRR abs/1502.02298 (2015) - [i2]Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot:
Relaxation-based revision operators in description logics. CoRR abs/1502.07628 (2015) - [i1]Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot:
Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. CoRR abs/1502.07634 (2015) - 2014
- [j14]Marc Aiguier, Bilal Kanso:
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. Sci. Ann. Comput. Sci. 24(1): 1-46 (2014) - [e4]Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal:
Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Springer 2014, ISBN 978-3-319-02811-8 [contents] - 2013
- [c24]Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre:
Results for Compositional Timed Testing. APSEC (1) 2013: 559-564 - [c23]Marc Aiguier, Boris Golden, Daniel Krob:
An Adequate Logic for Heterogeneous Systems. ICECCS 2013: 65-74 - [e3]Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy:
Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012. Springer 2013, ISBN 978-3-642-34403-9 [contents] - [e2]Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal:
Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France, - December 4th, 2013. CEUR Workshop Proceedings 1085, CEUR-WS.org 2013 [contents] - 2012
- [j13]Boris Golden, Marc Aiguier, Daniel Krob:
Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Appl. Math. Comput. 218(16): 8039-8055 (2012) - [j12]Marc Aiguier:
Special issue on complex systems design and management. Concurr. Eng. Res. Appl. 20(2): 83 (2012) - [j11]Marc Aiguier, Frédéric Boulanger, Bilal Kanso:
A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455: 66-97 (2012) - [c22]Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston:
Testing of Component-Based Systems. APSEC 2012: 300-305 - 2011
- [j10]Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard:
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5(3): 263-288 (2011) - 2010
- [j9]Delphine Longuet, Marc Aiguier, Pascale Le Gall:
Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. 45(4): 437-473 (2010) - [j8]Marc Aiguier, Delphine Longuet:
Some General Results About Proof Normalization. Logica Universalis 4(1): 1-29 (2010) - [c21]Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil:
Testing of Abstract Components. ICTAC 2010: 184-198 - [e1]Marc Aiguier, Francis Bretaudeau, Daniel Krob:
Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010. Springer 2010, ISBN 978-3-642-15653-3 [contents]
2000 – 2009
- 2009
- [c20]Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès:
Spatial Information and Boolean Genetic Regulatory Networks. BICoB 2009: 270-281 - [c19]Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre:
Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85 - [c18]Delphine Longuet, Marc Aiguier:
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ICTAC 2009: 261-276 - 2008
- [c17]Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall:
Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138 - [c16]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
Emergent Properties in Reactive Systems. APSEC 2008: 273-280 - [c15]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
A Formal Definition of Complex Software. ICSEA 2008: 415-420 - 2007
- [j7]Marc Aiguier, Razvan Diaconescu:
Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103(1): 5-13 (2007) - [j6]Marc Aiguier, Diane Bahrami:
Structures for Abstract Rewriting. J. Autom. Reason. 38(4): 303-351 (2007) - [j5]Marc Aiguier, Fabrice Barbier:
An Institution-independent Proof of the Beth Definability Theorem. Stud Logica 85(3): 333-359 (2007) - [c14]Delphine Longuet, Marc Aiguier:
Specification-Based Testing for CoCasl's Modal Specifications. CALCO 2007: 356-371 - [c13]Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159 - [c12]Marc Aiguier, Delphine Longuet:
Test Selection Criteria for Modal Specifications of Reactive Systems. TASE 2007: 159-170 - 2006
- [c11]Marc Aiguier, Karim Berkani, Pascale Le Gall:
Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379 - [c10]Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet:
Automatic Generation of Functional Programs from CASL Specifications. ICSEA 2006: 34 - 2005
- [j4]Roxane Adle, Marc Aiguier, Franck Delaplace:
Toward an automatic parallelization of sparse matrix computations. J. Parallel Distributed Comput. 65(3): 313-330 (2005) - [c9]Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil:
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50 - [c8]Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217 - [c7]Marc Aiguier, Diane Bahrami, Delphine Longuet:
An Abstract Way to Define Rewriting Logic. FSEN 2005: 205-226 - 2004
- [j3]Marc Aiguier:
ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. J. Log. Comput. 14(2): 145-178 (2004) - [c6]Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens:
An Algebraic Approach for Codesign. ICTAC 2004: 415-430 - 2003
- [j2]Marc Aiguier, Diane Bahrami:
Une approche générique de la réécriture. Tech. Sci. Informatiques 22(4): 401-433 (2003) - [c5]Marc Aiguier, Fabrice Barbier, Pascal Poizat:
A Logic with Temporal Glue for Mixed Specifications. FOCLASA 2003: 155-174 - 2002
- [c4]Marc Aiguier, Diane Bahrami, Catherine Dubois:
On a Generalised Logicality Theorem. AISC 2002: 51-63 - [c3]Marc Aiguier, Christophe Gaston, Pascale Le Gall:
Feature Logics and Refinement. APSEC 2002: 385- - 2000
- [c2]Roxane Adle, Marc Aiguier, Franck Delaplace:
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Euro-Par 2000: 340-348 - [c1]Christophe Gaston, Marc Aiguier, Pascale Le Gall:
Algebraic Treatment of Feature-oriented Systems. FIREworks 2000: 105-124
1990 – 1999
- 1994
- [j1]Gilles Bernot, Pascale Le Gall, Marc Aiguier:
Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
