Linkedin

Member

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

PAST

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
to
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001, Elsevier BV, 2024 [Biblios]
Macedo, Ricardo Pinto da Costa Chiolas, Poças, Diogo Miguel Ferreira. Implementation of a Data Lake in a Microservices Architecture. Master's dissertation, 2024 [Biblios]
Yiannis Giannakopoulos, Diogo Poças. A 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ças, Alcides Fonseca. Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference, 2023 [Biblios]
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos. System $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-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças. On 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]
Duarte, Marco Pinto, Poças, Diogo. Recursos Públicos Descentralizados em Portugal. Master's dissertation, 2023 [Biblios]
Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis. Robust Revenue Maximization Under Minimal Statistical Information. ACM Transactions on Economics and Computation, Association for Computing Machinery (ACM), 2022 [Biblios]
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann. Existence 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. Gay, Diogo Poças, Vasco T. Vasconcelos. The 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 Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Higher-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 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]
Sardinha, Inês Maria Caldeira, Poças, Diogo Miguel Ferreira, Vasconcelos, Vasco Thudichum. Algorithms for infinite session types. Master's dissertation, 2022 [Biblios]
Fernandes, Sónia Virgínia Fonseca, Poças, Diogo Miguel Ferreira. Interfaces em idiomas RightToLeft. Master's dissertation, 2022 [Biblios]
Rodrigues, Diogo Filipe Pedro, Poças, Diogo Miguel Ferreira. Cybersecurity Aware Game 2.0. Master's dissertation, 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]
Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças. On the Complexity of Equilibrium Computation in First-Price Auctions. In Proceedings of the 22nd ACM Conference on Economics and Computation. ACM, 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]
Nelas, Nuno Gonçalo Gomes Silva de Loureiro, Poças, Diogo Miguel Ferreira. Proof-of-Attention: uma implementação em blockchain segura e confiável?. Master's dissertation, 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]
José Félix Costa, Diogo Poças. Solving Smullyan Puzzles with Formal Systems. Axiomathes, Springer Nature, 2017 [Biblios]