On the Power of Threshold Measurements as Oracles. - Edwin J. Beggs; José Félix Costa; Diogo Poças; John V. Tucker (UCNC, 2013)

Oracles that measure thresholds: the Turing machine and the broken balance. - Edwin J. Beggs; José Félix Costa; Diogo Poças; John V. Tucker (J. Log. Comput., 2013)

An analogue-Digital Church-Turing Thesis. - Edwin J. Beggs; José Félix Costa; Diogo Poças; John V. Tucker (Int. J. Found. Comput. Sci., 2014)

Simple reaction Systems and their Classification. - Luca Manzoni; Diogo Poças; Antonio E. Porreca (Int. J. Found. Comput. Sci., 2014)

Computations with oracles that measure vanishing quantities. - Edwin J. Beggs; José Félix Costa; Diogo Poças; John V. Tucker (Math. Struct. Comput. Sci., 2017)

Analog networks on function data streams. - Diogo Poças; Jeffery I. Zucker (Comput., 2018)

Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications. - Thomas Goldbrunner; Nguyen Anh Vu Doan; Diogo Poças; Thomas Wild; Andreas Herkersdorf (SoCC, 2019)

Approximability in the GPAC. - Diogo Poças; Jeffery I. Zucker (Log. Methods Comput. Sci., 2019)

A New Lower Bound for Deterministic Truthful Scheduling. - Yiannis Giannakopoulos; Alexander Hammerl; Diogo Poças (Algorithmica, 2021)

Tracking computability of GPAC-generable functions. - Diogo Poças; Jeffery I. Zucker (J. Log. Comput., 2021)

Optimal Pricing for MHR and λ-regular Distributions. - Yiannis Giannakopoulos; Diogo Poças; Keyu Zhu (ACM Trans. Economics and Comput., 2021)

The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems. - Layla Martin; Stefan Minner; Diogo Poças; Andreas S. Schulz (Transp. Sci., 2021)

The Different Shades of Infinite Session Types. - Simon J. Gay; Diogo Poças; Vasco T. Vasconcelos (FoSSaCS, 2022)

Higher-order Context-free Session Types in System F. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (PLACES@ETAPS, 2022)

The Power of Machines That Control Experiments. - Vasco Boavida De Brito; José Félix Costa; Diogo Poças (Int. J. Found. Comput. Sci., 2022)

Robust Revenue Maximization Under Minimal Statistical Information. - Yiannis Giannakopoulos; Diogo Poças; Alexandros Tsigonias-Dimitriadis (ACM Trans. Economics and Comput., 2022)

System Fμ ømega with Context-free Session Types. - Diogo Poças; Diana Costa 001; Andreia Mordido; Vasco T. Vasconcelos (ESOP, 2023)

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. - Alcides Fonseca; Diogo Poças (GECCO, 2023)

System Fμω with Context-free Session Types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (CoRR, 2023)

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. - George Christodoulou 001; Martin Gairing; Yiannis Giannakopoulos; Diogo Poças; Clara Waldmann (Math. Oper. Res., 2023)

On the Complexity of Equilibrium Computation in First-Price Auctions. - Aris Filos-Ratsikas; Yiannis Giannakopoulos; Alexandros Hollender; Philip Lazos; Diogo Poças (SIAM J. Comput., 2023)

A Unifying Approximate Potential for Weighted Congestion Games. - Yiannis Giannakopoulos; Diogo Poças (Theory Comput. Syst., 2023)

Simple grammar bisimilarity, with an application to session type equivalence. - Diogo Poças; Vasco T. Vasconcelos (CoRR, 2024)

Polymorphic higher-order context-free session types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (Theor. Comput. Sci., 2024)