List of bibliographic references
Number of relevant bibliographic references: 446.
[20-40] [
0 - 20][
0 - 50][
40-60]
Ident. | Authors (with country if any) | Title |
---|
000485 (2015-06-22) |
Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France] | Second International Workshop on Formal Integrated Development Environment |
000488 (2015-06-22) |
Steven Latré [Belgique] ; Marinos Charalambides [Royaume-Uni] ; Jérôme François [France] ; Corinna Schmitt [Suisse] ; Burkhard Stiller [Suisse] | Intelligent Mechanisms for Network Configuration and Security : 9th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2015, Ghent, Belgium, June 22-25, 2015. |
000526 (2015-05-26) |
Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne] | Learning Inverse Dynamics Models with Contacts |
000558 (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 |
000582 (2015-04-14) |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Witnessing (Co)datatypes |
000682 (2015) |
Franck Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] | Simulated Motion Artefact in Computed Tomography |
000734 (2015) |
Philippe Degrell [France] ; Emmanuel Sorbets [France] ; Laurent J. Feldman [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Gregory Ducrocq [France] | Screening for coronary artery disease in asymptomatic individuals: Why and how? |
000740 (2015) |
Athanase Benetos [France] ; Patrick Rossignol [France] ; Antonio Cherubini [Italie] ; Laure Joly [France] ; Tomasz Grodzicki [Pologne] ; Chakravarthi Rajkumar [Royaume-Uni] ; Timo E. Strandberg [Finlande] ; Mirko Petrovic [Belgique] | Polypharmacy in the Aging Patient: Management of Hypertension in Octogenarians. |
000778 (2015) |
Didier Galmiche [France] ; David Pym [Royaume-Uni] | Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation |
000802 (2015) |
Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | Fractional coloring of triangle-free planar graphs |
000960 (2014-09-10) |
Nicolas Jay [France] ; Mathieu D'Aquin [Royaume-Uni] ; Illaria Tiddi [Royaume-Uni] | Proceedings of the Workshop on Linked Data for Knowledge Discovery (LD4KD 2014) |
000A64 (2014-07) |
Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France] | Towards Conflict-Driven Learning for Virtual Substitution |
000A98 (2014-06-19) |
Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
000B42 (2014-06) |
Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | Subcubic triangle-free graphs have fractional chromatic number at most $14/5$ |
000C81 (2014-02-19) |
Pierre-Frédéric Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni] | Toward a Realistic Simulation of Organ Dissection |
000D49 (2014) |
Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni] | On the definability of simulation and bisimulation in epistemic logic |
000D58 (2014) |
Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni] | Knowledge and Gossip |
000D72 (2014) |
Myrto Arapinis [Royaume-Uni] ; Marie Duflot [France] | Bounding messages for free in security protocols – extension to various security properties |
000D83 (2014) |
Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni] | A Framework for Epistemic Gossip Protocols |
000D87 (2014) |
Pierre-Frederic Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni] | Toward a realistic simulation of organ dissection. |
000E13 (2014) |
Jan Van Den Heuvel [Royaume-Uni] ; Daniel Král' [Royaume-Uni] ; Martin Kupec [République tchèque] ; Jean-Sébastien Sereni [République tchèque, France] ; Jan Volec [République tchèque, Royaume-Uni] | Extensions of Fractional Precolorings Show Discontinuous Behavior |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i -k "Royaume-Uni"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i \
-Sk "Royaume-Uni" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|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 | |