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: System Fμ ømega with Context-free Session Types
AUTHORS: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
AUTHORS: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXED IN: Scopus 
DBLP
Scopus DBLP3
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 WOS4
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 WOS5
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
DBLP6
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 WOS7
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 DBLP8
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 DBLP9
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 WOS10
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 WOS