Roumanie < Royaume-Uni < Russie

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 162.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000038 (2013-08-08)	Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Eric Kow [Royaume-Uni]	The KBGen Challenge
000122 (2011-10-17)	Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]	A Composable Computational Soundness Notion
000147 (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.
000148 (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.
000183 (2003)	Richard P. Brent [Royaume-Uni] ; Samuli Larvala ; Paul Zimmermann [France]	A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377
000198 (2007-07)	Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]	A Formal Theory of Key Conjuring.
000199 (2007)	Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]	A Formal Theory of Key Conjuring
000206 (2014)	Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni]	A Framework for Epistemic Gossip Protocols
000307 (2012-02-09)	Pierre-Frédéric Villard [France] ; Franck Vidal [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Nigel John [Royaume-Uni]	A Method to Compute Respiration Parameters for Patient-based Simulators
000350 (2012-09-01)	Daniel Král' [Royaume-Uni] ; Lukáš Mach [Royaume-Uni] ; Jean-Sébastien Sereni [France]	A New Lower Bound Based on Gromov's Method of Selecting Heavily Covered Points
000356 (2011-09)	Lu Yue [Suède] ; Thomas Nolte [Suède] ; Ian Bate [Royaume-Uni] ; Liliana Cucu-Grosjean [France]	A New Way about using Statistical Analysis of Worst-Case Execution Times
000392 (2009-03-22)	Oana Andrei [Royaume-Uni] ; Helene Kirchner [France]	A Port Graph Calculus for Autonomic Computing and Invariant Verification
000397 (2010-05-17)	Jacques Saadé [France] ; Anne-Laure Didier [France] ; Pierre-Frédéric Villard [Royaume-Uni] ; Romain Buttin [France] ; Jean-Michel Moreau [France] ; Michael Beuve [France] ; Behzad Shariat [France]	A Preliminary Study For A Biomechanical Model Of The Respiratory System
000398 (2005)	Richard P. Brent [Royaume-Uni] ; Samuli Larvala ; Paul Zimmermann [France]	A Primitive Trinomial of Degree 6972593
000510 (2011)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
000511 (2009)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
000614 (2015-05)	David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]	A comprehensive analysis of game-based ballot privacy definitions
000748 (2012-09-20)	Sylvain Contassot-Vivier [France] ; David Elizondo [Royaume-Uni]	A near linear algorithm for testing linear separability in two dimensions
000762 (2012)	Daniel Král' [Royaume-Uni] ; Chun-Hung Liu [États-Unis] ; Jean-Sébastien Sereni [France] ; Peter Whalen [États-Unis] ; Zelealem Yilma [France]	A new bound for the 2/3 conjecture
000799 (2013)	Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni]	A note on acyclic vertex-colorings
000845 (2009-11)	Pierre-Frédéric Villard [Royaume-Uni] ; Franck P. Vidal [Royaume-Uni] ; Carrie Hunt [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Nigel W. John [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Derek A. Gould [Royaume-Uni]	A prototype percutaneous transhepatic cholangiography training simulator with real-time breathing motion

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i -k "Royaume-Uni" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i  \
                -Sk "Royaume-Uni" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Royaume-Uni
}}

---

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