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

• 2024
• 
  Kerry Lynn Davis-Amendola, Mohamadreza Arab Baferani, Tohid Shahsavarian, Chuanyang Li, Wesley W. Zhong, Joanne Ronzello, Roger C. Walker, Yang Cao:
  Electrical Treeing at High Altitude: Effect of Pressure and Temperature. IEEE Access 12: 137825-137835 (2024)
• 
  Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff:
  CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. 22(4): 50-61 (2024)
• 
  Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson:
  Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) 2024: 251-268
• 
  Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh:
  In Memory of Martin Davis. CoRR abs/2401.10154 (2024)
• 2023
• 
  William J. Wesley:
  Algebraic and Boolean Methods for Computation and Certification of Ramsey-type Numbers. University of California, Davis, USA, 2023
• 
  Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
  Architectural Contracts for Safe Speculation. ICCD 2023: 578-586
• 2022
• 
  Rhys Newbury, Akansel Cosgun, Tysha Crowley-Davis, Wesley P. Chan, Tom Drummond, Elizabeth A. Croft:
  Visualizing Robot Intent for Object Handovers with Augmented Reality. RO-MAN 2022: 1264-1270
• 2021
• 
  Rhys Newbury, Akansel Cosgun, Tysha Crowley-Davis, Wesley P. Chan, Tom Drummond, Elizabeth A. Croft:
  Visualizing Robot Intent for Object Handovers with Augmented Reality. CoRR abs/2103.04055 (2021)
• 2020
• 
  Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson:
  Cornucopia: Temporal Safety for CHERI Heaps. SP 2020: 608-625
• 
  Wesley Davis, Richard Noren:
  Composite Quadrature Methods for Weakly Singular Convolution Integrals. CoRR abs/2001.08207 (2020)
• 2019
• 
  Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony C. J. Fox, Robert M. Norton, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Wesley Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore:
  CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 68(10): 1455-1469 (2019)
• 
  Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff:
  CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS 2019: 379-393
• 2015
• 
  Wesley C. Davis, Zizhong John Wang:
  A Mobile Retail POS: Design and Implementation. Mobidata@MobiHoc 2015: 49-51
• 2014
• 
  Wesley T. Kerr, Eric S. Hwang, Kaavya R. Raman, Sarah E. Barritt, Akash B. Patel, Justine M. Le, Jessica M. Hori, Emily C. Davis, Chelsea T. Braesch, Emily A. Janio, Edward P. Lau, Andrew Y. Cho, Ariana E. Anderson, Daniel H. S. Silverman, Noriko Salamon, Jerome Engel, John M. Stern, Mark S. Cohen:
  Multimodal diagnosis of epilepsy using conditional dependence and multiple imputation. PRNI 2014: 1-4
• 2012
• 
  Daniel H. Ashmead, D. Wesley Grantham, Erin S. Maloff, Benjamin W. Y. Hornsby, Takabun Nakamura, Timothy J. Davis, Faith S. Pampel, Erin G. Rushing:
  Auditory Perception of Motor Vehicle Travel Paths. Hum. Factors 54(3): 437-453 (2012)
• 2009
• 
  Wesley M. Eddy, Will Ivancic, Terry Davis:
  Network Mobility Route Optimization Requirements for Operational Use in Aeronautics and Space Exploration Mobile Networks. RFC 5522: 1-31 (2009)
• 2003
• 
  Qiang Wang, Brian D. Davison:
  Review of Web caching and replication by Michael Rabinovich and Oliver Spatscheck. Addison Wesley 2002. SIGMOD Rec. 32(4): 107-108 (2003)
• 1995
• 
  Ralph Davis:
  Windows NT network programming - how to survive in a 32-Bit networking world. Addison-Wesley 1995, ISBN 978-0-201-62278-2, pp. I-XV, 1-576
• 1989
• 
  Daniel H. Fishman, Jurgen Annevelink, David Beech, E. C. Chow, Tim Connors, J. W. Davis, Waqar Hasan, C. G. Hoch, William Kent, S. Leichner, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, Tore Risch, Ming-Chien Shan, W. Kevin Wilkinson:
  Overview of the Iris DBMS. Object-Oriented Concepts, Databases, and Applications 1989: 219-250