![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Diogo Poças
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Diana Costa, Andreia Mordido, Diogo Poças
, Vasco T. Vasconcelos:
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001: 114582 (2024) - [i9]Diogo Poças, Vasco T. Vasconcelos:
Simple grammar bisimilarity, with an application to session type equivalence. CoRR abs/2407.04063 (2024) - 2023
- [j15]George Christodoulou, Martin Gairing
, Yiannis Giannakopoulos
, Diogo Poças
, Clara Waldmann
:
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. Math. Oper. Res. 48(1): 583-602 (2023) - [j14]Yiannis Giannakopoulos
, Diogo Poças
:
A Unifying Approximate Potential for Weighted Congestion Games. Theory Comput. Syst. 67(4): 855-876 (2023) - [j13]Aris Filos-Ratsikas
, Yiannis Giannakopoulos
, Alexandros Hollender
, Philip Lazos
, Diogo Poças
:
On the Complexity of Equilibrium Computation in First-Price Auctions. SIAM J. Comput. 52(1): 80-131 (2023) - [c12]Diogo Poças
, Diana Costa
, Andreia Mordido
, Vasco T. Vasconcelos
:
System Fμ ømega with Context-free Session Types. ESOP 2023: 392-420 - [c11]Alcides Fonseca
, Diogo Poças
:
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. GECCO 2023: 1100-1108 - [i8]Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
System Fμω with Context-free Session Types. CoRR abs/2301.08659 (2023) - 2022
- [j12]Vasco Boavida De Brito, José Félix Costa, Diogo Poças
:
The Power of Machines That Control Experiments. Int. J. Found. Comput. Sci. 33(2): 91-118 (2022) - [j11]Yiannis Giannakopoulos
, Diogo Poças
, Alexandros Tsigonias-Dimitriadis
:
Robust Revenue Maximization Under Minimal Statistical Information. ACM Trans. Economics and Comput. 10(3): 11:1-11:34 (2022) - [c10]Simon J. Gay
, Diogo Poças
, Vasco T. Vasconcelos
:
The Different Shades of Infinite Session Types. FoSSaCS 2022: 347-367 - [c9]Diana Costa
, Andreia Mordido, Diogo Poças
, Vasco T. Vasconcelos:
Higher-order Context-free Session Types in System F. PLACES@ETAPS 2022: 24-35 - [i7]Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos:
The Different Shades of Infinite Session Types. CoRR abs/2201.08275 (2022) - 2021
- [j10]Yiannis Giannakopoulos
, Alexander Hammerl, Diogo Poças
:
A New Lower Bound for Deterministic Truthful Scheduling. Algorithmica 83(9): 2895-2913 (2021) - [j9]Diogo Poças
, Jeffery I. Zucker:
Tracking computability of GPAC-generable functions. J. Log. Comput. 31(1): 326-346 (2021) - [j8]Yiannis Giannakopoulos, Diogo Poças
, Keyu Zhu:
Optimal Pricing for MHR and λ-regular Distributions. ACM Trans. Economics and Comput. 9(1): 2:1-2:28 (2021) - [j7]Layla Martin
, Stefan Minner
, Diogo Poças
, Andreas S. Schulz
:
The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems. Transp. Sci. 55(6): 1232-1259 (2021) - [c8]Aris Filos-Ratsikas
, Yiannis Giannakopoulos
, Alexandros Hollender
, Philip Lazos, Diogo Poças
:
On the Complexity of Equilibrium Computation in First-Price Auctions. EC 2021: 454-476 - [i6]Aris Filos-Ratsikas, Yiannis Giannakopoulos
, Alexandros Hollender, Philip Lazos, Diogo Poças:
On the Complexity of Equilibrium Computation in First-Price Auctions. CoRR abs/2103.03238 (2021) - 2020
- [c7]George Christodoulou
, Martin Gairing, Yiannis Giannakopoulos
, Diogo Poças
, Clara Waldmann
:
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. ICALP 2020: 32:1-32:18 - [c6]Diogo Poças
, Jeffery I. Zucker:
Tracking Computability of GPAC-Generable Functions. LFCS 2020: 214-235 - [c5]Yiannis Giannakopoulos
, Diogo Poças
:
A Unifying Approximate Potential for Weighted Congestion Games. SAGT 2020: 99-113 - [c4]Yiannis Giannakopoulos
, Alexander Hammerl, Diogo Poças
:
A New Lower Bound for Deterministic Truthful Scheduling. SAGT 2020: 226-240 - [c3]Yiannis Giannakopoulos
, Diogo Poças
, Alexandros Tsigonias-Dimitriadis:
Robust Revenue Maximization Under Minimal Statistical Information. WINE 2020: 177-190 - [i5]George Christodoulou, Martin Gairing, Yiannis Giannakopoulos
, Diogo Poças
, Clara Waldmann
:
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. CoRR abs/2002.07466 (2020) - [i4]Yiannis Giannakopoulos
, Alexander Hammerl, Diogo Poças:
A New Lower Bound for Deterministic Truthful Scheduling. CoRR abs/2005.10054 (2020) - [i3]Yiannis Giannakopoulos
, Diogo Poças:
A Unifying Approximate Potential for Weighted Congestion Games. CoRR abs/2005.10101 (2020)
2010 – 2019
- 2019
- [j6]Diogo Poças
, Jeffery I. Zucker:
Approximability in the GPAC. Log. Methods Comput. Sci. 15(3) (2019) - [c2]Thomas Goldbrunner, Nguyen Anh Vu Doan, Diogo Poças
, Thomas Wild, Andreas Herkersdorf:
Register Requirement Minimization of Fixed-Depth Pipelines for Streaming Data Applications. SoCC 2019: 406-411 - [i2]Yiannis Giannakopoulos
, Diogo Poças
, Alexandros Tsigonias-Dimitriadis:
Robust Revenue Maximization Under Minimal Statistical Information. CoRR abs/1907.04220 (2019) - 2018
- [j5]Diogo Poças
, Jeffery I. Zucker:
Analog networks on function data streams. Comput. 7(4): 301-322 (2018) - [i1]Diogo Poças
, Jeffery I. Zucker:
Approximability in the GPAC. CoRR abs/1801.07661 (2018) - 2017
- [j4]Edwin J. Beggs, José Félix Costa, Diogo Poças
, John V. Tucker:
Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. 27(8): 1315-1363 (2017) - 2014
- [j3]Edwin J. Beggs, José Félix Costa
, Diogo Poças
, John V. Tucker:
An analogue-Digital Church-Turing Thesis. Int. J. Found. Comput. Sci. 25(4): 373-390 (2014) - [j2]Luca Manzoni
, Diogo Poças
, Antonio E. Porreca
:
Simple reaction Systems and their Classification. Int. J. Found. Comput. Sci. 25(4): 441-458 (2014) - 2013
- [j1]Edwin J. Beggs, José Félix Costa
, Diogo Poças
, John V. Tucker:
Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. 23(6): 1155-1181 (2013) - [c1]Edwin J. Beggs, José Félix Costa, Diogo Poças
, John V. Tucker:
On the Power of Threshold Measurements as Oracles. UCNC 2013: 6-18
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint