 |
 |
 |
 |
|
|
||
|---|---|---|
|
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> |
||
|
hal-00974938v1
Communication dans un congrès
Javier Cánovas, Jordi Cabot. Composing JSON-based Web APIs ICWE 2014 - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. 8541, pp.390-399, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08245-5_24 > |
||
|
inria-00073547v1
Rapport
Eitan Altman, Jean Bolot, Philippe Nain, Mohammed Erramdani, Patrick Brown et al. Performance Modeling of TCP/IP in a Wide-Area Network [Research Report] RR-3142, INRIA. 1997 |
||
|
halshs-00005023v2
Communication dans un congrès
Andrei Popescu-Belis, Loïs Rigouste, Susanne Salmon-Alt, Laurent Romary. Online Evaluation of Coreference Resolution 4th International Conference on Language Resources and Evaluation - LREC'04, 2004, Lisbonne, Portugal, 4 p, 2004 |
||
|
inria-00099871v1
Rapport
Eric Deplagne, Claude Kirchner. Induction as Deduction Modulo [Intern report] A04-R-468 || deplagne04a, 2004, 80 p |
||
|
inria-00074123v1
Rapport
Michel Raynal, André Schiper. From Causal Consistency to Sequential Consistency in Shared Memory Systems [Research Report] RR-2557, INRIA. 1995 |
||
|
hal-00872976v1
Direction d'ouvrage, Proceedings
Charlotte Truchet, Gérard Assayag. Constraint Programming in Music France. ISTE-Wiley, pp.256, 2011 |
||
|
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-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-00706490v1
Direction d'ouvrage, Proceedings
Saïd Assar, Farida Semmak, Reza Barkhi. Proceedings of Component-Based Business Information Systems Engineering - CBBISE'03 OOIS'03 Workshop, pp.1, 2003 |
||
|
hal-00380517v2
Autre publication
Alexander Heußner, Grégoire Sutre, Tristan Le Gall. Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems RR-1459-09. Rapport de Recherche RR-1459-09 LaBRI. 2009 |
||
|
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> |
||
|
hal-00673623v1
Communication dans un congrès
Sana Mallouli, Said Assar, Carine Souveyet. Pour une perspective comportementale dans les méta-modèles de processus INFORSID, May 2011, Lille, France. pp.351-366, 2011 |
||
|
hal-00673639v1
Communication dans un congrès
Carine Souveyet, Said Assar. Exécutabilité des modèles : réflexions et expériences Atelier Méthodes Avancées de Développement de Systèmes d'Information, May 2007, Perros-Guirec, France. pp.1, 2007 |
||
|
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-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-00528611v1
Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis and Verification of Aerospace Software by Abstract Interpretation American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. American Institue of Aeronautics and Astronautics, 2010, <http://www.google.fr/url?sa=t&source=web&cd=2&sqi=2&ved=0CB4QFjAB&url=http%3A%2F%2Fpdf.aiaa.org%2Fpreview%2F2010%2FCDReadyMIAA10_2358%2FPV2010_3385.pdf&ei=1UvBTLLqEMGKswamv-S4CA&usg=AFQjCNFGH0_rG7PESuLq1mQXnbBFlLvSzw&sig2=Kk5dxWbo0c1XTGFijYp4xA> |
||
|
inria-00075427v1
Rapport
Michel Raynal, André Schiper. The causal ordering abstraction and a simple way to implement it [Research Report] RR-1132, INRIA. 1989 |
||
|
hal-00747347v1
Chapitre d'ouvrage
Said Assar, Corine Cauvet, Agnès Front, Charlotte Hug, Jolita Ralyte. Les méthodes adaptables Lopisteguy Philippe, Rieu Dominique, Roose Philippe. L'adaptation dans tous ses états, Cépaduès, pp.203-225, 2012, 9782364930292 |
||
|
inria-00099119v1
Article dans une revue
Yann Bugeaud, Guillaume Hanrot. Un nouveau critère pour l'équation de Catalan Mathematika, University College London, 2000, 47, pp.63--73 |
||
|
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 |
||
|
hal-01018287v1
Communication dans un congrès
Huu-Giao N'Guyen, Céline Fouard, François Meneu, Jean-Yves Giraud, Jocelyne Troccaz. Automatic 3D seed location and orientation in CT images for prostate brachytherapy IEEE Symposium on Biomedical Imaging 2014, Apr 2014, Beijing, China. IEEE, pp.1320-1323, 2014 |
||
|
|
||