The following pages link to Marc Aiguier (Q359892):
Displaying 28 items.
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Toward an automatic parallelization of sparse matrix computations (Q557674) (← links)
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- (Q995668) (redirect page) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Label algebras and exception handling (Q1346685) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- From structuring elements to structuring neighborhood systems (Q2189345) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Integration Testing from Structured First-Order Specifications via Deduction Modulo (Q3393414) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)
- Test Selection Criteria for Quantifier-Free First-Order Specifications (Q3508522) (← links)
- Testing of Abstract Components (Q3585052) (← links)
- Property Preservation along Embedding of Biological Regulatory Networks (Q3599198) (← links)
- Specification-Based Testing for CoCasl’s Modal Specifications (Q3612500) (← links)
- A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction (Q4621175) (← links)
- (Q4808705) (← links)
- (Q4817053) (← links)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement (Q4820463) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709991) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
