Skip to Main content Skip to Navigation

inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
hal-01636963v2  Reports
Sylvain Lefebvre. Visualizing and Fabricating Complex Internal Structures
[Technical Report] RT-0493, Inria Nancy - Grand Est. 2017, pp.15
hal-01660045v1  Reports
Daniel Le MétayerSourya Joyee De. Privacy Risk Analysis to Enable Informed Privacy Settings
[Research Report] RR-9125, Inria - Research Centre Grenoble – Rhône-Alpes. 2017, pp.1-24
hal-01488617v2  Reports
Leslie LamportStephan Merz. Auxiliary Variables in TLA+
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); Microsoft Research. 2017
hal-01570330v3  Reports
Samuel HornusSylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities
[Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19
inria-00201503v3  Reports
Jens Gustedt. Sublinear Communication for Integer Permutations
[Research Report] RR-6403, INRIA. 2007, 20 p
inria-00152312v2  Reports
Mathieu GrenierNicolas Navet. Scheduling Configuration on Posix 1003.1b Systems
[Research Report] RR-6209, INRIA. 2007, pp.26
hal-01534567v1  Reports
Ivan GazeauTom ChothiaDominic Duggan. Types for Location and Data Security in Cloud Environments
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); University of Birmingham; Stevens Institute of Technology. 2017
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
hal-01529966v1  Reports
Véronique CortierAntoine DallonStéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
inria-00140932v2  Reports
Véronique CortierBogdan WarinschiEugen Zalinescu. Synthesizing secure protocols
[Research Report] RR-6166, INRIA. 2007, pp.32
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
hal-00177235v1  Reports
Stefan CanzarErnst Althaus. Solving the extended pairwise alignment problem efficiently
[Research Report] MPI-I-2007-1-002, Max-Planck-Institut für Informatik. 2007
inria-00333903v1  Reports
Louis-Claude CanonEmmanuel JeannotRizos SakelariouWei Zheng. Comparative Evaluation of the Robustness of DAG Scheduling Heuristics
[Research Report] CoreGRID Institute on Resource Management and Scheduling, TR-0120, 2007
inria-00145060v1  Reports
Guillaume Bonfante. Monotone interpretations
[Research Report] 2007, pp.9
inria-00169995v3  Reports
Frédéric Beck. NetFlow, RMON and Cisco-NAM deployment
[Technical Report] RT-0343, INRIA. 2007, pp.27
inria-00169993v3  Reports
Frédéric BeckOlivier FestorIsabelle Chrisment. IPv4 to IPv6 Transition Engine
[Technical Report] RT-0344, INRIA. 2007, pp.38
hal-01526841v1  Reports
Haniel BarbosaJasmin BlanchettePascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
[Research Report] Universite de Lorraine, CNRS, Inria, LORIA, Nancy, France; Universidade Federal do Rio Grande do Norte, Natal, Brazil; Vrije Universiteit Amsterdam, Amsterdam, The Netherlands; Max-Planck-Institut für Informatik, Saarbrücken, Germany. 2017, pp.25
hal-01442691v2  Reports
Haniel BarbosaPascal FontaineAndrew Reynolds. Congruence Closure with Free Variables
[Research Report] Inria, Loria, Universite de Lorraine, UFRN, University of Iowa. 2017