BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for dmpocas
(37)
2024
Implementation of a Data Lake in a Microservices Architecture
(2024)
Macedo, Ricardo Pinto da Costa Chiolas
Poças, Diogo Miguel Ferreira
Academic documents
2023
A Unifying Approximate Potential for Weighted Congestion Games
(2023)
Yiannis Giannakopoulos
Diogo Poças
Journal articles
2023
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming
(2023)
Diogo Poças
Alcides Fonseca
Conference papers
2023
System $F^\\mu _\\omega$ with Context-free Session Types
(2023)
Diogo Poças
Diana Costa
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
On the Complexity of Equilibrium Computation in First-Price Auctions
(2023)
Aris Filos-Ratsikas
Yiannis Giannakopoulos
Alexandros Hollender
Philip Lazos
Diogo Poças
Journal articles
2023
Cybersecurity Aware Game 2.0
(2023)
Rodrigues, Diogo Filipe Pedro
Poças, Diogo Miguel Ferreira
Academic documents
2023
Recursos Públicos Descentralizados em Portugal
(2023)
Duarte, Marco Pinto
Poças, Diogo
Academic documents
2022
Robust Revenue Maximization Under Minimal Statistical Information
(2022)
Yiannis Giannakopoulos
Diogo Poças
Alexandros Tsigonias-Dimitriadis
Journal articles
2022
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
(2022)
George Christodoulou
Martin Gairing
Yiannis Giannakopoulos
Diogo Poças
Clara Waldmann
Journal articles
2022
The Different Shades of Infinite Session Types
(2022)
Simon J. Gay
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2022
Higher-order Context-free Session Types in System F
(2022)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2022
The Power of Machines That Control Experiments
(2022)
Vasco Boavida De Brito
José Félix Costa
Diogo Poças
Journal articles
2022
Proof-of-Attention: uma implementação em blockchain segura e confiável?
(2022)
Nelas, Nuno Gonçalo Gomes Silva de Loureiro
Poças, Diogo Miguel Ferreira
Academic documents
2022
Algorithms for infinite session types
(2022)
Sardinha, Inês Maria Caldeira
Poças, Diogo Miguel Ferreira
Vasconcelos, Vasco Thudichum
Academic documents
2022
Interfaces em idiomas RightToLeft
(2022)
Fernandes, Sónia Virgínia Fonseca
Poças, Diogo Miguel Ferreira
Academic documents
2021
The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems
(2021)
Layla Martin
Stefan Minner
Diogo Poças
Andreas S. Schulz
Journal articles
2021
On the Complexity of Equilibrium Computation in First-Price Auctions
(2021)
Aris Filos-Ratsikas
Yiannis Giannakopoulos
Alexandros Hollender
Philip Lazos
Diogo Poças
Conference papers
2021
A New Lower Bound for Deterministic Truthful Scheduling
(2021)
Yiannis Giannakopoulos
Alexander Hammerl
Diogo Poças
Journal articles
2021
Optimal Pricing for MHR and ?-regular Distributions
(2021)
Yiannis Giannakopoulos
Diogo Poças
Keyu Zhu
Journal articles
2021
Tracking computability of GPAC-generable functions
(2021)
Diogo PoÇas
Jeffery Zucker
Journal articles
2020
Robust Revenue Maximization Under Minimal Statistical Information
(2020)
Yiannis Giannakopoulos
Diogo Poças
Alexandros Tsigonias-Dimitriadis
Conference papers
2020
A Unifying Approximate Potential for Weighted Congestion Games
(2020)
Yiannis Giannakopoulos
Diogo Poças
Conference papers
2020
A New Lower Bound for Deterministic Truthful Scheduling
(2020)
Yiannis Giannakopoulos
Alexander Hammerl
Diogo Poças
Conference papers
2020
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
(2020)
George Christodoulou
Martin Gairing
Yiannis Giannakopoulos
Diogo Poças
Clara Waldmann
Conference papers
2019
Tracking Computability of GPAC-Generable Functions
(2019)
Diogo Poças
Jeffery Zucker
Conference papers
2019
Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications
(2019)
Thomas Goldbrunner
Nguyen Anh Vu Doan
Diogo Pocas
Thomas Wild
Andreas Herkersdorf
Conference papers
2019
Approximability in the GPAC
(2019)
Diogo Poças
Jeffery Zucker
Journal articles
2018
Analog networks on function data streams
(2018)
Diogo Poças
Jeffery Zucker
Journal articles
2018
Transient growth in stochastic Burgers flows
(2018)
Diogo Poças
Bartosz Protas
Journal articles
2017
Solving Smullyan Puzzles with Formal Systems
(2017)
José Félix Costa
Diogo Poças
Journal articles
2016
An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles
(2016)
Tânia Ambaram
Edwin Beggs
José Félix Costa
Diogo Poças
John V. Tucker
Book chapters
2016
Computations with oracles that measure vanishing quantities
(2016)
EDWIN BEGGS
JOSÉ FÉLIX COSTA
DIOGO POÇAS
JOHN V. TUCKER
Journal articles
2016
Fixed Point Techniques in Analog Systems
(2016)
Diogo Poças
Jeffery Zucker
Conference papers
2014
AN ANALOGUE-DIGITAL CHURCH-TURING THESIS
(2014)
EDWIN BEGGS
JOSÉ FÉLIX COSTA
DIOGO POÇAS
JOHN V. TUCKER
Journal articles
2014
SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION
(2014)
LUCA MANZONI
DIOGO POÇAS
ANTONIO E. PORRECA
Journal articles
2013
Oracles that measure thresholds: the Turing machine and the broken balance
(2013)
E. Beggs
J. F. Costa
D. Pocas
J. V. Tucker
Journal articles
2013
On the Power of Threshold Measurements as Oracles
(2013)
Edwin Beggs
José Félix Costa
Diogo Poças
John V. Tucker
Conference papers