Diogo Poças
Diogo Poças
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at - Homepage
Cited by
Cited by
Simple reaction systems and their classification
L Manzoni, D Pocas, AE Porreca
International Journal of Foundations of Computer Science 25 (04), 441-457, 2014
An analogue-digital Church-Turing thesis
E Beggs, JF Costa, D Poças, JV Tucker
International Journal of Foundations of Computer Science 25 (04), 373-389, 2014
Oracles that measure thresholds: the Turing machine and the broken balance
E Beggs, JF Costa, D Poças, JV Tucker
Journal of Logic and Computation 23 (6), 1155-1181, 2013
On the complexity of equilibrium computation in first-price auctions
A Filos-Ratsikas, Y Giannakopoulos, A Hollender, P Lazos, D Poças
Proceedings of the 22nd ACM Conference on Economics and Computation, 454-476, 2021
An analogue-digital model of computation: Turing machines with physical oracles
T Ambaram, E Beggs, J Félix Costa, D Poças, JV Tucker
Advances in unconventional computing, 73-115, 2017
Robust revenue maximization under minimal statistical information
Y Giannakopoulos, D Poças, A Tsigonias-Dimitriadis
International Conference on Web and Internet Economics, 177-190, 2020
Transient growth in stochastic Burgers flows
D Poças, B Protas
arXiv preprint arXiv:1510.05037, 2015
Computations with oracles that measure vanishing quantities
E Beggs, JF Costa, D Poças, JV Tucker
Mathematical Structures in Computer Science 27 (8), 1315-1363, 2017
On the power of threshold measurements as oracles
E Beggs, JF Costa, D Poças, JV Tucker
International Conference on Unconventional Computing and Natural Computation …, 2013
A new lower bound for deterministic truthful scheduling
Y Giannakopoulos, A Hammerl, D Poças
Algorithmica 83 (9), 2895-2913, 2021
The competitive pickup and delivery orienteering problem for balancing car-sharing systems
L Martin, S Minner, D Poças, AS Schulz
Transportation Science 55 (6), 1232-1259, 2021
Existence and complexity of approximate equilibria in weighted congestion games
G Christodoulou, M Gairing, Y Giannakopoulos, D Poças, C Waldmann
Mathematics of Operations Research, 2022
Analog networks on function data streams
D Poças, J Zucker
Computability 7 (4), 301-322, 2018
The Different Shades of Infinite Session Types
SJ Gay, D Poças, VT Vasconcelos
International Conference on Foundations of Software Science and Computation …, 2022
A unifying approximate potential for weighted congestion games
Y Giannakopoulos, D Poças
International Symposium on Algorithmic Game Theory, 99-113, 2020
Fixed point techniques in analog systems
D Poças, J Zucker
Mathematical and Computational Approaches in Advancing Modern Science and …, 2016
Higher-order Context-free Session Types in System F
D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2203.12877, 2022
Optimal pricing for MHR and λ-regular distributions
Y Giannakopoulos, D Poças, K Zhu
ACM Transactions on Economics and Computation (TEAC) 9 (1), 1-28, 2021
Solving Smullyan puzzles with formal systems
JF Costa, D Poças
Axiomathes 28 (2), 181-199, 2018
Analog Computability with Differential Equations
D Poças
The system can't perform the operation now. Try again later.
Articles 1–20