Publications

2024

Polymorphic Higher-order Context-free Session Types [doi]

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

2023

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming [doi] [pdf]

With Alcides Fonseca.
Genetic and Evolutionary Computation Conference (GECCO 2023).

A Unifying Approximate Potential for Weighted Congestion Games [doi] [arXiv]

With Yiannis Giannakopoulos.
Theory of Computing Systems.

System F^μ_ω with Context-free Session Types [doi] [arXiv]

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
32nd European Symposium on Programming (ESOP 2023).

On the Complexity of Equilibrium Computation in First-Price Auctions [doi] [arXiv]

With Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender and Philip Lazos.
SIAM Journal on Computing.

Robust Revenue Maximization Under Minimal Statistical Information [doi] [arXiv]

With Yiannis Giannakopoulos and Alexandros Tsigonias-Dimitriadis.
ACM Transactions on Economics and Computation.

2022

Existence and complexity of approximate equilibria in weighted congestion games [doi] [arXiv]

With George Christodoulou, Martin Gairing, Yiannis Giannakopoulos and Clara Waldmann.
Mathematics of Operations Research.

Higher-order Context-free Session Types in System F [doi]

With Diana Costa, Andreia Mordido and Vasco T. Vasconcelos.
13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022).

The Different Shades of Infinite Session Types [doi] [arXiv]

With Simon J. Gay and Vasco T. Vasconcelos.
25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022).

The Power of Machines That Control Experiments [doi] [pdf]

With José Félix Costa and Vasco Boavida de Brito.
International Journal of Foundations of Computer Science.

2021

The Competitive Pickup and Delivery Orienteering Problem for Balancing Carsharing Systems [doi] [pdf]

With Layla Martin, Stefan Minner and Andreas S. Schulz.
Transportation Science.

On the Complexity of Equilibrium Computation in First-Price Auctions [doi] [arXiv]

With Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender and Philip Lazos.
22nd ACM Conference on Economics and Computation (EC 2021).

A new Lower Bound for Deterministic Truthful Scheduling [doi] [arXiv]

With Yiannis Giannakopoulos and Alexander Hammerl.
Algorithmica.

Optimal Pricing for MHR and λ-regular Distributions [doi] [arXiv]

With Yiannis Giannakopoulos and Keyu Zhu.
ACM Transactions on Economics and Computation (TEAC).

Tracking computability of GPAC-generable functions [doi] [pdf]

With Jeffery Zucker.
Journal of Logic and Computation.

2020

Robust revenue maximization under minimal statistical information [doi] [arXiv]

With Yiannis Giannakopoulos and Alexandros Tsigonias-Dimitriadis.
16th Conference on Web and Internet Economics (WINE 2020).

A unifying approximate potential for weighted congestion games [doi] [arXiv]

With Yiannis Giannakopoulos.
13th Symposium on Algorithmic Game Theory (SAGT 2020).

A new lower bound for deterministic truthful scheduling [doi] [arXiv]

With Yiannis Giannakopoulos and Alexander Hammerl.
13th Symposium on Algorithmic Game Theory (SAGT 2020).

Existence and complexity of approximate equilibria in weighted congestion games [doi] [arXiv] [talk]

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).

Tracking computability of GPAC-generable functions [doi] [pdf]

With Jeffery Zucker.
Logical Foundations of Computer Science (LFCS 2020).

2019

Register requirement minimization of fixed-depth pipelines for streaming data applications [doi] [pdf]

With Thomas Goldbrunner, Nguyen Anh Vu Doan, Thomas Wild and Andreas Herkersdorf.
32nd IEEE International System-on-Chip Conference (SOCC 2019).

Approximability in the GPAC [doi] [arXiv]

With Jeffery Zucker.
Logical Methods in Computer Science.

2018

Analog networks on function data streams [doi] [pdf]

With Jeffery Zucker.
Computability: The Journal of the Association CiE.

Transient growth in stochastic Burgers flows [doi] [pdf]

With Bartosz Protas.
Discrete and Continuous Dynamical Systems - Series B.

2017

Analog computability with differential equations [link]

PhD dissertation, McMaster University.
Advisor: Jeffery Zucker.

Solving Smullyan Puzzles with Formal Systems [doi] [pdf]

With José Félix Costa.
Axiomathes.

2016

An analogue-digital model of computation: Turing machines with physical oracles [doi] [pdf]

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.

Fixed point techniques in analog systems [doi] [pdf]

With Jeffery Zucker.
Mathematical and Computational Approaches in Advancing Modern Science and Engineering.

Computations with oracles that measure vanishing quantities [doi] [pdf]

With Edwin Beggs, José Félix Costa and John V. Tucker.
Mathematical Structures in Computer Science.

2014

Simple reaction systems and their classifications [doi] [pdf]

With Luca Manzoni and Antonio E. Porreca.
International Journal of Foundations of Computer Science.

An analogue-digital Church-Turing thesis [doi] [pdf]

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

2013

Oracles that measure thresholds: The Turing machine and the broken balance [doi] [pdf]

With Edwin Beggs, José Félix Costa and John V. Tucker.
Journal of Logic and Computation.

On the power of threshold measurements as oracles [doi] [pdf]

With Edwin Beggs, José Félix Costa and John V. Tucker.
Unconventional Computation and Natural Computation.

Complexity with costing and stochastic oracles [link]

MSc dissertation, Instituto Superior Técnico.
Advisor: José Félix Costa.

2012

Testes de primalidade [link] [pdf]

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