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
Yiannis GiannakopoulosDiogo PoçasAlexandros Tsigonias-DimitriadisRobust Revenue Maximization Under Minimal Statistical Information. ACM Transactions on Economics and Computation, Association for Computing Machinery (ACM), 2022 [Biblios]
George ChristodoulouMartin GairingYiannis GiannakopoulosDiogo PoçasClara WaldmannExistence and Complexity of Approximate Equilibria in Weighted Congestion Games. Mathematics of Operations Research, Institute for Operations Research and the Management Sciences (INFORMS), 2022 [Biblios]
Simon J. GayDiogo PoçasVasco T. VasconcelosThe Different Shades of Infinite Session Types. In Lecture Notes in Computer Science,Foundations of Software Science and Computation Structures, pages 347-367. Springer International Publishing, 2022 [Biblios]
Diana CostaAndreia MordidoDiogo PoçasVasco T. VasconcelosHigher-order Context-free Session Types in System F. In Electronic Proceedings in Theoretical Computer Science, pages 24-35. Open Publishing Association, 2022 [Biblios]
Vasco Boavida De BritoJosé Félix CostaDiogo PoçasThe Power of Machines That Control Experiments. International Journal of Foundations of Computer Science, 1-28, World Scientific Pub Co Pte Ltd, 2022 [Biblios]
Layla MartinStefan MinnerDiogo PoçasAndreas S. SchulzThe 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 GiannakopoulosAlexander HammerlDiogo PoçasA New Lower Bound for Deterministic Truthful Scheduling. Algorithmica, 83(9):2895-2913, Springer Science and Business Media LLC, 2021 [Biblios]
Yiannis GiannakopoulosDiogo PoçasKeyu ZhuOptimal 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ÇasJeffery ZuckerTracking computability of GPAC-generable functions. Journal of Logic and Computation, 31(1), Oxford University Press (OUP), 2021 [Biblios]
Yiannis GiannakopoulosDiogo PoçasAlexandros Tsigonias-DimitriadisRobust 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 GiannakopoulosAlexander HammerlDiogo PoçasA 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 GiannakopoulosDiogo PoçasA Unifying Approximate Potential for Weighted Congestion Games. In Algorithmic Game Theory,Lecture Notes in Computer Science, pages 99-113. Springer International Publishing, 2020 [Biblios]