| Publication | Date of Publication | Type |
|---|
Morpho-logic from a topos perspective -- application to symbolic AI
International Journal of Approximate Reasoning | 2023-09-04 | Paper |
Abstract categorical logic
Logica Universalis | 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
Journal of Applied Non-Classical Logics | 2019-11-18 | Paper |
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
A logic for complex computing systems: properties preservation along integration and abstraction
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Artificial Intelligence | 2018-05-11 | Paper |
Embedding of biological regulatory networks and property preservation
Mathematics in Computer Science | 2013-08-23 | Paper |
Some general results about proof normalization
Logica Universalis | 2013-01-25 | Paper |
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science | 2012-10-11 | Paper |
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
Applied Mathematics and Computation | 2012-08-19 | Paper |
Proof-guided test selection from first-order specifications with equality
Journal of Automated Reasoning | 2011-01-12 | Paper |
Testing of abstract components
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Stratified institutions and elementary homomorphisms
Information Processing Letters | 2010-03-24 | Paper |
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Specification-Based Testing for CoCasl’s Modal Specifications
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Property Preservation along Embedding of Biological Regulatory Networks
Algebraic Biology | 2009-02-03 | Paper |
Test Selection Criteria for Quantifier-Free First-Order Specifications
Lecture Notes in Computer Science | 2008-07-01 | Paper |
An institution-independent proof of the Beth definability theorem
Studia Logica | 2007-09-10 | Paper |
Structures for abstract rewriting
Journal of Automated Reasoning | 2007-08-17 | Paper |
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Toward an automatic parallelization of sparse matrix computations
Journal of Parallel and Distributed Computing | 2005-06-30 | Paper |
ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
Journal Of Logic And Computation | 2004-10-15 | Paper |
scientific article; zbMATH DE number 2100581 (Why is no real title available?)
| 2004-09-14 | Paper |
scientific article; zbMATH DE number 2090037 (Why is no real title available?)
| 2004-08-12 | Paper |
Label algebras and exception handling
Science of Computer Programming | 1995-04-10 | Paper |
