Skip to Main content Skip to Navigation


...
hal-00755280v1  Reports
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
...
hal-00766171v1  Reports
Claude MarchéAsma Tafat. Weakest Precondition Calculus, Revisited using Why3
[Research Report] RR-8185, INRIA. 2012, pp.32
...
hal-00760370v1  Reports
Bastien MaubertSophie Pinchinat. Uniform Strategies
[Research Report] RR-8144, INRIA. 2012
...
hal-00913639v1  Reports
Juliette Chabassier. Toucher la corde sensible
[Rapport de recherche] GENCI. 2012