Linkedin

Member

Diogo Poças

Profile Picture of Diogo Poças

ONGOING

Acronym Title Funding Entity Start Date End Date
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
to
Yiannis GiannakopoulosDiogo PoçasA Unifying Approximate Potential for Weighted Congestion Games. Theory of Computing Systems, 67(4):855-876, Springer Science and Business Media LLC, 2023 [Biblios]
Diogo PoçasAlcides FonsecaComparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference, 2023 [Biblios]
Diogo PoçasDiana CostaAndreia MordidoVasco T. VasconcelosSystem $F^\mu _\omega$ with Context-free Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 392-420. Springer Nature Switzerland, 2023 [Biblios]
Aris Filos-RatsikasYiannis GiannakopoulosAlexandros HollenderPhilip LazosDiogo PoçasOn the Complexity of Equilibrium Computation in First-Price Auctions. SIAM Journal on Computing, 52(1):80-131, Society for Industrial & Applied Mathematics (SIAM), 2023 [Biblios]
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]