Ident. | Authors (with country if any) | Title |
---|
000020 (2016-05-23) |
Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne] | SoK: Verifiability Notions for E-Voting Protocols |
000050 (2016-04) |
Franck P. Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] | Development and Validation of Real-time Simulation of X-ray Imaging with Respiratory Motion |
000072 (2016-02-02) |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovy [France] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [Russie] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah [France] ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A. G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra Negi S. [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Francoise Ochsenbein [États-Unis] ; Zhiping Weng [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S. J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [États-Unis] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Sheng [États-Unis] ; Lenna Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodríguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebbecca Wade [Allemagne] ; Ivan Anishchenko [Allemagne] ; Petras Kundrotas [Allemagne] ; Ilya Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Fernández-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [France] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment |
000090 (2016-01-13) |
Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis] | Special Issue on Whole-body control of contacts and dynamics for humanoid robots |
000113 (2016) |
Franck Hétroy-Wheeler [France] ; Eric Casella [Royaume-Uni] ; Dobrina Boltcheva [France] | Segmentation of tree seedling point clouds into elementary units |
000128 (2016) |
Danesh Tarapore [Royaume-Uni] ; Jeff Clune [États-Unis] ; Antoine Cully [Royaume-Uni] ; Jean-Baptiste Mouret [France] | How Do Different Encodings Influence the Performance of the MAP-Elites Algorithm? |
000152 (2015-12-17) |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems |
000154 (2015-12-16) |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000164 (2015-12-13) |
Jon Barker [Royaume-Uni] ; Ricard Marxer [Royaume-Uni] ; Emmanuel Vincent [France] ; Shinji Watanabe [États-Unis] | The third `CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines |
000222 (2015-11-03) |
Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Peter Deisenroth [Royaume-Uni] ; Jan Peters [France] | Learning torque control in presence of contacts using tactile sensing from robot skin |
000258 (2015-10-13) |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000331 (2015-09) |
Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne] | Modal Tableau Systems with Blocking and Congruence Closure |
000337 (2015-08-31) |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Foundational Extensible Corecursion: A Proof Assistant Perspective |
000348 (2015-08-25) |
Felix Weninger [Allemagne] ; Hakan Erdogan [États-Unis] ; Shinji Watanabe [États-Unis] ; Emmanuel Vincent [France] ; Jonathan Le Roux [États-Unis] ; John R. Hershey [États-Unis] ; Björn Schuller [Royaume-Uni] | Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR |
000413 (2015-07-25) |
Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France] | Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery |
000466 (2015-06-22) |
Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France] | Second International Workshop on Formal Integrated Development Environment |
000469 (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. |
000507 (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 |
000543 (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 |
000563 (2015-04-14) |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Witnessing (Co)datatypes |
000666 (2015) |
Didier Galmiche [France] ; David Pym [Royaume-Uni] | Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation |