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

• 2023
• 
  Robert M. Marmorstein:
  Thinking Inside the Box: Using Containers To Encourage Commit Discipline. J. Comput. Sci. Coll. 39(3): 110-118 (2023)
• 2020
• 
  Robert M. Marmorstein:
  SPIFS: short project instructional file system. J. Comput. Sci. Coll. 36(3): 111-120 (2020)
• 2015
• 
  Robert M. Marmorstein:
  Teaching semaphores using... semaphores. J. Comput. Sci. Coll. 30(3): 117-125 (2015)
• 2011
• 
  Robert M. Marmorstein:
  Open source contribution as an effective software engineering class project. ITiCSE 2011: 268-272
• 2007
• 
  Robert M. Marmorstein, Phil Kearns:
  Debugging a Firewall Policy with Policy Mapping. login Usenix Mag. 32(1) (2007)
• 
  Robert M. Marmorstein, Phil Kearns:
  Assisted Firewall Policy Repair Using Examples and History. LISA 2007: 27-37
• 2006
• 
  Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu:
  The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8(1): 4-25 (2006)
• 
  Robert M. Marmorstein, Phil Kearns:
  Firewall Analysis with Policy-based Host Classification. LISA 2006: 41-51
• 2005
• 
  Robert M. Marmorstein, Phil Kearns:
  An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. LISA 2005: 103-112
• 
  Robert M. Marmorstein, Phil Kearns:
  A Tool for Automated iptables Firewall Analysis. USENIX ATC, FREENIX Track 2005: 71-81
• 2003
• 
  Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu:
  Saturation Unbound. TACAS 2003: 379-393
• 2002
• 
  Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu:
  SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN 2002: 545