Linkedin

Member

Diogo Poças

Profile Picture of Diogo Poças

ONGOING

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 29/02/2024
to
Vasco Boavida De Brito, José Félix Costa, Diogo Poças. The Power of Machines That Control Experiments. International Journal of Foundations of Computer Science, 1-28, World Scientific Pub Co Pte Ltd, 2022 [Biblios]
Layla Martin, Stefan Minner, Diogo Poças, Andreas S. Schulz. The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems. Transportation Science, 55(6):1232-1259, Institute for Operations Research and the Management Sciences (INFORMS), 2021 [Biblios]
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças. A New Lower Bound for Deterministic Truthful Scheduling. Algorithmica, 83(9):2895-2913, Springer Science and Business Media LLC, 2021 [Biblios]
Yiannis Giannakopoulos, Diogo Poças, Keyu Zhu. Optimal Pricing for MHR and ?-regular Distributions. ACM Transactions on Economics and Computation, 9(1):1-28, Association for Computing Machinery (ACM), 2021 [Biblios]
Diogo PoÇas, Jeffery Zucker. Tracking computability of GPAC-generable functions. Journal of Logic and Computation, 31(1), Oxford University Press (OUP), 2021 [Biblios]
Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis. Robust Revenue Maximization Under Minimal Statistical Information. In Web and Internet Economics,Lecture Notes in Computer Science, pages 177-190. Springer International Publishing, 2020 [Biblios]
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças. A New Lower Bound for Deterministic Truthful Scheduling. In Algorithmic Game Theory,Lecture Notes in Computer Science, pages 226-240. Springer International Publishing, 2020 [Biblios]
Yiannis Giannakopoulos, Diogo Poças. A Unifying Approximate Potential for Weighted Congestion Games. In Algorithmic Game Theory,Lecture Notes in Computer Science, pages 99-113. Springer International Publishing, 2020 [Biblios]