Ident. | Authors (with country if any) | Title |
---|
000023 (2016-05-16) |
Maxime Rio [Suisse] ; Francis Colas [France] ; Mihai Andries [France] ; François Charpillet [France] | Probabilistic sensor data processing for robot localization on load-sensing floors |
000170 (2016) |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Integration of shared mobility service in multi-modal transportation. |
000212 (2015-11-29) |
Razvan Barbulescu [France] ; Pierrick Gaudry [France] ; Thorsten Kleinjung [Suisse] | The Tower Number Field Sieve |
000242 (2015-11-05) |
Gregory Hitz [Suisse] ; François Pomerleau [Suisse] ; Francis Colas [France] ; Roland Siegwart [Suisse] | Relaxing the planar assumption: 3D state estimation for an autonomous surface vessel |
000414 (2015-08-03) |
Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] | A Decision Procedure for (Co)datatypes in SMT Solvers |
000441 (2015-07-18) |
Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis] | Model Finding for Recursive Functions in SMT |
000487 (2015-06-22) |
Xavier Goaoc [France] ; Alfredo Hubard [France] ; Rémi De Joannis De Verclos [France] ; Jean-Sébastien Sereni [France] ; Jan Volec [Suisse] | Limits of order types |
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. |
000544 (2015-05-11) |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Real-time ride-sharing substitution service in multi-modal public transport using buckets |
000564 (2015-04-27) |
Sacha Varone [Suisse] ; Kamel Aissat [France] | Multi-modal transportation with public transport and ride-sharing - multi-modal transportation using a path-based method. |
000565 (2015-04-27) |
Kamel Aissat [France] ; Sacha Varone [Suisse] | Carpooling as complement to multimodal transportation |
000638 (2015-02-02) |
Jérémie Lefebvre [Suisse] ; Axel Hutt [France] ; Jean-François Knebel [Suisse] ; Kevin Whittingstall [Canada] ; Micah Murray [Suisse] | Stimulus statistics shape oscillations in non-linear recurrent neural networks |
000734 (2015) |
François Pomerleau [Canada] ; Francis Colas [France] ; Roland Siegwart [Suisse] | A Review of Point Cloud Registration Algorithms for Mobile Robotics |
000853 (2014-12-01) |
Axel Hutt [France] ; Jérémie Lefebvre [Suisse] | Stochastic center manifold analysis in scalar nonlinear systems involving distributed delays and additive noise |
000F15 (2013-12-02) |
Axel Hutt [France] ; Jérémie Lefebvre [Suisse] | Periodic external input tunes the stability of delayed nonlinear systems: from the slaving principle to center manifolds |
001365 (2013) |
Romain Prévost [Suisse] ; Emily Whiting [Suisse] ; Sylvain Lefebvre [France] ; Olga Sorkine-Hornung [Suisse] | Make It Stand: Balancing Shapes for 3D Fabrication |
001389 (2013) |
Antoine Liutkus [France] ; Jean-Louis Durrieu [Suisse] ; Laurent Daudet [France] ; Gaël Richard [France] | An overview of informed audio source separation |
001413 (2013) |
Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne] | Effect of lower sodium intake on health: systematic review and meta-analyses |
001414 (2013) |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
001455 (2013) |
Arjen K. Lenstra [Suisse] ; Thorsten Kleinjung [Suisse] ; Emmanuel Thomé [France] | Universal Security |
001476 (2013) |
Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France] | TERT promoter mutations in primary and secondary glioblastomas |
001478 (2013) |
Christoph Röthlisberger [Suisse] | TAFA – A Tool for Admissibility in Finite Algebras |
001605 (2013) |
Francesco Alberti [Suisse] ; Silvio Ghilardi [Italie] ; Natasha Sharygina [Suisse] | Definability of Accelerated Relations in a Theory of Arrays and Its Applications |
001A31 (2012-07-09) |
Razvan Barbulescu [France] ; Joppe Bos [Suisse] ; Cyril Bouvier [France] ; Thorsten Kleinjung [Suisse] ; Peter Montgomery [États-Unis] | Finding ECM-friendly curves through a study of Galois properties |
001A67 (2012-06-25) |
Michael Katz [France] ; Joerg Hoffmann [France] ; Malte Helmert [Suisse] | How to Relax a Bisimulation? |
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 |
001D49 (2012) |
Bruno Cartoni [Suisse] ; Fiammetta Namer | Linguistique contrastive et morphologie : les noms en -iste dans une approche onomasiologique |
001F30 (2012) |
Michael Katz [France] ; Joerg Hoffmann [France] ; Malte Helmert [Suisse] | How to Relax a Bisimulation? |
001F71 (2011-12-04) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002564 (2011) |
R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France] | Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth |
002657 (2011) |
Fei Peng [Suisse] ; Apostolos Malatras [Suisse] | Optimising P2P Overlays for Pervasive Environments |
002724 (2011) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002761 (2011) |
Guilherme Sperb Machado [Suisse] ; Burkhard Stiller [Suisse] | An SLA Support System for Cloud Computing |
002778 (2011) |
Dalila Mekhaldi [Royaume-Uni] ; Denis Lalanne [Suisse] ; Rolf Ingold [Suisse] | A multimodal alignment framework for spoken documents |
002A08 (2010-10-20) |
Jacques Ducloy [France] ; Thierry Daunois ; Muriel Foulonneau [France] ; Alice Hermann [France] ; Jean-Charles Lamirel [France] ; Stéphane Sire [Suisse] ; Jean-Pierre Thomesse [France] ; Christine Vanoirbeek [Suisse] | Metadata for Wicri, a network of semantic Wikis for communities in research and innovation |
002A45 (2010-10) |
Thorsten Kleinjung [Suisse] ; Lucas Nussbaum [France] ; Emmanuel Thomé [France] | Using a grid platform for solving large sparse linear systems over GF(2) |
002A88 (2010-09-01) |
Mario Botsch [Allemagne] ; Leif Kobbelt [Allemagne] ; Mark Pauly [Allemagne, Suisse] ; Pierre Alliez [France] ; Bruno Lévy [France] | Polygon Mesh Processing |
002F40 (2010) |
Raphaël Bize [Suisse] ; Carole Willi [Suisse] ; Arnaud Chiolero [Suisse] ; Rebecca Stoianov [Suisse] ; Sylvie Payot [Suisse] ; Isabella Locatelli [Suisse] ; Jacques Cornuz [Suisse] | Participation in a population-based physical activity programme as an aid for smoking cessation: a randomised trial |
003080 (2010) |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
003114 (2010) |
Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne] | Automatic Verification of Parametric Specifications with Complex Topologies |
003126 (2010) |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003128 (2010) |
A. Lagae [Belgique, France] ; S. Lefebvre [France] ; R. Cook [États-Unis] ; T. Derose [États-Unis] ; G. Drettakis [France] ; D. S. Ebert [États-Unis] ; J. P. Lewis [Nouvelle-Zélande] ; K. Perlin [États-Unis] ; M. Zwicker [Suisse] | A Survey of Procedural Noise Functions |
003377 (2009-09-28) |
Nicolas Padoy [France] ; Diana Mateus [Allemagne] ; Daniel Weinland [Suisse] ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne] | Workflow Monitoring based on 3D Motion Features |
003697 (2009-02-12) |
Armelle Brun [France] ; Sylvain Castagnos [Suisse] ; Anne Boyer [France] | A positively directed mutual information measure for collaborative filtering |
003794 (2009) |
Benoît Naegel [Suisse] ; Alexandru Cernicanu ; Jean-Noël Hyacinthe ; Maurizio Tognolini ; Jean-Paul Vallée | SNR enhancement of highly-accelerated real-time cardiac MRI acquisitions based on non-local means algorithm. |
003958 (2009) |
Claude Barral [France, Suisse] ; Assia Tria [France] | Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin |
003982 (2009) |
Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche] | Comparing State Spaces in Automatic Security Protocol Analysis |
003A21 (2009) |
Simon Kramer [France, Suisse] ; Julian C. Bradfield [Royaume-Uni] | A general definition of malware |
003A33 (2009) |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
003B64 (2009) |
Olivier Buffet [France] ; Douglas Aberdeen [Suisse] | The factored policy-gradient planner |
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 |