• 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

• 2022
• 
  Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac:
  Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS 2022: 16-26
• 2021
• 
  Seth Carbon, Eric Douglass, Benjamin M. Good, Deepak R. Unni, Nomi L. Harris, Christopher J. Mungall, Siddartha Basu, Rex L. Chisholm, Robert J. Dodson, Eric Hartline, Petra Fey, Paul D. Thomas, Laurent-Philippe Albou, Dustin Ebert, Michael J. Kesling, Huaiyu Mi, Anushya Muruganujan, Xiaosong Huang, Tremayne Mushayahama, Sandra A. LaBonte, Deborah A. Siegele, Giulia Antonazzo, Helen Attrill, Nick H. Brown, Phani V. Garapati, Steven J. Marygold, Vitor Trovisco, Gilberto dos Santos, Kathleen Falls, Christopher J. Tabone, Pinglei Zhou, Joshua L. Goodman, Victor B. Strelets, Jim Thurmond, Penelope Garmiri, Rizwan Ishtiaq, Milagros Rodríguez-López, Marcio Luis Acencio, Martin Kuiper, Astrid Lægreid, Colin Logie, Ruth C. Lovering, Barbara Kramarz, Shirin C. C. Saverimuttu, Sandra M. Pinheiro, Heather Gunn, Renzhi Su, Katherine E. Thurlow, Marcus C. Chibucos, Michelle G. Giglio, Suvarna Nadendla, James B. Munro, Rebecca C. Jackson, Margaret J. Duesbury, Noemi del-Toro, Birgit H. M. Meldal, Kalpana Paneerselvam, Livia Perfetto, Pablo Porras, Sandra E. Orchard, Anjali Shrivastava, Hsin-Yu Chang, Robert D. Finn, Alex L. Mitchell, Neil D. Rawlings, Lorna J. Richardson, Amaia Sangrador-Vegas, Judith A. Blake, Karen R. Christie, Mary E. Dolan, Harold J. Drabkin, David P. Hill, Li Ni, Dmitry M. Sitnikov, Midori A. Harris, Stephen G. Oliver, Kim Rutherford, Valerie Wood, Jaqueline Hayles, Jürg Bähler, Elizabeth R. Bolton, Jeffrey DePons, Melinda R. Dwinell, G. Thomas Hayman, Mary L. Kaldunski, Anne E. Kwitek, Stanley J. F. Laulederkind, Cody Plasterer, Marek Tutaj, Mahima Vedi, Shur-Jen Wang, Peter D'Eustachio, Lisa Matthews, James P. Balhoff, Suzi A. Aleksander, Michael J. Alexander, J. Michael Cherry, Stacia R. Engel, Felix Gondwe, Kalpana Karra, Stuart R. Miyasato, Robert S. Nash, Matt Simison, Marek S. Skrzypek, Shuai Weng, Edith D. Wong, Marc Feuermann, Pascale Gaudet, Anne Morgat, Erica Bakker, Tanya Z. Berardini, Leonore Reiser, Shabari Subramaniam, Eva Huala, Cecilia N. Arighi, Andrea H. Auchincloss, Kristian B. Axelsen, Ghislaine Argoud-Puy, Alex Bateman, Marie-Claude Blatter, Emmanuel Boutet, Emily Bowler, Lionel Breuza, Alan J. Bridge, Ramona Britto, Hema Bye-A-Jee, Cristina Casals-Casas, Elisabeth Coudert, Paul Denny, Anne Estreicher, Maria Livia Famiglietti, George E. Georghiou, Arnaud Gos, Nadine Gruaz-Gumowski, Emma Hatton-Ellis, Chantal Hulo, Alexandr Ignatchenko, Florence Jungo, Kati Laiho, Philippe Le Mercier, Damien Lieberherr, Antonia Lock, Yvonne Lussi, Alistair MacDougall, Michele Magrane, Maria Jesus Martin, Patrick Masson, Darren A. Natale, Nevila Hyka-Nouspikel, Ivo Pedruzzi, Lucille Pourcel, Sylvain Poux, Sangya Pundir, Catherine Rivoire, Elena Speretta, Shyamala Sundaram, Nidhi Tyagi, Kate Warner, Rossana Zaru, Cathy H. Wu, Alexander D. Diehl, Juancarlos Chan, Christian A. Grove, Raymond Y. N. Lee, Hans-Michael Müller, Daniela Raciti, Kimberly Van Auken, Paul W. Sternberg, Matthew Berriman, Michael Paulini, Kevin L. Howe, Sibyl Gao, Adam Wright, Lincoln Stein, Douglas G. Howe, Sabrina Toro, Monte Westerfield, Pankaj Jaiswal, Laurel Cooper, Justin Elser:
  The Gene Ontology resource: enriching a GOld mine. Nucleic Acids Res. 49(Database-Issue): D325-D334 (2021)
• 2020
• 
  Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie:
  Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28(2): 644-652 (2020)
• 2019
• 
  Blake C. Rawlings, Venkatachalam Avadiappan, Stéphane Lafortune, Christos T. Maravelias, John M. Wassick:
  Incorporating automation logic in online chemical production scheduling. Comput. Chem. Eng. 128: 201-215 (2019)
• 2018
• 
  Blake C. Rawlings, John M. Wassick, B. Erik Ydstie:
  Application of formal verification and falsification to large-scale chemical plant automation systems. Comput. Chem. Eng. 114: 211-220 (2018)
• 
  Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia:
  Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018)
• 2017
• 
  Blake C. Rawlings, B. Erik Ydstie:
  Falsification of combined invariance and reachability specifications in hybrid control systems. Discret. Event Dyn. Syst. 27(2): 463-479 (2017)
• 2015
• 
  Blake C. Rawlings, John M. Wassick, B. Erik Ydstie:
  Error detection for chemical plant automation logic using supervisory control theory. CCA 2015: 376-381
• 2014
• 
  Blake C. Rawlings, Ben Christenson, John M. Wassick, B. Erik Ydstie:
  Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control. WODES 2014: 195-200