Publications


2024

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
Theoretical Computer Science.

2023

With Alcides Fonseca.
Genetic and Evolutionary Computation Conference (GECCO 2023).
With Yiannis Giannakopoulos.
Theory of Computing Systems.
With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
32nd European Symposium on Programming (ESOP 2023).
With Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender and Philip Lazos.
SIAM Journal on Computing.
With Yiannis Giannakopoulos and Alexandros Tsigonias-Dimitriadis.
ACM Transactions on Economics and Computation.

2022

With George Christodoulou, Martin Gairing, Yiannis Giannakopoulos and Clara Waldmann.
Mathematics of Operations Research.
With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022).
With Simon J. Gay and Vasco T. Vasconcelos.
25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022).
With José Félix Costa and Vasco Boavida de Brito.
International Journal of Foundations of Computer Science.

2021

With Layla Martin, Stefan Minner and Andreas S. Schulz.
Transportation Science.
With Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender and Philip Lazos.
22nd ACM Conference on Economics and Computation (EC 2021).
With Yiannis Giannakopoulos and Alexander Hammerl.
Algorithmica.
With Yiannis Giannakopoulos and Keyu Zhu.
ACM Transactions on Economics and Computation (TEAC).
With Jeffery Zucker.
Journal of Logic and Computation.

2020

With Yiannis Giannakopoulos and Alexandros Tsigonias-Dimitriadis.
16th Conference on Web and Internet Economics (WINE 2020).
With Yiannis Giannakopoulos.
13th Symposium on Algorithmic Game Theory (SAGT 2020).
With Yiannis Giannakopoulos and Alexander Hammerl.
13th Symposium on Algorithmic Game Theory (SAGT 2020).
With George Christodoulou, Martin Gairing, Yiannis Giannakopoulos and Clara Waldmann.
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020).
My talk is available on YouTube (click the above link).
With Jeffery Zucker.
Logical Foundations of Computer Science (LFCS 2020).

2019

With Thomas Goldbrunner, Nguyen Anh Vu Doan, Thomas Wild and Andreas Herkersdorf.
32nd IEEE International System-on-Chip Conference (SOCC 2019).
With Jeffery Zucker.
Logical Methods in Computer Science.

2018

With Jeffery Zucker.
Computability: The Journal of the Association CiE.
With Bartosz Protas.
Discrete and Continuous Dynamical Systems - Series B.

2017

PhD dissertation, McMaster University.
Advisor: Jeffery Zucker.
With José Félix Costa.
Axiomathes.

2016

With Tânia Ambaram, Edwin Beggs, José Félix Costa and John V. Tucker.
Advances in Unconventional Computing. Emergence, Complexity and Computation, 22, Chapter IV.
With Jeffery Zucker.
Mathematical and Computational Approaches in Advancing Modern Science and Engineering.
With Edwin Beggs, José Félix Costa and John V. Tucker.
Mathematical Structures in Computer Science.

2014

With Luca Manzoni and Antonio E. Porreca.
International Journal of Foundations of Computer Science.
With Edwin Beggs, José Félix Costa and John V. Tucker.
International Journal of Foundations of Computer Science.

2013

With Edwin Beggs, José Félix Costa and John V. Tucker.
Journal of Logic and Computation.
With Edwin Beggs, José Félix Costa and John V. Tucker.
Unconventional Computation and Natural Computation.
MSc dissertation, Instituto Superior Técnico.
Advisor: José Félix Costa.

2012

Números, cirurgias e nós de gravata: 10 anos de Seminário Diagonal no IST, IST Press.