1. Recherche
170 résultats  enregistrer la recherche
...
hal-00150387v1  Article dans une revue
Maureen Clerc, Stéphane Mallat. Estimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
inria-00100059v1  Direction d'ouvrage, Proceedings
Francis Corblin, Claire Gardent. Interpréter en contexte
Hermès, 384 p, 2004, Traité Sciences Cognitives
...
tel-00850264v1  Thèse
Horacio Rostro-Gonzalez. Computing with spikes, architecture, properties and implementation of emerging paradigms
Other [cs.OH]. Université Nice Sophia Antipolis, 2011. English
hal-00925345v1  Communication dans un congrès
Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
hal-00925549v1  Communication dans un congrès
Jonathan Hayman. Filtered compression for Kappa
Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
inria-00527548v1  Communication dans un congrès
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell
T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings; International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010). <10.1063/1.3497965>
inria-00527536v1  Communication dans un congrès
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov. Combining Model Reductions
Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science; Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010). <10.1016/j.entcs.2010.08.006>
inria-00527933v1  Communication dans un congrès
Jérôme Feret. Occurrence counting analysis for the pi-calculus
GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Aug 2000, University Park, United States. Elsevier, 39(2), pp.1--18, 2001, Electronic Notes in Theoretical Computer Science; GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000). <10.1016/S1571-0661(05)01155-2>
inria-00429871v1  Article dans une revue
Iasonas Kokkinos, Rachid Deriche, Olivier Faugeras, Petros Maragos. Computational analysis and learning for a biologically motivated model of boundary detection
Neurocomputing / EEG Neurocomputing, Elsevier, 2008, 71 (10-12), pp.1798--1812
...
inria-00077099v1  Rapport
Panagiotis Alevizos, Jean-Daniel Boissonnat, Franco Preparata. On the boundary of a union of rays
[Research Report] RR-0896, INRIA. 1988
...
inria-00077113v1  Rapport
Emmanuel Léty, Thierry Turletti, François Baccelli. Cell-based Multicast Grouping in Large-Scale Virtual Environments
[Research Report] RR-3729, INRIA. 1999, pp.25
...
inria-00430198v1  Poster
F. Ben Hassen, Maureen Clerc, Juliette Leblond, Stéphane Rigat, M. Zghal. Inverse EEG source problems and approximation
Proceedings of Optimization and Inverse Problems in Electromagnetism (OIPE), Sep 2008, Ilmenau, Germany
hal-00907830v1  Communication dans un congrès
Luke Campagnola, Almar Klein, Cyrille Rossant, Nicolas P. Rougier. VISPY, A Modern and Interactive Scientific Visualisation
Euroscipy 2013, Aug 2013, Brusells, Belgium. 2013
inria-00527924v1  Communication dans un congrès
Jérôme Feret. Dependency analysis of Mobile Systems
Daniel Le Métayer. the European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. Springer, 2305, pp.314--330, 2002, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1007/3-540-45927-8_22>
inria-00527929v1  Communication dans un congrès
Jérôme Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients
Cousot Patrick. the 8th International Symposium on Static Analysis (SAS'01), Jul 2001, Paris, France. Springer, 2126, pp.413--431, 2001, Lecture Notes in Computer Science; Static Anlalysis. <10.1007/3-540-47764-0_24>
inria-00527941v1  Communication dans un congrès
Jérôme Feret. Confidentiality Analysis of Mobile Systems
Palsberg, J. he 7th International Symposium on Static Analysis (SAS'00), Jun 2000, Santa Barbara, United States. Springer, 1824, pp.135--154, 2000, Lecture Notes in Computer Science; Static Anlalysis. <10.1.1.28.4507>
...
inria-00075449v1  Rapport
Jean-Daniel Boissonnat, Mariette Yvinec. Probing a scene of non convex polyhedra
[Research Report] RR-1110, INRIA. 1989
hal-00925837v1  Communication dans un congrès
Michael Barnett, Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich. A case for static analyzers in the cloud
Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation
inria-00528571v1  Communication dans un congrès
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné et al.  Combination of Abstractions in the ASTRÉE Static Analyzer
Okada, Mitsu and Satoh, Ichir. the 11th Annual Asian Computing Science Conference - ASIAN'06, Dec 2006, Tokyo, Japan. Springer, 4435, pp.272-300, 2006, Lecture Notes in Computer Science; Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. <10.1007/978-3-540-77505-8_23>
inria-00528632v1  Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China. 2010
inria-00528600v1  Communication dans un congrès
Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot et al.  Astree: Proving the Absence of Runtime Errors
Laprie, J.C. Embedded real time software and systems - ERTS2 2010, May 2010, Toulouse, France. 2010, <http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0024_final.pdf>
...
inria-00075847v1  Rapport
Jean-Daniel Boissonnat, Franco Preparata. On the external boundary of a union of rays
[Research Report] RR-0705, INRIA. 1987
hal-00765220v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen et al.  Informatique et Sciences du Numérique - Spécialité ISN en Terminale S
Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5
...
tel-00136630v1  Thèse
Antoine Miné. Weakly Relational Numerical Abstract Domains
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English
hal-00766726v1  Article dans une revue
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. <10.1016/j.jcss.2011.08.009>
...
hal-00938866v1  Autre publication
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project "Physics Aware Software". 2013
...
tel-00102083v2  Thèse
Christophe Deroulers. Application de la mécanique statistique à trois problèmes hors d'équilibre : algorithmes, épidémies, milieux granulaires
Physique mathématique [math-ph]. Université Pierre et Marie Curie - Paris VI, 2006. Français
inria-00554271v1  Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers
49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States. IEEE Computer Society, 2010

Contact


archive-ouverte@inria.fr