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

• 2024
• 
  Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
  CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. SP 2024: 3165-3183
• 
  Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
  SAT-Based Subsumption Resolution. CoRR abs/2401.17832 (2024)
• 
  Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
  CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. IACR Cryptol. ePrint Arch. 2024: 534 (2024)
• 2023
• 
  Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
  SAT-Based Subsumption Resolution. CADE 2023: 190-206
• 
  Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
  CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. CoRR abs/2305.12173 (2023)
• 2022
• 
  Leonid Chindelevitch, Elita Jauneikaite, Nicole E. Wheeler, Kasim Allel, Bede Yaw Ansiri-Asafoakaa, Wireko A. Awuah, Denis C. Bauer, Stephan Beisken, Kara Fan, Gary Grant, Michael Graz, Yara Khalaf, Veranja Liyanapathirana, Carlos Montefusco-Pereira, Lawrence Mugisha, Atharv Naik, Sylvia Nanono, Anthony Nguyen, Timothy Rawson, Kessendri Reddy, Juliana M. Ruzante, Anneke Schmider, Roman Stocker, Leonhardt Unruh, Daniel Waruingi, Heather Graz, Maarten van Dongen:
  Applying data technologies to combat AMR: current status, challenges, and opportunities on the way forward. CoRR abs/2208.04683 (2022)
• 2021
• 
  Agnes Njane, Rebecca M. Jedwab, Rafael Calvo, Naomi Dobroff, Nicholas Glozier, Alison M. Hutchinson, Michael Leiter, Elizabeth Manias, Katrina Nankervis, Helen Rawson, Bernice Redley:
  Perioperative Nurses' Perceptions Pre-Implementation of an Electronic Medical Record System. Nursing Informatics 2021: 522-527
• 
  Somtochukwu Amaka Osajiuba, Rebecca M. Jedwab, Rafael A. Calvo, Naomi Dobroff, Nicholas Glozier, Alison M. Hutchinson, Michael Leiter, Katrina Nankervis, Helen Rawson, Bernice Redley, Elizabeth Manias:
  Facilitators and Barriers to the Adoption of an Electronic Medical Record System by Intensive Care Nurses. Nursing Informatics 2021: 510-515
• 
  Shaluni Tissera, Rebecca M. Jedwab, Rafael A. Calvo, Naomi Dobroff, Nicholas Glozier, Alison M. Hutchinson, Michael Leiter, Elizabeth Manias, Katrina Nankervis, Helen Rawson, Bernice Redley:
  Older Nurses' Perceptions of an Electronic Medical Record Implementation. Nursing Informatics 2021: 516-521
• 2020
• 
  David Tomasek, Shaun Rawson, James Lee, Joseph S. Wzorek, Stephen C. Harrison, Zongli Li, Daniel Kahne:
  Structure of a nascent membrane protein as it folds on the BAM complex. Nat. 583(7816): 473-478 (2020)
• 2019
• 
  Daniel J. Preston, Haihui Joy Jiang, Vanessa Sanchez, Philipp Rothemund, Jeff Rawson, Markus P. Nemitz, Won-Kyu Lee, Zhigang Suo, Conor J. Walsh, George M. Whitesides:
  A soft ring oscillator. Sci. Robotics 4(31) (2019)
• 2012
• 
  Landon H. Sego, Andrés Márquez, Andrew Rawson, Tahir Cader, Kevin Fox, William I. Gustafson Jr., Christopher J. Mundy:
  Implementing the data center energy productivity metric. ACM J. Emerg. Technol. Comput. Syst. 8(4): 30:1-30:22 (2012)
• 2010
• 
  Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter:
  Architecting for power management: The IBM POWER7^TM approach. HPCA 2010: 1-11
• 
  Karthick Rajamani, Freeman L. Rawson III, Malcolm S. Ware, Heather Hanson, John B. Carter, Todd J. Rosedahl, Andrew J. Geissler, Guillermo J. Silva, Hong Hua:
  Power-performance management on an IBM POWER7 server. ISLPED 2010: 201-206
• 2007
• 
  Michael S. Floyd, Soraya Ghiasi, Tom W. Keller, Karthick Rajamani, Freeman L. Rawson III, Juan C. Rubio, Malcolm S. Ware:
  System power management support in the IBM POWER6 microprocessor. IBM J. Res. Dev. 51(6): 733-746 (2007)
• 
  Hye-Young McCreary, Martha A. Broyles, Michael S. Floyd, Andrew J. Geissler, Steven P. Hartman, Freeman L. Rawson III, Todd J. Rosedahl, Juan C. Rubio, Malcolm S. Ware:
  EnergyScale for IBM POWER6 microprocessor-based systems. IBM J. Res. Dev. 51(6): 775-786 (2007)
• 
  Jeffrey O. Kephart, Hoi Y. Chan, Rajarshi Das, David W. Levine, Gerald Tesauro, Freeman L. Rawson III, Charles Lefurgy:
  Coordinating Multiple Autonomic Managers to Achieve Specified Power-Performance Tradeoffs. ICAC 2007: 24
• 
  Heather Hanson, Stephen W. Keckler, Karthick Rajamani, Soraya Ghiasi, Freeman L. Rawson III, Juan Rubio:
  Power, Performance, and Thermal Management for High-Performance Systems. IPDPS 2007: 1-8
• 
  Heather Hanson, Stephen W. Keckler, Soraya Ghiasi, Karthick Rajamani, Freeman L. Rawson III, Juan Rubio:
  Thermal response to DVFS: analysis with an Intel Pentium M. ISLPED 2007: 219-224
• 
  Gerald Tesauro, Rajarshi Das, Hoi Y. Chan, Jeffrey O. Kephart, David W. Levine, Freeman L. Rawson III, Charles Lefurgy:
  Managing Power Consumption and Performance of Computing Systems Using Reinforcement Learning. NIPS 2007: 1497-1504
• 2006
• 
  Karthick Rajamani, Heather Hanson, Juan Rubio, Soraya Ghiasi, Freeman L. Rawson III:
  Application-Aware Power Management. IISWC 2006: 39-48
• 2003
• 
  Wesley M. Felter, Tom W. Keller, Michael Kistler, Charles Lefurgy, Karthick Rajamani, Ramakrishnan Rajamony, Freeman L. Rawson III, Bruce A. Smith, Eric Van Hensbergen:
  On the performance and use of dense servers. IBM J. Res. Dev. 47(5-6): 671-688 (2003)
• 2001
• 
  Bishop Brock, Gary D. Carpenter, Eli Chiprout, Mark E. Dean, Philippe L. De Backer, E. N. Elnozahy, Hubertus Franke, Mark Giampapa, David Glasco, James L. Peterson, Ramakrishnan Rajamony, Rajan Ravindran, Freeman L. Rawson III, Ronald L. Rockhold, Juan Rubio:
  Experience with building a commodity Intel-based ccNUMA system. IBM J. Res. Dev. 45(2): 207-228 (2001)
• 1995
• 
  J. L. Rawson, Rajendra S. Katti:
  The Iterative Solution of Lyapunov Equations. PP 1995: 287-288
• 1988
• 
  Ross L. Cook, Freeman L. Rawson III, Jay A. Tunkel, Robert L. Williams:
  Writing an Operating System/2 Application. IBM Syst. J. 27(2): 134-157 (1988)
• 
  Michael S. Kogan, Freeman L. Rawson III:
  The Design of Operating System/2. IBM Syst. J. 27(2): 90-104 (1988)