• 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 13 matches

• 2020
• 
  Jörg Mauler, Alexander Heinzel, Andreas Matusch, Hans Herzog, Irene Neuner, Jürgen Scheins, Christine Wyss, Jürgen Dammers, Markus Lang, Johannes Ermert, Bernd Neumaier, Karl-Josef Langen, N. Jon Shah:
  Bolus infusion scheme for the adjustment of steady state [¹¹C]Flumazenil levels in the grey matter and in the blood plasma for neuroreceptor imaging. NeuroImage 221: 117160 (2020)
• 
  Maksim Jenihhin, Said Hamdioui, Matteo Sonza Reorda, Milos Krstic, Peter Langendörfer, Christian Sauer, Anton Klotz, Michael Hübner, Jörg Nolte, Heinrich Theodor Vierhaus, Georgios N. Selimis, Dan Alexandrescu, Mottaqiallah Taouil, Geert Jan Schrijen, Jaan Raik, Luca Sterpone, Giovanni Squillero, Zoya Dyka:
  RESCUE: Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems. DATE 2020: 388-393
• 2019
• 
  Maksim Jenihhin, Said Hamdioui, Matteo Sonza Reorda, Milos Krstic, Peter Langendörfer, Christian Sauer, Anton Klotz, Michael Hübner, Jörg Nolte, Heinrich Theodor Vierhaus, Georgios N. Selimis, Dan Alexandrescu, Mottaqiallah Taouil, Geert Jan Schrijen, Jaan Raik, Luca Sterpone, Giovanni Squillero, Zoya Dyka:
  RESCUE: Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems. CoRR abs/1912.01561 (2019)
• 2013
• 
  Daniel J. Mandl, Stuart Frye, Pat Cappelaere, Matthew Handy, Fritz Policelli, McCloud Katjizeu, Guido Van Langenhove, Guy Aubé, Jean-Francois Saulnier, Rob Sohlberg, Julie A. Silva, Nataliia Kussul, Sergii Skakun, Stephen G. Ungar, Robert L. Grossman, Jörg Szarzynski:
  Use of the Earth Observing One (EO-1) Satellite for the Namibia SensorWeb Flood Early Warning Pilot. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 6(2-1): 298-308 (2013)
• 2012
• 
  Nataliia Kussul, Dan Mandl, Karen Moe, Jan-Peter Mund, Joachim Post, Andrii Shelestov, Sergii Skakun, Jörg Szarzynski, Guido Van Langenhove, Matthew Handy:
  Interoperable Infrastructure for Flood Monitoring: SensorWeb, Grid and Cloud. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 5(6): 1740-1745 (2012)
• 
  Bernardo Carnicero Domínguez, Stefan Kraft, Joerg Langen, Ville Kangas, Paolo Bensi, Jean-Loup Bézy, Mark Drinkwater, Paul Ingmann, Chung-Chi Lin, Roland Meynart, Pierluigi Silvestrin, Fredrik von Schéele, Urban Frisk, Anders Emrich:
  ESA's premier mission candidate: System and payload overview. IGARSS 2012: 5538-5541
• 2011
• 
  Ulrich Ramacher, Wolfgang Raab, J. A. Ulrich Hachmann, Dominik Langen, Jörg Berthold, R. Kramer, A. Schackow, Cyprian Grassmann, Mirko Sauermann, P. Szreder, F. Capar, G. Obradovic, W. Xu, Nico Brüls, Kang Lee, Eugene Weber, Ray Kuhn, John Harrington:
  Architecture and implementation of a Software-Defined Radio baseband processor. ISCAS 2011: 2193-2196
• 2010
• 
  Jorge Portilla, Andrés Otero, Eduardo de la Torre, Teresa Riesgo, Oliver Stecklina, Steffen Peter, Peter Langendörfer:
  Adaptable Security in Wireless Sensor Networks by Using Reconfigurable ECC Hardware Coprocessors. Int. J. Distributed Sens. Networks 6(1) (2010)
• 
  Wolfgang Raab, Jörg Berthold, J. A. Ulrich Hachmann, Dominik Langen, Michael Schreiner, Holger Eisenreich, Jens-Uwe Schluessler, Georg Ellguth:
  Low power design of the X-GOLD^® SDR 20 baseband processor. DATE 2010: 792-793
• 
  Marco Arcioni, Paolo Bensi, Jean-Loup Bézy, Bernardo Carnicero Domínguez, Malcolm Davidson, Mark Drinkwater, Franco Fois, Antonio Gabriele, Roger Haagmans, Florence Hélière, Paul Ingmann, Ville Kangas, Michael Kern, Stefan Kraft, Joerg Langen, Arnaud Lecuyot, Ching-Chi Lin, Roland Meynart, Klaus Scipal, Pierluigi Silvestrin:
  Biomass, CoReH2O, PREMIER: ESA's candidate 7^th Earth Explorer Missions. IGARSS 2010: 673-676
• 2007
• 
  Jean-Loup Bézy, Paolo Bensi, Chung-Chi Lin, Yannig Durand, Florence Hélière, Amanda Regan, Paul Ingmann, Joerg Langen, Michael Berger, Malcolm Davidson, Helge Rebhan:
  ESA future earth observation explorer missions. IGARSS 2007: 212-215
• 2000
• 
  Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt:
  Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
• 1996
• 
  Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers:
  Deduction in the Verification Support Environment (VSE). FME 1996: 268-286