École polytechnique fédérale de Lausanne < École polytechnique fédérale de Zurich

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by École polytechnique fédérale de Zurich

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
001365 (2013)	Romain Prévost [Suisse] ; Emily Whiting [Suisse] ; Sylvain Lefebvre [France] ; Olga Sorkine-Hornung [Suisse]	Make It Stand: Balancing Shapes for 3D Fabrication
001B97 (2012-03-24)	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
002A88 (2010-09-01)	Mario Botsch [Allemagne] ; Leif Kobbelt [Allemagne] ; Mark Pauly [Allemagne, Suisse] ; Pierre Alliez [France] ; Bruno Lévy [France]	Polygon Mesh Processing
003D68 (2008-11-08)	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 (2008-09)	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 (2008)	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 (2008)	Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France]	Geometric Modeling Based on Polygonal Meshes
004668 (2007-11-04)	Stavroula Papadopoulou [Suisse] ; Claudia Ignat [France] ; Moira Norrie [Suisse]	Awareness Model to Overview Modifications in Collaborative Graphical Authoring Tools
004764 (2007-09)	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 (2007-07)	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.
004E73 (2007)	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 (2006-12)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France]	Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
004F39 (2006-11-17)	Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France]	Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
004F50 (2006-11-04)	Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France]	Data Consistency for P2P Collaborative Editing
004F51 (2006-11-04)	Claudia Ignat [Suisse] ; Moira Norrie [Suisse] ; Gérald Oster [France]	Handling Conflicts through Multi-level Editing in Peer-to-peer Environments
005616 (2006)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]	Computationally sound symbolic secrecy in the presence of hash functions
005724 (2006)	Gérald Oster [Suisse] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Hala Naja-Jazzar [Liban]	Supporting Collaborative Writing of XML Documents
006182 (2005)	A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006525 (2005)	Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
007074 (2004)	David Basin [France, Suisse] ; Michaël Rusinowitch [France]	Automated Reasoning
007121 (2004)	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

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i -k "École polytechnique fédérale de Zurich" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "École polytechnique fédérale de Zurich" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    École polytechnique fédérale de Zurich
}}

---

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