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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marc Aiguier