Diogo Poças

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 33

Top Topics

Congestion Games

Pure Nash Equilibrium

Polynomial Time Approximation

Top Venues

Int. J. Found. Comput. Sci.

ACM Trans. Economics and Comput.

Publications

Diogo Poças, Vasco T. Vasconcelos
Simple grammar bisimilarity, with an application to session type equivalence. CoRR (2024)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001 (2024)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. Math. Oper. Res. 48 (1) (2023)
Alcides Fonseca, Diogo Poças
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. GECCO (2023)
Yiannis Giannakopoulos, Diogo Poças
A Unifying Approximate Potential for Weighted Congestion Games. Theory Comput. Syst. 67 (4) (2023)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
with Context-free Session Types. CoRR (2023)
Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças
On the Complexity of Equilibrium Computation in First-Price Auctions. SIAM J. Comput. 52 (1) (2023)
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
with Context-free Session Types. ESOP (2023)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. CoRR (2022)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. FoSSaCS (2022)
Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis
Robust Revenue Maximization Under Minimal Statistical Information. ACM Trans. Economics and Comput. 10 (3) (2022)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Higher-order Context-free Session Types in System F. PLACES@ETAPS (2022)
Vasco Boavida De Brito, José Félix Costa, Diogo Poças
The Power of Machines That Control Experiments. Int. J. Found. Comput. Sci. 33 (2) (2022)
Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças
On the Complexity of Equilibrium Computation in First-Price Auctions. CoRR (2021)
Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças
On the Complexity of Equilibrium Computation in First-Price Auctions. EC (2021)
Diogo Poças, Jeffery I. Zucker
Tracking computability of GPAC-generable functions. J. Log. Comput. 31 (1) (2021)
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças
A New Lower Bound for Deterministic Truthful Scheduling. Algorithmica 83 (9) (2021)
Layla Martin, Stefan Minner, Diogo Poças, Andreas S. Schulz
The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems. Transp. Sci. 55 (6) (2021)
Yiannis Giannakopoulos, Diogo Poças, Keyu Zhu
Optimal Pricing for MHR and λ-regular Distributions. ACM Trans. Economics and Comput. 9 (1) (2021)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. ICALP (2020)
Diogo Poças, Jeffery I. Zucker
Tracking Computability of GPAC-Generable Functions. LFCS (2020)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. CoRR (2020)
Yiannis Giannakopoulos, Diogo Poças
A Unifying Approximate Potential for Weighted Congestion Games. CoRR (2020)
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças
A New Lower Bound for Deterministic Truthful Scheduling. SAGT (2020)
Yiannis Giannakopoulos, Diogo Poças
A Unifying Approximate Potential for Weighted Congestion Games. SAGT (2020)
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças
A New Lower Bound for Deterministic Truthful Scheduling. CoRR (2020)
Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis
Robust Revenue Maximization Under Minimal Statistical Information. WINE (2020)
Diogo Poças, Jeffery I. Zucker
Approximability in the GPAC. Log. Methods Comput. Sci. 15 (3) (2019)
Thomas Goldbrunner, Nguyen Anh Vu Doan, Diogo Poças, Thomas Wild, Andreas Herkersdorf
Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications. SoCC (2019)
Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis
Robust Revenue Maximization Under Minimal Statistical Information. CoRR (2019)
Diogo Poças, Jeffery I. Zucker
Analog networks on function data streams. Comput. 7 (4) (2018)
Diogo Poças, Jeffery I. Zucker
Approximability in the GPAC. CoRR (2018)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. 27 (8) (2017)
Luca Manzoni, Diogo Poças, Antonio E. Porreca
Simple reaction Systems and their Classification. Int. J. Found. Comput. Sci. 25 (4) (2014)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
An analogue-Digital Church-Turing Thesis. Int. J. Found. Comput. Sci. 25 (4) (2014)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. 23 (6) (2013)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
On the Power of Threshold Measurements as Oracles. UCNC (2013)