• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2024
• 
  Cyril Brzenczek, Quentin Klopfenstein, Tom Hähnel, Holger Fröhlich, Enrico Glaab, Geeta Acharya, Gloria Aguayo, Myriam Alexandre, Muhammad Ali, Wim Ammerlann, Giuseppe Arena, Michele Bassis, Roxane Batutu, Katy Beaumont, Sibylle Béchet, Guy Berchem, Alexandre Bisdorff, Ibrahim Boussaad, David Bouvier, Lorieza Castillo, Gessica Contesotto, Nancy De Bremaeker, Brian Dewitt, Nico Diederich, Rene Dondelinger, Nancy E. Ramia, Angelo Ferrari, Katrin Frauenknecht, Joëlle Fritz, Carlos Gamio, Manon Gantenbein, Piotr Gawron, Laura Georges, Soumyabrata Ghosh, Marijus Giraitis, Martine Goergen, Elisa Gómez de Lope, Jérôme Graas, Mariella Graziano, Valentin Groues, Anne Grünewald, Gaël Hammot, Anne-Marie Hanff, Linda Hansen, Michael Heneka, Estelle Henry, Margaux Henry, Sylvia Herbrink, Sascha Herzinger, Alexander Hundt, Nadine Jacoby, Sonja Jónsdóttir, Jochen Klucken, Olga Kofanova, Rejko Krüger, Pauline Lambert, Zied Landoulsi, Roseline Lentz, Ana Festas Lopes, Victoria Lorentz, Tainá M. Marques, Guilherme Marques, Patricia Martins Conde, Patrick May, Deborah Mcintyre, Chouaib Mediouni, Francoise Meisch, Alexia Mendibide, Myriam Menster, Maura Minelli, Michel Mittelbronn, Saïda Mtimet, Maeva Munsch, Romain Nati, Ulf Nehrbass, Sarah Nickels, Beatrice Nicolai, Jean-Paul Nicolay, Maria Fernanda Niño Uribe, Fozia Noor, Clarissa P. C. Gomes, Sinthuja Pachchek, Claire Pauly, Laure Pauly, Lukas Pavelka, Magali Perquin, Achilleas Pexaras, Armin Rauschenberger, Rajesh Rawal, Dheeraj Reddy Bobbili, Lucie Remark, Ilsé Richard, Olivia Roland, Kirsten Roomp, Eduardo Rosales, Stefano Sapienza, Venkata Satagopam, Sabine Schmitz, Reinhard Schneider, Jens Schwamborn, Raquel Severino, Amir Sharify, Ruxandra Soare, Ekaterina Soboleva, Kate Sokolowska, Maud Theresine, Hermann Thien, Elodie Thiry, Rebecca Ting Jiin Loo, Johanna Trouet, Olena Tsurkalenko, Michel Vaillant, Carlos Vega, Liliana Vilas Boas, Paul Wilmes, Evi Wollscheid-Lengeling, Gelani Zelimkhanov:
  Integrating digital gait data with metabolomics and clinical data to predict outcomes in Parkinson's disease. npj Digit. Medicine 7(1) (2024)
• 
  Philippe Hamelin, Jean-François Gravel, Pierre-André Bergeron, Samuel Lavoie, Ghislain Lambert, Frédéric Nadeau, Alex Sartor, Pierre-Luc Richard, Matthieu Montfrond, Nicolas Pouliot:
  ICARE-Chronos Technology: Drone-Deployed Probes for Accurate and Simultaneous Temperature and Sag Measurement of Power Lines. I2MTC 2024: 1-6
• 2023
• 
  Florence Ranchon, Sébastien Chanoine, Sophie Lambert-Lacroix, Jean-Luc Bosson, Alexandre Moreau-Gaudry, Pierrick Bedouch:
  Development of artificial intelligence powered apps and tools for clinical pharmacy services: A systematic review. Int. J. Medical Informatics 172: 104983 (2023)
• 
  T. Dubreuil, Sylvain Barraud, J.-M. Pedini, Jean-Michel Hartmann, F. Boulard, A. Sarrazin, A. Gharbi, Johannes Sturm, A. Lambert, S. Martin, Niccolo Castellani, A. Anotta, A. Magalhaes-Lucas, Aurelie Souhaite, François Andrieu:
  Integration of HfO2-based 3D OxRAM with GAA stacked-nanosheet transistor for high-density embedded memory. ESSDERC 2023: 117-120
