A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. - Alexis Toumi; Julian Gutierrez 001; Michael J. Wooldridge (ICTAC, 2015)

Rational Verification: From Model Checking to Equilibrium Checking. - Michael J. Wooldridge; Julian Gutierrez 001; Paul Harrenstein; Enrico Marchioni; Giuseppe Perelli; Alexis Toumi (AAAI, 2016)

Towards Compositional Distributional Discourse Analysis. - Bob Coecke; Giovanni de Felice; Dan Marsden; Alexis Toumi (CAPNS@QI, 2018)

Generalized relations in linguistics & cognition. - Bob Coecke; Fabrizio Genovese; Martha Lewis; Dan Marsden; Alexis Toumi (Theor. Comput. Sci., 2018)

Automatic Page Classification in a Large Collection of Manuscripts Based on the International Image Interoperability Framework. - Emanuela Boros; Alexis Toumi; Erwan Rouchet; Bastien Abadie; Dominique Stutzmann; Christopher Kermorvant (ICDAR, 2019)

Montague Semantics for Lambek Pregroups. - Giovanni de Felice; Konstantinos Meichanetzidis; Alexis Toumi (ACT, 2019)

Incremental Monoidal Grammars. - Dan Shiebler; Alexis Toumi; Mehrnoosh Sadrzadeh (CoRR, 2020)

DisCoPy: Monoidal Categories in Python. - Giovanni de Felice; Alexis Toumi; Bob Coecke (ACT, 2020)

Quantum Natural Language Processing on Near-Term Quantum Computers. - Konstantinos Meichanetzidis; Stefano Gogioso; Giovanni de Felice; Nicolò Chiappori; Alexis Toumi; Bob Coecke (QPL, 2020)

Functorial Language Games for Question Answering. - Giovanni de Felice; Elena Di Lavore; Mario Román; Alexis Toumi (ACT, 2020)

Foundations for Near-Term Quantum Natural Language Processing. - Bob Coecke; Giovanni de Felice; Konstantinos Meichanetzidis; Alexis Toumi (CoRR, 2020)

Grammar-Aware Question-Answering on Quantum Computers. - Konstantinos Meichanetzidis; Alexis Toumi; Giovanni de Felice; Bob Coecke (CoRR, 2020)

Diagrammatic Differentiation for Quantum Machine Learning. - Alexis Toumi; Richie Yeung; Giovanni de Felice (QPL, 2021)

Functorial Language Models. - Alexis Toumi; Alex Koziell-Pipe (CoRR, 2021)

How to make qubits speak. - Bob Coecke; Giovanni de Felice; Konstantinos Meichanetzidis; Alexis Toumi (CoRR, 2021)

lambeq: An Efficient High-Level Python Library for Quantum NLP. - Dimitri Kartsaklis; Ian Fan; Richie Yeung; Anna Pearson; Robin Lorenz; Alexis Toumi; Giovanni de Felice; Konstantinos Meichanetzidis; Stephen Clark; Bob Coecke (CoRR, 2021)

Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics. - Lachlan McPheat; Gijs Wijnholds; Mehrnoosh Sadrzadeh; Adriana Correia; Alexis Toumi (CoRR, 2021)

Category Theory for Quantum Natural Language Processing. - Alexis Toumi (CoRR, 2022)

Category theory for quantum natural language processing. - Alexis Toumi (2022)

DisCoPy: the Hierarchy of Graphical Languages in Python. - Alexis Toumi; Richie Yeung; Boldizsár Poór; Giovanni de Felice (CoRR, 2023)

Higher-Order DisCoCat (Peirce-Lambek-Montague semantics). - Alexis Toumi; Giovanni de Felice (CoRR, 2023)

Grammar-aware sentence classification on quantum computers. - Konstantinos Meichanetzidis; Alexis Toumi; Giovanni de Felice; Bob Coecke (Quantum Mach. Intell., 2023)