Diogo Poças

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

Collaborative distances:

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

2025

Distributed graph augmentation protocols to achieve strong connectivity in multi-agent networks.

Guilherme Ramos, Diogo Poças, Sérgio Pequito

Autom., 2025

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

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

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

On the Complexity of Equilibrium Computation in First-Price Auctions.

Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Philip Lazos, Diogo Poças

Proceedings of the EC '21: The 22nd ACM Conference on Economics and Computation, 2021

2020

Robust Revenue Maximization Under Minimal Statistical Information.

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

Proceedings of the Web and Internet Economics - 16th International Conference, 2020

A Unifying Approximate Potential for Weighted Congestion Games.

Yiannis Giannakopoulos, Diogo Poças

Proceedings of the Algorithmic Game Theory - 13th International Symposium, 2020

A New Lower Bound for Deterministic Truthful Scheduling.

Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças

Proceedings of the Algorithmic Game Theory - 13th International Symposium, 2020

Tracking Computability of GPAC-Generable Functions.

Diogo Poças, Jeffery I. Zucker

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.

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

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

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