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: Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming
AUTHORS: Fonseca, Alcides; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: Genetic and Evolutionary Computation Conference (GECCO) in PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, GECCO 2023
AUTHORS: Fonseca, Alcides; Pocas, Diogo;
PUBLISHED: 2023, SOURCE: Genetic and Evolutionary Computation Conference (GECCO) in PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, GECCO 2023
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming
AUTHORS: Alcides Fonseca; Diogo Poças;
PUBLISHED: 2023, SOURCE: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023
AUTHORS: Alcides Fonseca; Diogo Poças;
PUBLISHED: 2023, SOURCE: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023
INDEXED IN: 
DBLP
DBLP5
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 WOS6
TITLE: Higher-order Context-free Session Types in System F Full Text
AUTHORS: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, ISSUE: 356
AUTHORS: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, ISSUE: 356
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP7
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP8
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 WOS9
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 WOS10
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
WOS