- Sabine Glesner, Karl Stroetmann:
Combining Inclusion Polymorphism and Parametric Polymorphism. CoRR cs.LO/9906013 (1999) - Russell Bent, Michael Schear, Lane A. Hemaspaandra, Gabriel Istrate:
On Bounded-Weight Error-Correcting Codes. CoRR cs.OH/9906001 (1999) - Marsha Chechik, Dimitrie O. Paun:
Events in Property Patterns. CoRR cs.SE/9906029 (1999) - Marsha Chechik:
SCR3: towards usability of formal methods. CoRR cs.SE/9906030 (1999) - Dimitrie O. Paun, Marsha Chechik:
Events in Linear-Time Properties. CoRR cs.SE/9906031 (1999) - Andre Wong, Marsha Chechik:
Formal Modeling in a Commercial Setting: A Case Study. CoRR cs.SE/9906032 (1999) - Tomoyuki Yamakami:
A Foundation of Programming a Multi-Tape Quantum Turing machine. CoRR quant-ph/9906084 (1999)