Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Accessibility and Ageing
Cyber‐Physical Systems
Data and Systems Intelligence
Health and Biomedical Informatics
Reliable Software Systems
Resilient Distributed and Networked Systems
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
Info
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
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
29/02/2024
Year
Start Year
to
End Year
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
]