- Anas Shatnawi, Hafedh Mili, Manel Abdellatif, Yann-Gaël Guèhèneuc, Naouel Moha, Geoffrey Hecht, Ghizlane El-Boussaidi, Jean Privat. Static Code Analysis of Multilanguage Software Systems. CoRR, abs/1906.00815, 2019.
- 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.