I agree that this site is using cookies. You can find further informations here.
X
Poças, Diogo
53  results:
Search for persons X
?
1

Polymorphic higher-order context-free session types:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
Theoretical Computer Science.  1001 (2024)  - p. 114582 , 2024
Link: https://doi.org/10.1016/..
 
?
2

A Unifying Approximate Potential for Weighted Congestion Ga..:

Giannakopoulos, Yiannis ; Poças, Diogo
Theory of Computing Systems.  67 (2023)  4 - p. 855-876 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Comparing the expressive power of Strongly-Typed and Gramma..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference,
Fonseca, Alcides ; Poças, Diogo - p. 1100-1108 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

System $$F^\mu _\omega $$ with Context-free Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Poças, Diogo ; Costa, Diana ; Mordido, Andreia. - p. 392-420 , 2023
Link: https://doi.org/10.1007/..
 
?
5

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

Filos-Ratsikas, Aris ; Giannakopoulos, Yiannis ; Hollender, Alexandros..
SIAM Journal on Computing.  52 (2023)  1 - p. 80-131 , 2023
Link: https://doi.org/10.1137/..
 
?
6

The Different Shades of Infinite Session Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Gay, Simon J. ; Poças, Diogo ; Vasconcelos, Vasco T. - p. 347-367 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Robust Revenue Maximization Under Minimal Statistical Infor..:

Giannakopoulos, Yiannis ; Poças, Diogo ; Tsigonias-Dimitriadis, Alexandros
ACM Transactions on Economics and Computation.  10 (2022)  3 - p. 1-34 , 2022
Link: https://doi.org/10.1145/..
 
?
8

A New Lower Bound for Deterministic Truthful Scheduling:

Giannakopoulos, Yiannis ; Hammerl, Alexander ; Poças, Diogo
Algorithmica.  83 (2021)  9 - p. 2895-2913 , 2021
Link: https://doi.org/10.1007/..
 
?
9

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

, In: Proceedings of the 22nd ACM Conference on Economics and Computation,
Filos-Ratsikas, Aris ; Giannakopoulos, Yiannis ; Hollender, Alexandros.. - p. 454-476 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Optimal Pricing for MHR and λ-regular Distributions:

Giannakopoulos, Yiannis ; Poças, Diogo ; Zhu, Keyu
ACM Transactions on Economics and Computation.  9 (2021)  1 - p. 1-28 , 2021
Link: https://doi.org/10.1145/..
 
?
11

Optimal Pricing for MHR and λ-regular Distributions:

Giannakopoulos, Yiannis ; Poças, Diogo ; Zhu, Keyu
ACM Transactions on Economics and Computation (TEAC).  9 (2021)  1 - p. 1-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Robust Revenue Maximization Under Minimal Statistical Infor..:

, In: Web and Internet Economics; Lecture Notes in Computer Science,
Giannakopoulos, Yiannis ; Poças, Diogo ; Tsigonias-Dimitriadis, Alexandros - p. 177-190 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Tracking computability of GPAC-generable functions:

Poças, Diogo ; Zucker, Jeffery
Journal of Logic and Computation.  31 (2020)  1 - p. 326-346 , 2020
Link: https://doi.org/10.1093/..
 
?
14

A New Lower Bound for Deterministic Truthful Scheduling:

, In: Algorithmic Game Theory; Lecture Notes in Computer Science,
Giannakopoulos, Yiannis ; Hammerl, Alexander ; Poças, Diogo - p. 226-240 , 2020
Link: https://doi.org/10.1007/..
 
?
15

A Unifying Approximate Potential for Weighted Congestion Ga..:

, In: Algorithmic Game Theory; Lecture Notes in Computer Science,
Giannakopoulos, Yiannis ; Poças, Diogo - p. 99-113 , 2020
Link: https://doi.org/10.1007/..
 
1-15