Skip to Main content Skip to Navigation
  1. Search


...
tel-00004633v1  Theses
Romuald Ginhoux. Compensation des mouvements physiologiques en chirurgie robotisée par commande prédictive
Automatique / Robotique. Université Louis Pasteur - Strasbourg I, 2003. Français
...
tel-00008254v1  Theses
Michel Mehrenberger. Inégalites d'observabilité et résolution adaptative de l'équation de Vlasov par éléments finis hiérarchiques
Informatique [cs]. Université Louis Pasteur - Strasbourg I, 2004. Français. ⟨NNT : 2004STR13124⟩
...
inria-00000170v1  Reports
Boniface Nkemzi. Asymptotic expansion of the solution of Maxwell's equations in polygonal plane domains
[Research Report] 2005, pp.26
...
inria-00000408v1  Conference papers
Alessandro Armando, David Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna et al.  The AVISPA Tool for the automated validation of internet security protocols and applications
17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
...
inria-00000409v1  Directions of work or proceedings
Laurent Vigneron. Proceedings of the 19th International Workshop on Unification
A05-R-022 (A05-R-022), LORIA, pp.143, 2005
...
inria-00000427v1  Conference papers
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
...
inria-00000428v1  Conference papers
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Edition collaborative sur réseau pair-à-pair à large échelle
Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47
...
inria-00000481v1  Conference papers
Pascal Fontaine, Silvio Ranise, Calogero Zarba. Combining Lists with Non-Stably Infinite Theories
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩
...
inria-00000606v1  Conference papers
Najah Chridi, Laurent Vigneron. Modélisation des propriétés de sécurité de protocoles de groupe
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS, Oct 2005, Bourges, France, pp.119-132
...
inria-00000607v1  Conference papers
Judson Santos Santiago, Laurent Vigneron. Study for Automatically Analysing Non-repudiation
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
...
hal-00013870v1  Journal articles
Pascal Hebrard, Antoine Henrot. A spillover phenomenon in the optimal location of actuators
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2005, 44 (1), pp.349--366. ⟨10.1137/S0363012903436247⟩
...
inria-00069881v1  Reports
Matthieu Haefele, David Vigier, Eric Violard, Florence Zara. Étude et développement d'un module de contrôle pour une plate-forme de simulation numérique
[Rapport de recherche] RT-0299, INRIA. 2004, pp.56
...
inria-00070169v1  Reports
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols
[Research Report] RR-5857, INRIA. 2006, pp.18
...
inria-00070176v1  Reports
Régine Barthelmé, Patrick Ciarlet, Eric Sonnendrücker. Generalized formulations of Maxwell's equations for numerical Vlasov-Maxwell simulations
[Research Report] RR-5850, INRIA. 2006, pp.26
...
inria-00070247v1  Reports
Véronique Cortier, Xavier Goaoc, Mira Lee, Hyeon-Suk Na. A note on maximally repeated sub-patterns of a point set
[Research Report] RR-5773, INRIA. 2005, pp.5
...
inria-00070263v1  Reports
Vincent Torri. Numerical Scheme for the One-Dimensional Vlasov-Poisson Equation Using Bi-Orthogonal Spline Wavelets
[Research Report] RR-5757, INRIA. 2005, pp.29
...
inria-00070291v1  Reports
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations
[Research Report] RR-5727, INRIA. 2005, pp.27
...
inria-00070335v1  Reports
Silvio Ranise, Christophe Ringeissen, Calogero Zarba. Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic
[Research Report] RR-5678, INRIA. 2005, pp.39
...
inria-00070460v1  Reports
Francis Filbet, Eric Sonnendrücker. Modeling and Numerical Simulation of Space Charge Dominated Beams in the Paraxial Approximation
[Research Report] RR-5547, INRIA. 2005, pp.31
...
inria-00070487v1  Reports
Martin Campos Pinto, Michel Mehrenberger. Convergence of an Adaptive Scheme for the one dimensional Vlasov-Poisson system
[Research Report] RR-5519, INRIA. 2005, pp.49
...
inria-00070512v1  Reports
Yannick Chevalier, Michaël Rusinowitch. Combining Intruder Theories
[Research Report] RR-5495, INRIA. 2005, pp.37
...
inria-00070563v1  Reports
Christophe Mion, Florence Zara, Jean-Michel Dischler. Interactive out-of-core visualisation of 4-D+t plasma data
[Research Report] RR-5444, INRIA. 2004, pp.28
...
inria-00070660v1  Reports
Véronique Cortier, Bogdan Warinschi. Computationally Sound, Automated Proofs for Security Protocols
[Research Report] RR-5341, INRIA. 2004, pp.23
...
inria-00070728v1  Reports
Nour Eddine Alaa, Jean Rodolphe Roche. Theoretical and Numerical Analysis of a Class of Nonlinear Elliptic Equations
[Research Report] RR-5270, INRIA. 2004, pp.20
...
inria-00070731v1  Reports
Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions
[Research Report] RR-5267, INRIA. 2004, pp.22
...
inria-00070766v1  Reports
Tarek Abbes, Michaël Rusinowitch, Alakesh Haloi. Network Traffic Classification for Intrusion Detection
[Research Report] RR-5230, INRIA. 2004, pp.20
...
inria-00070767v1  Reports
Calogero G. Zarba. C-tableaux
[Research Report] RR-5229, INRIA. 2004, pp.31
...
inria-00070771v1  Reports
Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
[Research Report] RR-5224, INRIA. 2004, pp.35
...
inria-00071213v1  Reports
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Proving correctness of transformation functions in collaborative editing systems
[Research Report] RR-5795, INRIA. 2005, pp.45
...
inria-00071215v1  Reports
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories
[Research Report] RR-5754, INRIA. 2005, pp.27