UMR7139 < UMR7161 < UMR7164

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000225 (2009-11-10)	Tom Gundersen [France]	A General View of Normalisation through Atomic Flows
000416 (2010)	Paola Bruscoli [France] ; Alessio Guglielmi [France] ; Tom Gundersen [France] ; Michel Parigot [France]	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
000424 (2009-09-23)	Mouna Chaouch-Saad ; Bernadette Charron-Bost [France] ; Stephan Merz [France]	A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
000459 (2008)	Lisa Allali [France] ; Paul Brauner [France]	A Semantic Normalization Proof for Inductive Types
000527 (2011)	Lutz Stra Burger [France] ; Alessio Guglielmi [France]	A System of Interaction and Structure IV: The Exponentials and Decomposition
000528 (2011)	Alessio Guglielmi [France] ; Lutz Stra Burger [France]	A System of Interaction and Structure V: The Exponentials and Splitting
000575 (2002-07)	Dominique Poulalhon [France] ; Gilles Schaeffer [France]	A bijection for loopless triangulations of a polygon with interior points
000576 (2003)	Dominique Poulalhon [France] ; Gilles Schaeffer [France]	A bijection for triangulations of a polygon with interior points and multiple edges
000577 (2002)	Dominique Poulalhon [France] ; Gilles Schaeffer [France]	A bijection for triangulations of a polygon with interior points and multiple edges
000597 (2011)	Thomas Bourquard [France] ; Julie Bernauer [France] ; Jérôme Azé [France] ; Anne Poupon [France]	A collaborative filtering approach for protein-protein docking scoring functions.
000663 (2007)	Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Nicolas Thériault [Canada] ; Claus Diem [Allemagne]	A double large prime variation for small genus hyperelliptic index calculus
000664 (2009-10-22)	Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France]	A dynamic approach for load balancing
000955 (2008-01-22)	Lisa Allali [France] ; Paul Brauner [France]	A semantic normalization proof for a system with recursors
000B81 (2009)	Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France]	Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
000B82 (2011)	Olivier Bournez [France] ; Walid Gomaa [Égypte] ; Emmanuel Hainry [France]	Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
000C02 (2010-07)	Guillaume Hanrot [France] ; François Morain [France] ; Emmanuel Thomé [France]	Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
000C32 (2007-05-20)	Andreas Enge [France] ; Pierrick Gaudry [France]	An $L (1/3 + \varepsilon)$ Algorithm for the Discrete Logarithm Problem for Low Degree Curves
001305 (2010-07-11)	Alessio Guglielmi [France] ; Tom Gundersen [France] ; Lutz Stra Burger [France]	Breaking Paths in Atomic Flows for Classical Logic
001423 (2000)	Alain Goupil [Canada] ; Dominique Poulalhon [France] ; Gilles Schaeffer [France]	Central Characters and Conjugacy Classes in the Symmetric Group
001458 (1999)	Alain Goupil [Canada] ; Dominique Poulalhon [France] ; Gilles Schaeffer [France]	Characters and conjugacy classes of the symmetric group
001628 (2011-09-29)	Sarel J. Fleishman ; Timothy A. Whitehead ; Eva-Maria Strauch ; Jacob E. Corn ; Sanbo Qin ; Huan-Xiang Zhou ; Julie C. Mitchell ; Omar N A. Demerdash ; Mayuko Takeda-Shitaka ; Genki Terashi ; Iain H. Moal ; Xiaofan Li ; Paul A. Bates ; Martin Zacharias ; Hahnbeom Park ; Jun-Su Ko ; Hasup Lee ; Chaok Seok ; Thomas Bourquard [France] ; Julie Bernauer [France] ; Anne Poupon [France] ; Jérôme Azé [France] ; Seren Soner ; Sefik Kerem Oval ; Pemra Ozbek ; Nir Ben Tal ; Türkan Haliloglu ; Howook Hwang ; Thom Vreven ; Brian G. Pierce ; Zhiping Weng ; Laura Pérez-Cano ; Carles Pons ; Juan Fernández-Recio ; Fan Jiang ; Feng Yang ; Xinqi Gong ; Libin Cao ; Xianjin Xu ; Bin Liu ; Panwen Wang ; Chunhua Li ; Cunxin Wang ; Charles H. Robert ; Mainak Guharoy ; Shiyong Liu ; Yangyu Huang ; Lin Li ; Dachuan Guo ; Ying Chen ; Yi Xiao ; Nir London ; Zohar Itzhaki ; Ora Schueler-Furman ; Yuval Inbar ; Vladimir Patapov ; Mati Cohen ; Gideon Schreiber ; Yuko Tsuchiya ; Eiji Kanamori ; Daron M. Standley ; Haruki Nakamura ; Kengo Kinoshita ; Camden M. Driggers ; Robert G. Hall ; Jessica L. Morgan ; Victor L. Hsu ; Jian Zhan ; Yuedong Yang ; Yaoqi Zhou ; Panagiotis L. Kastritis ; Alexandre M J J. Bonvin ; Weiyi Zhang ; Carlos J. Camacho ; Krishna P. Kilambi ; Aroop Sircar ; Jeffrey J. Gray ; Masahito Ohue ; Nobuyuki Uchikoga ; Yuri Matsuzaki ; Takashi Ishida ; Yutaka Akiyama ; Raed Khashan ; Stephen Bush ; Denis Fouches ; Alexander Tropsha ; Juan Esquivel-Rodríguez ; Daisuke Kihara ; P Benjamin Stranges ; Ron Jacak ; Brian Kuhlman ; Sheng-You Huang ; Xiaoqin Zou ; Shoshana J. Wodak ; Joel Janin [France] ; David Baker	Community-Wide Assessment of Protein-Interface Modeling Suggests Improvements to Design Methodology.

---

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/HalTutelle.i -k "UMR7161" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "UMR7161" \
         | 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=    HalTutelle.i
   |clé=    UMR7161
}}

---

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