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

• 2019
• 
  Clarence Worrell, K. Louis Luangkesorn, Joel Haight, Thomas Congedo:
  Machine learning of fire hazard model simulations for use in probabilistic safety assessments at nuclear power plants. Reliab. Eng. Syst. Saf. 183: 128-142 (2019)
• 2016
• 
  Thomas Haigh:
  Turing: Pioneer of the Information Age. Jack Copeland. Oxford: Oxford University Press, 2013, 224 pp. $17.95 (paperback). (ISBN 9780198719182). J. Assoc. Inf. Sci. Technol. 67(7): 1787-1789 (2016)
• 
  Mohamed L. Seghier, Elnas Patel, Susan Prejawa, Sue Ramsden, Andre Selmer, Louise Lim, Rachel Browne, Johanna Rae, Zula Haigh, Deborah Ezekiel, Thomas M. H. Hope, Alexander P. Leff, Cathy J. Price:
  The PLORAS Database: A data repository for Predicting Language Outcome and Recovery After Stroke. NeuroImage 124: 1208-1212 (2016)
• 2012
• 
  Thomas Haigh:
  Emanuel Goldberg and his knowledge machine. J. Assoc. Inf. Sci. Technol. 63(2): 427-428 (2012)
• 2011
• 
  Jenna Hartel, Ronald E. Day, Thomas Haigh, Siobhan Stevenson:
  The future of information history. ASIST 2011: 1-2
• 2009
• 
  Thomas J. Bergin, Thomas Haigh:
  The Commercialization of Database Management Systems, 1969–1983. IEEE Ann. Hist. Comput. 31(4): 26-41 (2009)
• 
  Charles N. Payne Jr., Richard C. O'Brien, J. Thomas Haigh:
  The case for prevention-based, host-resident defenses in the modern PCS network. CSIIRW 2009: 49
• 
  J. Thomas Haigh, Steven A. Harp, Richard C. O'Brien, Charles N. Payne, Johnathan Gohde, John Maraist:
  Trapping Malicious Insiders in the SPDR Web. HICSS 2009: 1-10
• 2008
• 
  Chigusa Kita, Thomas Haigh, Dag Spicer, Akihiko Yamada, Thomas J. Misa:
  Events and Sightings. IEEE Ann. Hist. Comput. 30(2): 64-67 (2008)
• 2006
• 
  Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean:
  Information Assurance Technology Forecast 2005. IEEE Secur. Priv. 4(1): 62-69 (2006)
• 
  David G. Haigh, Thomas J. W. Clarke, Paul M. Radmore:
  Symbolic Framework for Linear Active Circuits Based on Port Equivalence Using Limit Variables. IEEE Trans. Circuits Syst. I Regul. Pap. 53-I(9): 2011-2024 (2006)
• 
  Noriko Hara, Pnina Shachaf, Thomas Haigh, Thomas P. Mackey, Robert J. Sandusky, Elisabeth Davenport:
  Knowledge sharing in online communities of practice: Digital trends. ASIST 2006: 1-10
• 
  David G. Haigh, Thomas J. W. Clarke, Paul M. Radmore:
  A mathematical framework for active circuits based on port equivalence using limit variables. ISCAS 2006
• 2005
• 
  Steven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy:
  Automated Vulnerability Analysis Using AI Planning. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 46-53
• 
  Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp:
  Course of Action Generation for Cyber Security Using Classical Planning. ICAPS 2005: 12-21
• 2004
• 
  Karen Zita Haigh, Liana M. Kiff, Janet Myers, Valerie Guralnik, Christopher W. Geib, John Phelps, Thomas Wagner:
  The Independent LifeStyle Assistant^TM (I.L.S.A.): AI Lessons Learned. AAAI 2004: 852-857
• 1997
• 
  James P. Anderson, Sheila Brand, Li Gong, Thomas Haigh, Steven B. Lipner, Teresa F. Lunt, Ruth Nelson, William Neugent, Hilarie K. Orman, Marcus J. Ranum, Roger R. Schell, Eugene H. Spafford:
  Firewalls: An Expert Roundtable. IEEE Softw. 14(5): 60-66 (1997)
• 1990
• 
  Dan J. Thomsen, J. Thomas Haigh:
  A comparison of type enforcement and Unix setuid implementation of well-formed transactions. ACSAC 1990: 304-312
• 
  J. Thomas Haigh, Richard C. O'Brien, D. J. Thomsen:
  The LDV Secure Relational DBMS Model. DBSec 1990: 265-280
• 1989
• 
  Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups:
  Noninterference and the Unwinding for LOCK. CSFW 1989: 22-28
• 
  J. Thomas Haigh, Richard C. O'Brien, Paul D. Stachour, Dana L. Toups:
  The LDV Approach to Database Security. DBSec 1989: 323-339
• 1988
• 
  D. J. Thomsen, J. Thomas Haigh, Carl E. Landwehr:
  Discussion Notes and Research Question List. DBSec 1988: 263-280
• 1987
• 
  J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young:
  An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. 13(2): 157-168 (1987)
• 
  J. Thomas Haigh, William D. Young:
  Extending the Noninterference Version of MLS for SAT. IEEE Trans. Software Eng. 13(2): 141-150 (1987)
• 
  J. Thomas Haigh:
  Modeling Datbase Security Requirements. DBSec 1987: 45-56
• 1986
• 
  J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young:
  An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. S&P 1986: 14-24
• 
  J. Thomas Haigh, William D. Young:
  Extending the Non-Interference Version of MLS for SAT. S&P 1986: 60