Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Canton de Zurich And NotL. Compagna

List of bibliographic references

Number of relevant bibliographic references: 27.
Ident.Authors (with country if any)Title
001365 Romain Prévost [Suisse] ; Emily Whiting [Suisse] ; Sylvain Lefebvre [France] ; Olga Sorkine-Hornung [Suisse]Make It Stand: Balancing Shapes for 3D Fabrication
001476 Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France]TERT promoter mutations in primary and secondary glioblastomas
001B97 Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
002761 Guilherme Sperb Machado [Suisse] ; Burkhard Stiller [Suisse]An SLA Support System for Cloud Computing
002A88 Mario Botsch [Allemagne] ; Leif Kobbelt [Allemagne] ; Mark Pauly [Allemagne, Suisse] ; Pierre Alliez [France] ; Bruno Lévy [France]Polygon Mesh Processing
003D68 Claudia-Lavinia Ignat [France] ; Stavroula Papadopoulou [Suisse] ; Gérald Oster [France] ; Moira C. Norrie [Suisse]Providing awareness in multi-synchronous collaboration without compromising privacy
003E64 Stavroula Papadopoulou [Suisse] ; Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Moira C. Norrie [Suisse]Intra/Inter-document Change Awareness for Co-authoring of Web Sites
004368 Stavroula Papadopoulou [Suisse] ; Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Moira C. Norrie [Suisse]Intra/Inter-document Change Awareness for Co-authoring of Web Sites
004564 Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France]Geometric Modeling Based on Polygonal Meshes
004668 Stavroula Papadopoulou [Suisse] ; Claudia Ignat [France] ; Moira Norrie [Suisse]Awareness Model to Overview Modifications in Collaborative Graphical Authoring Tools
004764 Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
004848 Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
004C87 Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis]Component-Oriented Programming
004E73 Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France] ; Stephan Bischoff [France] ; Christian Röossl [Allemagne]Geometric Modeling Based on Polygonal Meshes
004F30 Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France]Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
004F39 Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France]Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
004F50 Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France]Data Consistency for P2P Collaborative Editing
004F51 Claudia Ignat [Suisse] ; Moira Norrie [Suisse] ; Gérald Oster [France]Handling Conflicts through Multi-level Editing in Peer-to-peer Environments
005284 Martin Lengwiler [Suisse]Insurance and Civil Society: Elements of an Ambivalent Relationship
005616 Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]Computationally sound symbolic secrecy in the presence of hash functions
005724 Gérald Oster [Suisse] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Hala Naja-Jazzar [Liban]Supporting Collaborative Writing of XML Documents
006525 Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France]Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
007074 David Basin [France, Suisse] ; Michaël Rusinowitch [France]Automated Reasoning
007121 Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
007122 Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
00AC13 Yuri Bilu [France, Suisse] ; Guillaume Hanrot [France]Thue equations with composite fields
00C071 Dimitrios Tombros [Suisse] ; Andreas Geppert [Suisse] ; Klaus R. Dittrich [Suisse]Design and Implementation of Process-Oriented Environments with Brokers and Services
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022