Skip to Main content Skip to Navigation


...
inria-00000408v1  Conference papers
Alessandro ArmandoDavid BasinYohan BoichutYannick ChevalierLuca 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 IminePascal MolliGérald OsterMichaë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 OsterPascal UrsoPascal MolliAbdessamad 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 FontaineSilvio RaniseCalogero 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 ChridiLaurent 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 SantiagoLaurent 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
...
inria-00070512v1  Reports
Yannick ChevalierMichaël Rusinowitch. Combining Intruder Theories
[Research Report] RR-5495, INRIA. 2005, pp.37
...
inria-00070767v1  Reports
Calogero G. Zarba. C-tableaux
[Research Report] RR-5229, INRIA. 2004, pp.31