Skip to Main content Skip to Navigation

inria-00101008v1  Journal articles
Egidio AstesianoMichel BidoitHélène KirchnerBernd Krieg-BrücknerPeter D. Mosses et al.  CASL: The Common Algebraic Specification Language
Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196
inria-00099508v1  Journal articles
Hubert Comon-LundhPaliath NarendranRobert NieuwenhuisMichaël Rusinowitch. Deciding the Confluence of Ordered Term Rewrite Systems
ACM Transactions on Computational Logic, Association for Computing Machinery, 2003, 4 (1), pp.33-55
hal-00602077v1  Journal articles
Pierre-Emmanuel JabinGaël Raoul. On selection dynamics for competitive interactions
Journal of Mathematical Biology, Springer Verlag (Germany), 2010, ⟨10.1007/s00285-010-0370-8⟩
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00319719v1  Books
Frédéric CaoJose Luis LisaniJean-Michel MorelPablo MuséFrédéric Sur. A Theory of Shape Identification
Springer, 1948, XII, 264 p., 2008, Lecture Notes in Mathematics, 978-3-540-68480-0
inria-00104260v1  Journal articles
Pablo MuséFrédéric SurFrédéric CaoYann GousseauJean-Michel Morel. An a contrario decision method for shape element recognition
International Journal of Computer Vision, Springer Verlag, 2006, 69 (3), pp.295-315. ⟨10.1007/s11263-006-7546-0⟩
inria-00104021v1  Conference papers
Andrea CerriDaniela GiorgiPablo MuséFrédéric SurFederico Tomassini. Shape recognition via an a contrario model for size functions
3rd International Conference on Image Analysis and Recognition - ICIAR 2006, Sep 2006, Povoa de Varzim, Portugal. pp.410-421, ⟨10.1007/11867661_37⟩
hal-00863139v1  Conference papers
Yoann MaurelAndré BottaroRadu KopetzKoutheir Attouchi. Adaptive Monitoring of End-user OSGi-based Home Boxes
Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 157-166, ⟨10.1145/2304736.2304763⟩
inria-00099470v1  Conference papers
Eric DeplagneClaude KirchnerHélène KirchnerQuang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems
Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p
inria-00107875v1  Conference papers
Quang-Huy Nguyen. Certifying Term Rewriting Proof in ELAN
2nd International Workshop on Rule-based Programming - RULE'01, Sep 2001, Firenze, Italy, 18 p
inria-00107874v1  Conference papers
Quang-Huy Nguyen. Compact Normalisation Trace via Lazy Rewriting
1st International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2001, S. Lucas and B. Gramlich, 2001, Utrecht, Pays-Bas, pp.79-96
inria-00100768v1  Conference papers
Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC
16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
inria-00107864v1  Conference papers
Quang-Huy NguyenCuihtlauac Alvarado. ELAN for equational reasoning in Coq
2nd Workshop on Logical Frameworks & Metalanguage - LFM'00, J. Despeyroux, Jun 2000, Santa Barbara, USA, 14 p
inria-00101009v1  Journal articles
Quang-Huy NguyenClaude KirchnerHélène Kirchner. External rewriting for skeptical proof assistants
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336
inria-00000191v1  Conference papers
Fabrice TouzainSophie SchbathIsabelle Debled-RennessonBertrand AiglePierre Leblond et al.  SIGffRid : Programme de recherche des sites de fixation des facteurs de transcription par approche comparative
Journées Ouvertes Biologie Informatique Mathématiques - JOBIM'05, Guy Perrière, Alain Guénoche et Christophe Geourjon, Jul 2005, Lyon, France. pp.417-425
inria-00338330v1  Book sections
Stephan Merz. The Specification Language TLA+
Dines Bjoerner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0
inria-00099577v1  Conference papers
Mike BadiaAdrian HapcaThierry ConstantFrédéric MotheJean-Michel Leban et al.  Tree Shape Measurement at the Stand Level for Biomass, Volume and Wood Properties Assessment
International Symposium on Plant growth Modeling, simulation, visualization and their Applications 2003 -PMA'03, 2003, Beijing, China, China. pp.360-371