• 2019
• 
  Jessica Dubois, Julien Lefèvre, Hugo Angleys, François Leroy, Clara Fischer, Jessica Lebenberg, Ghislaine Dehaene-Lambertz, Cristina Borradori-Tolsa, François Lazeyras, Lucie Hertz-Pannier, Jean-François Mangin, Petra S. Hüppi, David Germanaud:
  The dynamics of cortical folding waves and prematurity-related deviations revealed by spatial and spectral analysis of gyrification. NeuroImage 185: 934-946 (2019)
• 
  Jessica Lebenberg, Jean-François Mangin, Bertrand Thirion, Cyril Poupon, Lucie Hertz-Pannier, François Leroy, Parvaneh Adibpour, Ghislaine Dehaene-Lambertz, Jessica Dubois:
  Mapping the asynchrony of cortical maturation in the infant brain: A MRI multi-parametric clustering approach. NeuroImage 185: 641-653 (2019)
• 
  Cindy Rolland, Jessica Lebenberg, François Leroy, Eric Moulton, Parvaneh Adibpour, Denis Rivière, Cyril Poupon, Lucie Hertz-Pannier, Jean-François Mangin, Ghislaine Dehaene-Lambertz, Jessica Dubois:
  Exploring Microstructure Asymmetries in the Infant Brain Cortex: A Methodological Framework Combining Structural and Diffusion Mri. ISBI 2019: 426-429
• 2018
• 
  Lucia Sohmen, Jean Charbonnier, Ina Blümel, Christian Wartena, Lambert Heller:
  Figures in Scientific Open Access Publications. TPDL 2018: 220-226
• 2016
• 
  Jessica Dubois, David Germanaud, Hugo Angleys, François Leroy, Clara Fischer, Jessica Lebenberg, François Lazeyras, Ghislaine Dehaene-Lambertz, Lucie Hertz-Pannier, Jean-François Mangin, Petra S. Hüppi, Julien Lefèvre:
  Exploring the successive waves of cortical folding in the developing brain using MRI and spectral analysis of gyrification. ISBI 2016: 261-264
• 2014
• 
  Germain Jolly, Sylvain Vernois, Jean-Luc Lambert:
  Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification. SNDS 2014: 192-201
• 2012
• 
  Vincent Soulignac, Eva Lambert, Catherine Roussey, Jean-Pierre Chanet, Jean-Louis Ermine, Jean-Luc Paris, Olivier Devise:
  A Knowledge Server for Sustainable Agriculture - Main Computing Features. WEBIST 2012: 525-530
• 2011
• 
  H. Glasel, François Leroy, Jessica Dubois, Lucie Hertz-Pannier, Jean-François Mangin, Ghislaine Dehaene-Lambertz:
  A robust cerebral asymmetry in the infant brain: The rightward superior temporal sulcus. NeuroImage 58(3): 716-723 (2011)
• 2007
• 
  Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli:
  An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. CoRR abs/0710.4846 (2007)
• 2004
• 
  Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli:
  An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
• 
  Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
  A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90
• 2003
• 
  Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert:
  Towards the verification of real-time systems in avionics: the Cotre approach. FMICS 2003: 203-218
• 2002
• 
  Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud:
  Formal Verification Techniques: Industrial Status and Perspectives. DATE 2002: 1050
• 1999
• 
  S. Dellacherie, Samuel Devulder, Jean-Luc Lambert:
  Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165
• 
  Samuel Devulder, Jean-Luc Lambert:
  A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302
• 1995
• 
  Sylvain Ridart, Jean Luc Lambert:
  Programmer l'algorithmique par objets. LMO 1995: 113-130
• 1992
• 
  Jean-Luc Lambert:
  The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. RAIRO Theor. Informatics Appl. 26: 425-437 (1992)
• 
  Jean-Luc Lambert:
  A Structure to Decide Reachability in Petri Nets. Theor. Comput. Sci. 99(1): 79-104 (1992)
• 
  Jean-Luc Lambert:
  Sorting the Sums (xi+yj) in O(n2) Comparisons. Theor. Comput. Sci. 103(1): 137-141 (1992)
• 1990
• 
  Jean-Luc Lambert:
  Sorting the Sums (xi+yj) in O(n²) Comparisons. STACS 1990: 195-206