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

• 1996
• 
  Jon Agar:
  The Provision of Digital Computers to British Universities up to the Flowers Report (1966). Comput. J. 39(7): 630-642 (1996)
• 
  Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams:
  A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996)
• 
  Patrick van Bommel, Paul J. M. Frederiks, Theo P. van der Weide:
  Object-Oriented Modelling Based on Logbooks. Comput. J. 39(9): 793-799 (1996)
• 
  Egon Börger, Igor Durdanovic:
  Correctness of Compiling Occam to Transputer Code. Comput. J. 39(1): 52-92 (1996)
• 
  Panayiotis Bozanis, Nectarios Kitsios, Christos Makris, Athanasios K. Tsakalidis:
  Red-Blue Intersection Reporting for Objects of Non-Constant Size. Comput. J. 39(6): 541-546 (1996)
• 
  Ing-Ray Chen, Chi-Ming Chen:
  Threshold-Based Admission Control Policies for Multimedia Servers. Comput. J. 39(9): 757-766 (1996)
• 
  Ing-Ray Chen, Ding-Chau Wang:
  Analysis of Replicated Data with Repair Dependency. Comput. J. 39(9): 767-779 (1996)
• 
  Tsong Yueh Chen, Yuen-Tak Yu:
  Constraints for Safe Partition Testing Strategies. Comput. J. 39(7): 619-625 (1996)
• 
  Cristina Cifuentes, Anne Fitzgerald:
  Australian Recommendations on Computer Software Protection. Comput. J. 39(7): 566-576 (1996)
• 
  Manuel Díaz, Bartolomé Rubio, José M. Troya:
  Distributed Programming with a Logic Channel Based Coordination Model. Comput. J. 39(10): 876-889 (1996)
• 
  Goran Lj. Djordjevic, Milorad B. Tosic:
  A Compile-Time Scheduling Heuristic for Multiprocessor Architectures. Comput. J. 39(8): 663-674 (1996)
• 
  Chongjiang Du:
  An Interpolation Method for Grid-Based Terrain Modelling. Comput. J. 39(10): 837-843 (1996)
• 
  Peter M. Fenwick:
  The Burrows-Wheeler Transform for Block Sorting Text Compression: Principles and Improvements. Comput. J. 39(9): 731-740 (1996)
• 
  Stephen Fitzpatrick, Maurice Clint, Terence J. Harmer, Peter Kilpatrick:
  The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation. Comput. J. 39(2): 145-168 (1996)
• 
  Maarten M. Fokkinga:
  Expressions That Talk About Themselves. Comput. J. 39(5): 386-407 (1996)
• 
  Linda C. van der Gaag:
  Bayesian Belief Networks: Odds and Ends. Comput. J. 39(2): 97-113 (1996)
• 
  Tamás D. Gedeon:
  The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation. Comput. J. 39(4): 353-356 (1996)
• 
  J. P. Geschiere, Wilbert H. F. J. Körver:
  A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework. Comput. J. 39(5): 386-407 (1996)
• 
  Anthony N. Godwin:
  Building a Semantic Description for a Data Modelling Language. Comput. J. 39(4): 275-290 (1996)
• 
  Jim Grundy:
  Transformational Hierarchical Reasoning. Comput. J. 39(4): 291-302 (1996)
• 
  Qian-Ping Gu, Shietung Peng:
  Optimal Algorithms for Node-to-Node Fault Tolerant Routing in Hypercubes. Comput. J. 39(7): 626-629 (1996)
• 
  Qian-Ping Gu, Shietung Peng:
  An Efficient Algorithm for Node-to-Node Routing in Hypercubes with Faulty Clusters. Comput. J. 39(1): 14-19 (1996)
• 
  Robert M. Hierons:
  Extending Test Sequence Overlap by Invertibility. Comput. J. 39(4): 325-330 (1996)
• 
  Arthur H. M. ter Hofstede, E. Lippe, Paul J. M. Frederiks:
  Conceptual Data Modelling from a Categorical Perspective. Comput. J. 39(3): 215-231 (1996)
• 
  Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide:
  Query Formulation as an Information Retrieval Problem. Comput. J. 39(4): 255-274 (1996)
• 
  Wen-Jing Hsu, Moon-Jung Chung, Zejun Hu:
  Gaussian Networks for Scalable Distributed Systems. Comput. J. 39(5): 417-426 (1996)
• 
  Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang:
  Reverse Protocol Verification: Concept, Algorithm and Application. Comput. J. 39(6): 511-524 (1996)
• 
  Yen-Min Huang, Chinya V. Ravishankar:
  URPC: A Toolkit for Prototyping Remote Procedure Calls. Comput. J. 39(6): 525-540 (1996)
• 
  Lucas Chi Kwong Hui, Charles U. Martel:
  Randomized Competitive Algorithms for Successful and Unsuccessful Search. Comput. J. 39(5): 427-439 (1996)
• 
  Rob Ingram, Steve Benford:
  The Application of Legibility Techniques to Enhance Information Visualizations. Comput. J. 39(10): 819-836 (1996)

skipping 41 more matches