Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Cyber‐Physical Systems
Data and Systems Intelligence
Dependable and Secure Decentralized Systems
Health and Biomedical Informatics
Inclusive Human-Computer Interaction
Reliable Software Systems
Theory of Computing
Research & Innovation
Software & Tools
Projects
Publications
Partners
Innovation
Members
Integrated Researchers
PhD Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Positions
Select Page
Member
Diogo Poças
About
News
Projects
Publications
Email
dmpocas (at) ciencias.ulisboa.pt
Phone
+351 217 500 546
Room
6.3.14
Website
https://diogopocas1991.gitlab.io
Category
Integrated Researcher
Research Lines
Reliable Software Systems
Theory of Computing
Recent News
LASIGE research published in Theoretical Computer Science
8th LASIGE Workshop (2023)
Diogo Poças published in SIAM journal
Invited talk @ DCC
Diogo Poças research published in Mathematics of Operations Research
LASIGE research published in Theoretical Computer Science
8th LASIGE Workshop (2023)
Diogo Poças published in SIAM journal
Invited talk @ DCC
Diogo Poças research published in Mathematics of Operations Research
LASIGE at the Imperial College
7th LASIGE Workshop (2022)
Diogo Poças research @ ACM Conference of Economics and Computation
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
Year
Start Year
to
End Year
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
]