Marc Aiguier

Available identifiers

zbMath Open aiguier.marcMaRDI QIDQ359892

List of research outcomes

Publication	Date of Publication	Type
Morpho-logic from a topos perspective -- application to symbolic AI	2023-09-04	Paper
Abstract categorical logic	2023-05-04	Paper
From structuring elements to structuring neighborhood systems	2020-06-15	Paper
Abstract Mathematical morphology based on structuring element: Application to morpho-logic	2020-05-04	Paper
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning	2019-11-18	Paper
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction	2019-02-20	Paper
A logic for complex computing systems: properties preservation along integration and abstraction	2019-02-08	Paper
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics	2018-05-11	Paper
Embedding of biological regulatory networks and property preservation	2013-08-23	Paper
Some general results about proof normalization	2013-01-25	Paper
A formal abstract framework for modelling and testing complex software systems	2012-10-11	Paper
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems	2012-08-19	Paper
Proof-guided test selection from first-order specifications with equality	2011-01-12	Paper
Testing of abstract components	2010-08-31	Paper
Stratified institutions and elementary homomorphisms	2010-03-24	Paper
Integration Testing from Structured First-Order Specifications via Deduction Modulo	2009-08-20	Paper
Specification-Based Testing for CoCasl’s Modal Specifications	2009-03-10	Paper
Property Preservation along Embedding of Biological Regulatory Networks	2009-02-03	Paper
Test Selection Criteria for Quantifier-Free First-Order Specifications	2008-07-01	Paper
An institution-independent proof of the Beth definability theorem	2007-09-10	Paper
Structures for abstract rewriting	2007-08-17	Paper
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms	2007-05-02	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Toward an automatic parallelization of sparse matrix computations	2005-06-30	Paper
ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4817053	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4808705	2004-08-12	Paper
Label algebras and exception handling	1995-04-10	Paper

Research outcomes over time

This page was built for person: Marc Aiguier