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