Creating and sharing knowledge for telecommunications

IT Member Profile

... Diogo Miguel Ferreira Poças

Researcher

Diogo Poças

Academic position: Assistant Professor
Joining date: 16-05-2024
Roles in IT: Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Alternative Personal Web Page

CienciaID
http://www.cienciavitae.pt/271E-FFD4-FA52

ORCID iD
https://www.orcid.org/0000-0002-5474-3614

SCHOLAR

Scientific Achievements

  • PhD, McMaster University, 14-06-2018
  • Instituto Superior Técnico, 15-02-2024, Assistant Professor
  • Faculdade de Ciências da Universidade de Lisboa, 01-09-2020 - 14-02-2024, Assistant Professor
  • Algorithmic Game Theory
  • Computational Complexity
  • Session Types
  • Analog Computation
17Papers in Journals
  • D. Costa, A. Mordido, D.P. Poças, V. Vasconcelos, Polymorphic higher-order context-free session types, Theoretical Computer Science, Vol. 1001, No., pp. 114582 - 114582, June, 2024 | BibTex
  • D.P. Poças, A Unifying Approximate Potential for Weighted Congestion Games, Theory of Computing Systems, Vol. 67, No. 4, pp. 855 - 876, July, 2023 | BibTex
  • D.P. Poças, On the Complexity of Equilibrium Computation in First-Price Auctions, siam journal on computing, Vol. 52, No. 1, pp. 80 - 131, February, 2023 | BibTex
  • D.P. Poças, Existence and Complexity of Approximate Equilibria in Weighted Congestion Games, mathematics of operations research, Vol. 48, No. 1, pp. 583 - 602, February, 2023 | BibTex
  • D.P. Poças, Robust Revenue Maximization Under Minimal Statistical Information, acm transactions on economics and computation, Vol. 10, No. 3, pp. 1 - 34, September, 2022 | BibTex
  • D.P. Poças, The Power of Machines That Control Experiments, International Journal of Foundations of Computer Science, Vol. 33, No. 02, pp. 91 - 118, February, 2022 | BibTex
  • D.P. Poças, The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems, transportation science, Vol. 55, No. 6, pp. 1232 - 1259, November, 2021 | BibTex
  • D.P. Poças, A New Lower Bound for Deterministic Truthful Scheduling, algorithmica, Vol. 83, No. 9, pp. 2895 - 2913, June, 2021 | BibTex
  • D.P. Poças, Optimal Pricing for MHR and λ-regular Distributions, acm transactions on economics and computation, Vol. 9, No. 1, pp. 1 - 28, January, 2021 | BibTex
  • D.P. Poças, Tracking computability of GPAC-generable functions, Journal of Logic and Computation, Vol. 31, No. 1, pp. 326 - 346, December, 2020 | BibTex
  • D.P. Poças, Transient growth in stochastic Burgers flows, discrete and continuous dynamical systems - series b, Vol. 23, No. 6, pp. 2371 - 2391, 2018 | BibTex
  • D.P. Poças, Analog networks on function data streams, Computability, Vol. 7, No. 4, pp. 301 - 322, June, 2017 | BibTex
  • D.P. Poças, Solving Smullyan Puzzles with Formal Systems, axiomathes, Vol. 28, No. 2, pp. 181 - 199, April, 2017 | BibTex
  • D.P. Poças, Computations with oracles that measure vanishing quantities, Mathematical Structures in Computer Science, Vol. 27, No. 8, pp. 1315 - 1363, June, 2016 | BibTex
  • D.P. Poças, An Analogue-Digital Church-Turing Thesis, International Journal of Foundations of Computer Science, Vol. 25, No. 04, pp. 373 - 389, June, 2014 | BibTex
  • D.P. Poças, Simple Reaction Systems and their Classification, International Journal of Foundations of Computer Science, Vol. 25, No. 04, pp. 441 - 457, June, 2014 | BibTex
  • D.P. Poças, Oracles that measure thresholds: The Turing machine and the broken balance, Journal of Logic and Computation, Vol. 23, No. 6, pp. 1155 - 1181, September, 2013 | BibTex
4Papers in Conferences
  • D.P. Poças, Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming, Genetic and Evolutionary Computation Conference GECCO, Lisbon, Portugal, July, 2023 | BibTex
  • D.P. Poças, System F^μ_ω with Context-free Session Types, European Symposium on Programming ESOP, Paris, France, Vol., pp. -, April, 2023 | BibTex
  • D.P. Poças, Higher-order Context-free Session Types in System F, Programming Language Approaches to Concurrency and Communication-cEntric Software - ETAPS, Munich, Germany, April, 2022 | BibTex
  • D.P. Poças, On the Complexity of Equilibrium Computation in First-Price Auctions, ACM Conference on Economics and Computation EC, Budapest, Hungary, Vol., pp. -, July, 2021 | BibTex

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):

© 2025, IT - Instituto de Telecomunicações | All Rights Reserved