Mona: Monadic Second-Order Logic in Practice. - Jesper G. Henriksen; Jakob L. Jensen; Michael E. Jørgensen; Nils Klarlund; Robert Paige; Theis Rauhe; Anders Sandholm 001 (TACAS, 1995)

Distributed Safety Controllers for Web Services. - Anders Sandholm 001; Michael I. Schwartzbach (FASE, 1998)

A Runtime System for Interactive Web Services. - Claus Brabrand; Anders Møller; Anders Sandholm 001; Michael I. Schwartzbach (Comput. Networks, 1999)

A Case Study on Using Automata in Control Synthesis. - Thomas Hune; Anders Sandholm 001 (FASE, 2000)

A Type System for Dynamic Web Documents. - Anders Sandholm 001; Michael I. Schwartzbach (POPL, 2000)

A Relational Account of Call-by-Value Sequentiality. - Jon G. Riecke; Anders Sandholm 001 (Inf. Comput., 2002)

Rewarding Coreference Resolvers for Being Consistent with World Knowledge. - Rahul Aralikatte; Heather C. Lent; Ana Valeria González-Garduño; Daniel Hershcovich; Chen Qiu 005; Anders Sandholm 001; Michael Ringaard; Anders Søgaard (EMNLP/IJCNLP (1), 2019)

Analogy Training Multilingual Encoders. - Nicolas Garneau; Mareike Hartmann; Anders Sandholm 001; Sebastian Ruder; Ivan Vulic; Anders Søgaard (AAAI, 2021)

"Will You Find These Shortcuts?" A Protocol for Evaluating the Faithfulness of Input Salience Methods for Text Classification. - Jasmijn Bastings; Sebastian Ebert; Polina Zablotskaia; Anders Sandholm 001; Katja Filippova (EMNLP, 2022)

Text-Blueprint: An Interactive Platform for Plan-based Conditional Generation. - Fantine Huot; Joshua Maynez; Shashi Narayan; Reinald Kim Amplayo; Kuzman Ganchev; Annie Priyadarshini Louis; Anders Sandholm 001; Dipanjan Das 001; Mirella Lapata (EACL (System Demonstrations), 2023)

Conditional Generation with a Question-Answering Blueprint. - Shashi Narayan; Joshua Maynez; Reinald Kim Amplayo; Kuzman Ganchev; Annie Louis; Fantine Huot; Anders Sandholm 001; Dipanjan Das 001; Mirella Lapata (Trans. Assoc. Comput. Linguistics, 2023)