Diogo Poças
机构: LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
每年引用次数
引用次数
引用: 252
H-指数: 10
I10-指数 : 12
出版物: 35
Computations with oracles that measure vanishing quantities
EDWIN BEGGS , JOSÉ FÉLIX COSTA , DIOGO POÇAS , JOHN V. TUCKER
Mathematical Structures in Computer Science 27 ( 8) 1315 -1363
4
2017
An analogue-digital Church-Turing Thesis
EDWIN BEGGS , JOSÉ FÉLIX COSTA , DIOGO POÇAS , JOHN V. TUCKER
International Journal of Foundations of Computer Science 25 ( 04) 373 -389
8
2014
SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION
LUCA MANZONI , DIOGO POÇAS , ANTONIO E. PORRECA
International Journal of Foundations of Computer Science 25 ( 04) 441 -457
12
2014
Robust Revenue Maximization Under Minimal Statistical Information
DIOGO POÇAS , ALEXANDROS TSIGONIAS-DIMITRIADIS
2022
TESTES DE PRIMALIDADE
DIOGO POÇAS
2012
Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications
Thomas Goldbrunner , Nguyen Anh Vu Doan , Diogo Pocas , Thomas Wild
system on chip conference 406 -411
2019
Analog Computability with Differential Equations
Diogo Poças
1
2017
Approximability in the GPAC
Diogo Poças , Jeffery I. Zucker
Logical Methods in Computer Science 15
1
2019
On the Power of Threshold Measurements as Oracles
Edwin Beggs , José Félix Costa , Diogo Poças , John V. Tucker
Unconventional Computation and Natural Computation 6 -18
6
2013
Fixed Point Techniques in Analog Systems
Diogo Poças , Jeffery Zucker
Mathematical and Computational Approaches in Advancing Modern Science and Engineering 701 -711
2
2016
The competitive pickup and delivery orienteering problem for balancing car-sharing systems
Layla Martin , Stefan Minner , Diogo Poças , Andreas S Schulz
Transportation Science 55 ( 6) 1232 -1259
6
2021
On the Complexity of Equilibrium Computation in First-Price Auctions
Aris Filos-Ratsikas , Yiannis Giannakopoulos , Alexandros Hollender , Philip Lazos
SIAM Journal on Computing (SICOMP) 52 ( 1) 80 -131
31
2023
Existence and complexity of approximate equilibria in weighted congestion games
George Christodoulou , Martin Gairing , Yiannis Giannakopoulos , Diogo Poças
Mathematics of Operations Research 48 ( 1) 583 -602
10
2023
The different shades of infinite session types
Simon J Gay , Diogo Poças , Vasco T Vasconcelos
Springer International Publishing 347 -367
10
2022
Higher-order context-free session types in system F
Diana Costa , Andreia Mordido , Diogo Poças , Vasco T Vasconcelos
arXiv preprint arXiv:2203.12877
8
2022
System F ω μ with Context-free Session Types
Diogo Poças , Diana Costa , Andreia Mordido , Vasco T Vasconcelos
Springer Nature Switzerland 392 -420
6
2023
Polymorphic higher-order context-free session types
Diana Costa , Andreia Mordido , Diogo Poças , Vasco T Vasconcelos
Theoretical Computer Science 1001 114582 -114582
2024
System $ F^\mu_\omega $ with Context-free Session Types
Diana Costa , Andreia Mordido , Diogo Poças , Vasco T Vasconcelos
arXiv preprint arXiv:2301.08659
2023
System Fµ
Diogo Poças , Diana Costa , Andreia Mordido , Vasco T Vasconcelos