Skip to Main content Skip to Navigation


...
hal-00651600v1  Book sections
Juan Antonio Cordero FuertesEmmanuel BaccelliPhilippe JacquetThomas Heide Clausen. Wired/Wireless Compound Networking
Mobile Ad-Hoc Networks: Applications, InTech, pp.349 - 375, 2011
hal-00872869v1  Book sections
Youssef HamadiFrédéric SaubionEric Monfroy. What is Autonomous Search?
van Hentenryck P. and Milano, M. Hybrid Optimization (The 10 Years of CP-AI-OR), Springer-Verlag, pp.357-391, 2011, Optimization and its Applications
...
inria-00130523v1  Book sections
Lutz Straßburger. What is a logic, and what is a proof ?
Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0
...
inria-00130504v1  Conference papers
Lutz Straßburger. What could a Boolean category be?
Classical Logic and Computation 2006 (ICALP Workshop), Jul 2006, Venice, Italy
...
inria-00584877v1  Journal articles
Carlos MunueraMorgan Barbier. Wet paper codes and the dual distance in steganography
Advances in Mathematics of Communications, AIMS, 2011, Lecture Notes on Computer Sciences, 6 (3), pp.273-285. ⟨10.3934/amc.2012.6.273⟩
...
inria-00543150v1  Conference papers
Danièle GardyYann Ponty. Weighted random generation of context-free languages: Analysis of collisions in random urn occupancy models
GASCOM - 8th conference on random generation of combinatorial structures - 2010, LACIM, UQAM, Sep 2010, Montréal, Canada. 14pp
...
inria-00200912v1  Conference papers
Yuxin DengCatuscia PalamidessiJun Pang. Weak Probabilistic Anonymity
3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
...
hal-00976768v2  Journal articles
Luis PinoAndres AristizabalFilippo BonchiFrank Valencia. Weak CCP bisimilarity with strong procedures
Science of Computer Programming, Elsevier, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩
...
hal-00562488v1  Conference papers
Michel FliessCédric JoinFrédéric Hatt. Volatility made observable at last
3èmes Journées Identification et Modélisation Expérimentale, JIME'2011, Apr 2011, Douai, France. pp.CDROM
hal-00865274v1  Conference papers
Cedric PietteYoussef HamadiLakhdar Saïs. Vivifying propositional clausal formulae
18th European Conference on Artificial Intelligence (ECAI'08), 2008, Patras, Greece. pp.525-529
hal-00723351v1  Conference papers
Yann Ponty. Visualizing 2D & 3D Structures of RNA
VIZBI - 3rd international meeting on Visualizing Biological Data - 2012, Jim, Procter (U-Dundee, Scotland) and Sean O'Donoghue (CMIS, Australia), Mar 2012, Heidelberg, Germany
...
inria-00463605v1  Conference papers
Samer RiachyMichel FliessCédric JoinJean-Pierre Barbot. Vers une simplification de la commande non linéaire : l'exemple d'un avion à décollage vertical
Sixième Conférence Internationale Francophone d'Automatique, CIFA 2010, Jun 2010, Nancy, France. pp.CDROM
...
inria-00460912v1  Conference papers
Cédric JoinGérard RobertMichel Fliess. Vers une commande sans modèle pour aménagements hydroélectriques en cascade
Sixième Conférence Internationale Francophone d'Automatique, CIFA 2010, CNRS, Jun 2010, Nancy, France. pp.CDROM
...
hal-00682762v1  Conference papers
Jérôme de MirasSamer RiachyMichel FliessCédric JoinStéphane Bonnet. Vers une commande sans modèle d'un palier magnétique
7e Conférence Internationale Francophone d'Automatique, CIFA 2012, Jul 2012, Grenoble, France. pp.509-514
...
inria-00001139v2  Conference papers
Michel FliessCédric JoinMamadou MboupHebertt Sira-Ramirez. Vers une commande multivariable sans modèle
Conférence internationale francophone d'automatique (CIFA 2006), 2006, Bordeaux, France
...
hal-00572818v2  Conference papers
Hassane AbouaïssaMichel FliessViolina IordanovaCédric Join. Vers une caractérisation non linéaire d'un réseau autoroutier
3èmes Journées Identification et Modélisation Expérimentale, JIME'2011, Apr 2011, Douai, France. pp.CDROM
...
inria-00614041v1  Conference papers
Mickaël ArmandGermain FaureBenjamin GrégoireChantal KellerLaurent Théry et al.  Verifying SAT and SMT in Coq for a fully automated decision procedure
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland
...
inria-00534821v1  Conference papers
Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz. Verifying Safety Properties With the TLA+ Proof System
Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. pp.142--148, ⟨10.1007/978-3-642-14203-1_12⟩
...
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
...
hal-00432548v1  Journal articles
Kévin DartyAlain DeniseYann Ponty. VARNA: Interactive drawing and editing of the RNA secondary structure.
Bioinformatics, Oxford University Press (OUP), 2009, 25 (15), pp.1974-5. ⟨10.1093/bioinformatics/btp250⟩
...
inria-00001042v1  Lectures
Michel Fliess. Variations sur la notion de contrôlabilité
Doctoral. Société mathématique de France, Paris, 2000