Marc Aiguier - RankMe

60 papers A* 1B 3C 11Misc 2Journal 29Unranked 10

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Note on Los's Theorem for Kripke-Joyal Semantics. CoRR Marc Aiguier, Romain Pascual
2024	J	`jnl`	Ultraproducts in abstract categorical logic. CoRR Marc Aiguier, Isabelle Bloch, Romain Pascual
2023	J	`jnl`	Abstract Categorical Logic. Logica Universalis Marc Aiguier, Isabelle Bloch
2023	J	`jnl`	Morpho-logic from a Topos Perspective: Application to symbolic AI. CoRR Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
2023	J	`jnl`	Morpho-logic from a topos perspective - application to symbolic AI. Int. J. Approx. Reason. Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
2023	—	`conf`	Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. JIAF Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
2021	A*	`conf`	Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP Alexandre Goy, Daniela Petrisan, Marc Aiguier
2020	J	`jnl`	Abstract Mathematical morphology based on structuring element: Application to morpho-logic. CoRR Marc Aiguier, Isabelle Bloch, Ramón Pino Pérez
2019	C	`conf`	From Structuring Elements to Structuring Neighborhood Systems. ISMM Alexandre Goy, Marc Aiguier, Isabelle Bloch
2019	J	`jnl`	Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. J. Appl. Non Class. Logics Marc Aiguier, Isabelle Bloch
2018	J	`jnl`	Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Artif. Intell. Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
2018	J	`jnl`	Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. CoRR Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez
2018	J	`jnl`	Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Int. J. Approx. Reason. Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez
2017	J	`jnl`	Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. CoRR Marc Aiguier, Isabelle Bloch
2016	J	`jnl`	Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2015	J	`jnl`	Belief revision in Institutions : A relaxation based approach. CoRR Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
2015	J	`jnl`	Relaxation-based revision operators in description logics. CoRR Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
2015	J	`jnl`	Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. CoRR Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
2014	J	`jnl`	A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. Sci. Ann. Comput. Sci. Marc Aiguier, Bilal Kanso
2014	—	`ed.`	Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013 CSDM Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
2013	B	`conf`	An Adequate Logic for Heterogeneous Systems. ICECCS Marc Aiguier, Boris Golden, Daniel Krob
2013	—	`ed.`	Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012 CSDM Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy
2013	—	`ed.`	Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France, - December 4th, 2013. CSDM (Posters) Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
2013	—	`conf`	Results for Compositional Timed Testing. APSEC (1) Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
2012	J	`jnl`	A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. Marc Aiguier, Frédéric Boulanger, Bilal Kanso
2012	J	`jnl`	Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Appl. Math. Comput. Boris Golden, Marc Aiguier, Daniel Krob
2012	J	`jnl`	Special issue on complex systems design and management. Concurr. Eng. Res. Appl. Marc Aiguier
2012	C	`conf`	Testing of Component-Based Systems. APSEC Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
2011	J	`jnl`	Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
2010	—	`ed.`	Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010 CSDM Marc Aiguier, Francis Bretaudeau, Daniel Krob
2010	J	`jnl`	Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. Delphine Longuet, Marc Aiguier, Pascale Le Gall
2010	J	`jnl`	Some General Results About Proof Normalization. Logica Universalis Marc Aiguier, Delphine Longuet
2010	C	`conf`	Testing of Abstract Components. ICTAC Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
2009	C	`conf`	Integration Testing from Structured First-Order Specifications via Deduction Modulo. ICTAC Delphine Longuet, Marc Aiguier
2009	—	`conf`	Spatial Information and Boolean Genetic Regulatory Networks. BICoB Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
2009	C	`conf`	Symbolic Execution Techniques Extended to Systems. ICSEA Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
2008	C	`conf`	A Formal Definition of Complex Software. ICSEA Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
2008	C	`conf`	Emergent Properties in Reactive Systems. APSEC Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
2008	—	`conf`	Property Preservation along Embedding of Biological Regulatory Networks. AB Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
2007	J	`jnl`	An Institution-independent Proof of the Beth Definability Theorem. Stud Logica Marc Aiguier, Fabrice Barbier
2007	B	`conf`	Specification-Based Testing for CoCasl's Modal Specifications. CALCO Delphine Longuet, Marc Aiguier
2007	J	`jnl`	Stratified institutions and elementary homomorphisms. Inf. Process. Lett. Marc Aiguier, Razvan Diaconescu
2007	J	`jnl`	Structures for Abstract Rewriting. J. Autom. Reason. Marc Aiguier, Diane Bahrami
2007	Misc	`conf`	Test Selection Criteria for Modal Specifications of Reactive Systems. TASE Marc Aiguier, Delphine Longuet
2007	—	`conf`	Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2006	C	`conf`	Automatic Generation of Functional Programs from CASL Specifications. ICSEA Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet
2006	B	`conf`	Feature Specification and Static Analysis for Interaction Resolution. FM Marc Aiguier, Karim Berkani, Pascale Le Gall
2005	C	`conf`	A Temporal Logic for Input Output Symbolic Transition Systems. APSEC Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
2005	—	`conf`	An Abstract Way to Define Rewriting Logic. FSEN Marc Aiguier, Diane Bahrami, Delphine Longuet
2005	—	`conf`	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
2005	J	`jnl`	Toward an automatic parallelization of sparse matrix computations. J. Parallel Distributed Comput. Roxane Adle, Marc Aiguier, Franck Delaplace
2004	C	`conf`	An Algebraic Approach for Codesign. ICTAC Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
2004	J	`jnl`	ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. J. Log. Comput. Marc Aiguier
2003	—	`conf`	A Logic with Temporal Glue for Mixed Specifications. FOCLASA Marc Aiguier, Fabrice Barbier, Pascal Poizat
2003	J	`jnl`	Une approche générique de la réécriture. Tech. Sci. Informatiques Marc Aiguier, Diane Bahrami
2002	C	`conf`	Feature Logics and Refinement. APSEC Marc Aiguier, Christophe Gaston, Pascale Le Gall
2002	Misc	`conf`	On a Generalised Logicality Theorem. AISC Marc Aiguier, Diane Bahrami, Catherine Dubois
2000	—	`conf`	Algebraic Treatment of Feature-oriented Systems. FIREworks Christophe Gaston, Marc Aiguier, Pascale Le Gall
2000	—	`conf`	Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Euro-Par Roxane Adle, Marc Aiguier, Franck Delaplace
1994	J	`jnl`	Label Algebras and Exception Handling. Sci. Comput. Program. Gilles Bernot, Pascale Le Gall, Marc Aiguier