- Ralf Lämmel, Vadim Zaytsev. Recovering Grammar Relationships for the Java Language Specification. CoRR, abs/1008.4188:1-46, August 2010.
- Jan A. Bergstra, C. A. Middelburg. Transmission protocols for instruction streams. CoRR, abs/0902.2859, 2009.
- Jan A. Bergstra, Inge Bethke. Square root meadows. CoRR, abs/0901.4664, 2009.
- Jan A. Bergstra, C. A. Middelburg. Instruction sequence notations with probabilistic instructions. CoRR, abs/0906.3083, 2009.
- Jan A. Bergstra, C. A. Middelburg. Meadow Enriched ACP Process Algebras. CoRR, abs/0901.3012, 2009.
- Frederic Brochu, Ulrik Egede, J. Elmsheuser, K. Harrison, R. W. L. Jones, H. C. Lee, Dietrich Liko, A. Maier, Jakub T. Moscicki, A. Muraru, Glen N. Patrick, K. Pajchel, W. Reece, B. H. Samset, M. W. Slater, A. Soroko, C. L. Tan, Daniel C. Vanderster. Ganga: a tool for computational-task management and easy access to Grid resources. CoRR, abs/0902.2685, 2009.
- Benjamin Piwowarski, Mounia Lalmas. A Quantum-based Model for Interactive Information Retrieval (extended version). CoRR, abs/0906.4026, 2009.
- Jan A. Bergstra, C. A. Middelburg. A process calculus with finitary comprehended terms. CoRR, abs/0903.2914, 2009.
- Jan A. Bergstra, C. A. Middelburg. Timed tuplix calculus and the Wesseling and van den Berg equation. CoRR, abs/0901.3003, 2009.
- Jan A. Bergstra, Inge Bethke. Straight-line instruction sequence completeness for total calculation on cancellation meadows. CoRR, abs/0905.4612, 2009.