• 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

• 2019
• 
  Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
  Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019)
• 
  Julie Doyle, Emma Murphy, Janneke Kuiper, Suzanne Smith, Caoimhe Hannigan, An Jacobs, John Dinsmore:
  Managing Multimorbidity: Identifying Design Requirements for a Digital Self-Management Tool to Support Older Adults with Multiple Chronic Conditions. CHI 2019: 399
• 
  Max Bassett, Blake Newton, Joseph Schlessinger, Jacob Schmidt, Scott Lynch, Patrick Kuiper, Ryan Miller, Steven Morse, James Pleuss, Travis Russell, William R. Pulleyblank:
  Condorcet Optimal Clustering with Delaunay Triangulation: Climate Zones and World Happiness Insights. SBP-BRiMS 2019: 81-91
• 2018
• 
  Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper:
  Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40(3): 12:1-12:59 (2018)
• 2017
• 
  Emma Murphy, Julie Doyle, Caoimhe Hannigan, Suzanne Smith, Janneke Kuiper, An Jacobs, Evert-Jan Hoogerwerf, Lorenzo Desideri, Valentina Fiordelmondo, Lorenza Maluccelli, Anne-Marie Brady, John Dinsmore:
  Perceptions and Use of Technology to Support Older Adults with Multimorbidity. AAATE Conf. 2017: 160-167
• 
  Julie Doyle, Emma Murphy, Suzanne Smith, Caoimhe Hannigan, Janneke Kuiper, An Jacobs, John Dinsmore:
  Addressing medication management for older people with multimorbidities: a multi-stakeholder approach. PervasiveHealth 2017: 78-87
• 2016
• 
  Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
  Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273
• 
  Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs:
  Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588
• 
  Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang:
  Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6
• 2015
• 
  Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper:
  Modular Termination Verification. ECOOP 2015: 664-688
• 
  Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang:
  Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS 2015: 141-160
• 2013
• 
  Jan Kuipers, Aske Plaat, J. A. M. Vermaseren, H. Jaap van den Herik:
  Improving multivariate Horner schemes with Monte Carlo tree search. Comput. Phys. Commun. 184(11): 2391-2395 (2013)
• 
  H. Jaap van den Herik, Jan Kuipers, J. A. M. Vermaseren, Aske Plaat:
  Investigations with Monte Carlo Tree Search for Finding Better Multivariate Horner Schemes. ICAART (Revised Selected Papers) 2013: 3-20
• 2012
• 
  Jan Kuipers, J. A. M. Vermaseren, Aske Plaat, H. Jaap van den Herik:
  Improving multivariate Horner schemes with Monte Carlo tree search. CoRR abs/1207.7079 (2012)
• 2006
• 
  Ramakrishna Mukkamala, Jacob Kuiper, Javier A. Sala-Mercado, Robert L. Hammond, Jong-Kyung Kim, Larry W. Stephenson, Donal S. O'Leary:
  Continuous Left Ventricular Ejection Fraction Monitoring by Central Aortic Pressure Waveform Analysis. EMBC 2006: 620-623