×
Edit Profile (opens in new tab)

Toumi, Alexis

Co-Author Distance
Author ID: toumi.alexis Recent zbMATH articles by "Toumi, Alexis"
Published as: Toumi, Alexis
Homepage: https://www.cs.ox.ac.uk/people/alexis.toumi/
External Links: ORCID · Google Scholar · ResearchGate · dblp
Documents Indexed: 10 Publications since 2015, including 5 Additional arXiv Preprints
Co-Authors: 10 Co-Authors with 8 Joint Publications
228 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
6 de Felice, Giovanni
2 Yeung, Richie
1 Coecke, Bob
1 Di Lavore, Elena
1 Gutierrez, Julian
1 Koziell-Pipe, Alex
1 Meichanetzidis, Konstantinos
1 Poór, Boldizsár
1 Román, Mario
1 Wooldridge, Michael J.

Serials

all top 5

Fields

4 Computer science (68-XX)
3 Category theory; homological algebra (18-XX)
1 Mathematical logic and foundations (03-XX)
1 Quantum theory (81-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

2 Publications have been cited 11 times in 11 Documents Cited by ▼ Year ▼
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 1471.68157
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
10
2015
Functorial question answering. Zbl 07453972
de Felice, Giovanni; Meichanetzidis, Konstantinos; Toumi, Alexis
1
2020
Functorial question answering. Zbl 07453972
de Felice, Giovanni; Meichanetzidis, Konstantinos; Toumi, Alexis
1
2020
A tool for the automated verification of Nash equilibria in concurrent games. Zbl 1471.68157
Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
10
2015
all cited Publications top 5 cited Publications
all top 5

Cited by 16 Authors

5 Gutierrez, Julian
5 Wooldridge, Michael J.
4 Kwiatkowska, Marta Z.
3 Harrenstein, Paul
3 Norman, Gethin
3 Parker, David F.
3 Perelli, Giuseppe
3 Santos, Gabriel Pinheiro Alves
1 Correia, Adriana D.
1 Jamroga, Wojciech
1 Malvone, Vadim
1 Moortgat, Michael
1 Murano, Aniello
1 Najib, Muhammad
1 Stoof, Henk T. C.
1 Svoreňová, Mária
all top 5

Cited in 7 Serials

3 Artificial Intelligence
1 Annals of Pure and Applied Logic
1 Information and Computation
1 Formal Methods in System Design
1 European Journal of Control
1 Quantum Information Processing
1 Logical Methods in Computer Science
all top 5

Cited in 6 Fields

10 Computer science (68-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Mathematical logic and foundations (03-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Citations by Year