Diogo Poças

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