JG Henriksen, J Jensen, M Jørgensen, N Klarlund, R Paige, T Rauhe, ...

Tools and Algorithms for the Construction and Analysis of Systems: First …, 1995

J Bastings, S Ebert, P Zablotskaia, A Sandholm, K Filippova

arXiv preprint arXiv:2111.07367, 2021

A Sandholm, MI Schwartzbach

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000

A Sandholm, MI Schwartzbach

International Conference on Fundamental Approaches to Software Engineering …, 1998

C Brabrand, A Møller, A Sandholm, MI Schwartzbach

Computer Networks 31 (11-16), 1391-1401, 1999

JG Riecke, A Sandholm

Information and Computation 179 (2), 296-331, 2002

S Narayan, J Maynez, RK Amplayo, K Ganchev, A Louis, F Huot, ...

Transactions of the Association for Computational Linguistics 11, 974-996, 2023

J Gulmann, J Jensen, M Jørgensen, N Klarlund, T Rauhe, A Sandholm

TACAS, 58-73, 1995

R Aralikatte, H Lent, AV Gonzalez, D Hershcovich, C Qiu, A Sandholm, ...

arXiv preprint arXiv:1909.02392, 2019

T Hune, A Sandholm

International Conference on Fundamental Approaches to Software Engineering …, 2000

N Garneau, M Hartmann, A Sandholm, S Ruder, I Vulić, A Søgaard

Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12884 …, 2021

F Huot, J Maynez, S Narayan, RK Amplayo, K Ganchev, AP Louis, ...

Proceedings of the 17th Conference of the European Chapter of the …, 2023

C Brabrand, A Møller, A Sandholm, MI Schwartzbach

Submitted for publication, 1999

AB Sandholm

BRICS, 2000

MI Schwartzbach, A Sandholm

Proccedings on Conference on Fundamental Approaches to Software Engineering …, 1998