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

• 2023
• 
  Robin dos Santos, Kai Eßmann, Niklas Fartmann, Heiko Meier, Eric Sandberg, Alexander Schulze, Sven Luzar, Gernot Bauer:
  Zoo Visitors' Initial Assessment of an Animaloid Robot as a Zoo Exhibit. CHI Extended Abstracts 2023: 327:1-327:7
• 2019
• 
  Ruth Mottram, Sebastian B. Simonsen, Synne Høyer Svendsen, Valentina R. Barletta, Louise Sandberg Sørensen, Thomas Nagler, Jan Wuite, Andreas Groh, Martin Horwath, Job F. Rosier, Anne Solgaard, Christine S. Hvidberg, René Forsberg:
  An Integrated View of Greenland Ice Sheet Mass Changes Based on Models and Satellite Observations. Remote. Sens. 11(12): 1407 (2019)
• 2018
• 
  Niclas Carlén, August Forsman, Jesper Svensson, Johan Sandberg:
  IoT Enabled Process Innovation: Exploring Sensor-Based Digital Service Design Through an Information Requirements Framework. IFIPIoT@WCC 2018: 105-120
• 2014
• 
  Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
  Stochastic Parity Games on Lossy Channel Systems. Log. Methods Comput. Sci. 10(4) (2014)
• 2013
• 
  Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
  Stochastic Parity Games on Lossy Channel Systems. QEST 2013: 338-354
• 
  Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
  Stochastic Parity Games on Lossy Channel Systems. CoRR abs/1305.5228 (2013)
• 2008
• 
  Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg:
  Stochastic Games with Lossy Channels. FoSSaCS 2008: 35-49
• 2007
• 
  Sven Sandberg:
  Games and Probabilistic Infinite-State Systems. Uppsala University, Sweden, 2007
• 2006
• 
  Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg:
  Eager Markov Chains. ATVA 2006: 24-38
• 
  Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg:
  Limiting Behavior of Markov Chains with Eager Attractors. QEST 2006: 253-264
• 2004
• 
  Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
  Memoryless determinacy of parity and mean payoff games: a simple proof. Theor. Comput. Sci. 310(1-3): 365-378 (2004)
• 
  Sven Sandberg:
  Homing and Synchronizing Sequences. Model-Based Testing of Reactive Systems 2004: 5-33
• 
  Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
  A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. MFCS 2004: 673-685
• 2003
• 
  Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
  Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. Ershov Memorial Conference 2003: 381-394
• 
  Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
  A Discrete Subexponential Algorithm for Parity Games. STACS 2003: 663-674