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

• 2024
• 
  Kyle Lo, Joseph Chee Chang, Andrew Head, Jonathan Bragg, Amy X. Zhang, Cassidy Trier, Chloe Anastasiades, Tal August, Russell Authur, Danielle Bragg, Erin Bransom, Isabel Cachola, Stefan Candra, Yoganand Chandrasekhar, Yen-Sung Chen, Evie Yu-Yen Cheng, Yvonne Chou, Doug Downey, Rob Evans, Raymond Fok, Fangzhou Hu, Regan Huff, Dongyeop Kang, Tae Soo Kim, Rodney Kinney, Aniket Kittur, Hyeonsu B. Kang, Egor Klevak, Bailey Kuehl, Michael Langan, Matt Latzke, Jaron Lochner, Kelsey MacMillan, Eric Marsh, Tyler Murray, Aakanksha Naik, Ngoc-Uyen Nguyen, Srishti Palani, Soya Park, Caroline Paulic, Napol Rachatasumrit, Smita Rao, Paul Sayre, Zejiang Shen, Pao Siangliulue, Luca Soldaini, Huy Tran, Madeleine van Zuylen, Lucy Lu Wang, Chris Wilhelm, Caroline Wu, Jiangjiang Yang, Angele Zamarron, Marti A. Hearst, Daniel S. Weld:
  The Semantic Reader Project. Commun. ACM 67(10): 50-61 (2024)
• 2023
• 
  Kyle Lo, Joseph Chee Chang, Andrew Head, Jonathan Bragg, Amy X. Zhang, Cassidy Trier, Chloe Anastasiades, Tal August, Russell Authur, Danielle Bragg, Erin Bransom, Isabel Cachola, Stefan Candra, Yoganand Chandrasekhar, Yen-Sung Chen, Evie Yu-Yen Cheng, Yvonne Chou, Doug Downey, Rob Evans, Raymond Fok, Fangzhou Hu, Regan Huff, Dongyeop Kang, Tae Soo Kim, Rodney Kinney, Aniket Kittur, Hyeonsu B. Kang, Egor Klevak, Bailey Kuehl, Michael Langan, Matt Latzke, Jaron Lochner, Kelsey MacMillan, Eric Marsh, Tyler Murray, Aakanksha Naik, Ngoc-Uyen Nguyen, Srishti Palani, Soya Park, Caroline Paulic, Napol Rachatasumrit, Smita Rao, Paul Sayre, Zejiang Shen, Pao Siangliulue, Luca Soldaini, Huy Tran, Madeleine van Zuylen, Lucy Lu Wang, Chris Wilhelm, Caroline Wu, Jiangjiang Yang, Angele Zamarron, Marti A. Hearst, Daniel S. Weld:
  The Semantic Reader Project: Augmenting Scholarly Documents through AI-Powered Interactive Reading Interfaces. CoRR abs/2303.14334 (2023)
• 2022
• 
  Marius Mihai Rusu, Svenja Yvonne Schött, John H. Williamson, Albrecht Schmidt, Roderick Murray-Smith:
  Low-Dimensional Embeddings for Interaction Design. Adv. Intell. Syst. 4(2) (2022)
• 
  Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige:
  Safety assurance of an industrial robotic control system using hardware/software co-verification. Sci. Comput. Program. 216: 102766 (2022)
• 2021
• 
  Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige:
  Safety assurance of an industrial robotic control system using hardware/software co-verification. CoRR abs/2112.12248 (2021)
• 2020
• 
  Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag:
  Safety Assurance of a High Voltage Controller for an Industrial Robotic System. SBMF 2020: 45-63
• 2019
• 
  Yvonne Murray, David A. Anisi:
  Survey of Formal Verification Methods for Smart Contracts on Blockchain. NTMS 2019: 1-6
• 2017
• 
  Simon Judge, Nicola Randall, Yvonne Lynch, Stuart Meredith, Liz Moulam, Janice Murray, Juliet Goldbart:
  The Language and Communication Characteristics of Communication Aids - A Systematic Review. AAATE Conf. 2017: 347-350
• 
  Matt Jones, Manfred Tscheligi, Yvonne Rogers, Roderick Murray-Smith:
  Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017. ACM 2017, ISBN 978-1-4503-5075-4 [contents]