Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France

Source URL: people.rennes.inria.fr

Complexit´e Moyenne Transparents de Lo¨ıc H´elou¨et Pr´epa agreg

Source URL: people.rennes.inria.fr

Tree Automata for Reachability in Rewriting Thomas Genet http://people.irisa.fr/Thomas.Genet/ IRISA, Universit´e de Rennes 1 1

Source URL: www.win.tue.nl

Mise en place de Référents Chercheurs au sein d’Inria Rennes L e métier de chercheur est passionnant, offre une grande autonomie, et

Source URL: people.irisa.fr

FixMe : d´etection r´epartie de d´efaillances isol´ees E. Anceaume1 , E. Le Merrer2 , R. Ludinard3 , B. Sericola3 , G. Straub2 1 CNRS UMR 6074 IRISA, Technicolor Rennes, firstname.name@technic

Source URL: people.rennes.inria.fr

Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré E. Anceaume* — R. Ludinard** — B. Sericola*** — F. Tronel** * Irisa UMR CNRSCampus de Beaulieu, 263 avenue du Général Leclerc -

Source URL: people.rennes.inria.fr

PeerCube: a Hypercube-based P2P Overlay Robust against Collusion and Churn E. Anceaume, R. Ludinard, A. Ravoaja IRISA/CNRS/INRIA/ENS Cachan Campus Universitaire de Beaulieu Rennes, France

Source URL: people.rennes.inria.fr

Annals of Mathematics, ), 433–519 Knot concordance, Whitney towers and L2-signatures By Tim D. Cochran, Kent E. Orr, and Peter Teichner*

Source URL: people.mpim-bonn.mpg.de

ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai

Source URL: people.mpi-inf.mpg.de

S PA C e FOR   VIS UA L

Source URL: www.uni-weimar.de

• Max Bense
• German literature
• Philosophy
• Heidegger Gesamtausgabe
• European people
• Albert Grnwedel