Diogo Miguel Ferreira Poças
AuthID: R-001-0ZM
1
TITLE: ON THE COMPLEXITY OF EQUILIBRIUM COMPUTATION IN FIRST-PRICE AUCTIONS
AUTHORS: Filos Ratsikas, Aris; Giannakopoulos, Yiannis; Hollender, Alexandros; Lazos, Philip; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: SIAM JOURNAL ON COMPUTING, VOLUME: 52, ISSUE: 1
AUTHORS: Filos Ratsikas, Aris; Giannakopoulos, Yiannis; Hollender, Alexandros; Lazos, Philip; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: SIAM JOURNAL ON COMPUTING, VOLUME: 52, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: A Unifying Approximate Potential for Weighted Congestion Games Full Text
AUTHORS: Giannakopoulos, Yiannis; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: THEORY OF COMPUTING SYSTEMS
AUTHORS: Giannakopoulos, Yiannis; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: THEORY OF COMPUTING SYSTEMS
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: System Fωμ with Context-free Session Types
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXED IN: WOS
WOS4
TITLE: The Power of Machines That Control Experiments
AUTHORS: De Brito, VB; Costa, JF ; Pocas, D;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 33, ISSUE: 02
AUTHORS: De Brito, VB; Costa, JF ; Pocas, D;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 33, ISSUE: 02
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
AUTHORS: Christodoulou, George; Gairing, Martin; Giannakopoulos, Yiannis; Pocas, Diogo; Waldmann, Clara;
PUBLISHED: 2022, SOURCE: MATHEMATICS OF OPERATIONS RESEARCH, VOLUME: 48, ISSUE: 1
AUTHORS: Christodoulou, George; Gairing, Martin; Giannakopoulos, Yiannis; Pocas, Diogo; Waldmann, Clara;
PUBLISHED: 2022, SOURCE: MATHEMATICS OF OPERATIONS RESEARCH, VOLUME: 48, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Optimal Pricing for MHR and lambda-regular Distributions Full Text
AUTHORS: Giannakopoulos, Y; Pocas, D; Zhu, KY;
PUBLISHED: 2021, SOURCE: ACM TRANSACTIONS ON ECONOMICS AND COMPUTATION, VOLUME: 9, ISSUE: 1
AUTHORS: Giannakopoulos, Y; Pocas, D; Zhu, KY;
PUBLISHED: 2021, SOURCE: ACM TRANSACTIONS ON ECONOMICS AND COMPUTATION, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: A New Lower Bound for Deterministic Truthful Scheduling Full Text
AUTHORS: Giannakopoulos, Y; Hammerl, A; Pocas, D;
PUBLISHED: 2021, SOURCE: ALGORITHMICA
AUTHORS: Giannakopoulos, Y; Hammerl, A; Pocas, D;
PUBLISHED: 2021, SOURCE: ALGORITHMICA
INDEXED IN: WOS
WOS8
TITLE: The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems Full Text
AUTHORS: Martin, L; Minner, S; Pocas, D; Schulz, AS;
PUBLISHED: 2021, SOURCE: TRANSPORTATION SCIENCE, VOLUME: 55, ISSUE: 6
AUTHORS: Martin, L; Minner, S; Pocas, D; Schulz, AS;
PUBLISHED: 2021, SOURCE: TRANSPORTATION SCIENCE, VOLUME: 55, ISSUE: 6
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Solving Smullyan Puzzles with Formal Systems Full Text
AUTHORS: Jose Felix Costa ; Diogo Pocas;
PUBLISHED: 2018, SOURCE: AXIOMATHES, VOLUME: 28, ISSUE: 2
AUTHORS: Jose Felix Costa ; Diogo Pocas;
PUBLISHED: 2018, SOURCE: AXIOMATHES, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Computations with oracles that measure vanishing quantities
AUTHORS: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLISHED: 2017, SOURCE: Workshop on Continuity, Computability, Constructivity - From Logic to Algorithms in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 27, ISSUE: 8
AUTHORS: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLISHED: 2017, SOURCE: Workshop on Continuity, Computability, Constructivity - From Logic to Algorithms in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 27, ISSUE: 8
INDEXED IN: WOS
WOS