Diogo Poças

According to our database, Diogo Poças authored at least 24 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Polymorphic higher-order context-free session types.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Theor. Comput. Sci., 2024

Simple grammar bisimilarity, with an application to session type equivalence.

Diogo Poças, Vasco T. Vasconcelos

CoRR, 2024

2023

A Unifying Approximate Potential for Weighted Congestion Games.

Yiannis Giannakopoulos, Diogo Poças

Theory Comput. Syst., August, 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., February, 2023

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.

George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann

Math. Oper. Res., February, 2023

System F^μ_ω with Context-free Session Types.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

CoRR, 2023

Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming.

Alcides Fonseca, Diogo Poças

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

System F^μ _ømega with Context-free Session Types.

Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Programming Languages and Systems, 2023

2022

Robust Revenue Maximization Under Minimal Statistical Information.

Yiannis Giannakopoulos, Diogo Poças, Alexandros Tsigonias-Dimitriadis

ACM Trans. Economics and Comput., September, 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

Higher-order Context-free Session Types in System F.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

The Different Shades of Infinite Session Types.

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

Proceedings of the Foundations of Software Science and Computation Structures, 2022

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

Optimal Pricing for MHR and λ-regular Distributions.

Yiannis Giannakopoulos, Diogo Poças, Keyu Zhu

ACM Trans. Economics and Comput., 2021

Tracking computability of GPAC-generable functions.

Diogo Poças, Jeffery I. Zucker

J. Log. Comput., 2021

A New Lower Bound for Deterministic Truthful Scheduling.

Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças

Algorithmica, 2021

2019

Approximability in the GPAC.

Diogo Poças, Jeffery I. Zucker

Log. Methods Comput. Sci., 2019

Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications.

Thomas Goldbrunner, Nguyen Anh Vu Doan, Diogo Poças, Thomas Wild, Andreas Herkersdorf

Proceedings of the 32nd IEEE International System-on-Chip Conference, 2019

2018

Analog networks on function data streams.

Diogo Poças, Jeffery I. Zucker

Comput., 2018

2017

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

2014

Simple reaction Systems and their Classification.

Luca Manzoni, Diogo Poças, Antonio E. Porreca

Int. J. Found. Comput. Sci., 2014

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

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

On the Power of Threshold Measurements as Oracles.

Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker

Proceedings of the Unconventional Computation and Natural Computation, 2013