| Publication | Date of Publication | Type |
|---|
| Existence and complexity of approximate equilibria in weighted congestion games | 2026-03-18 | Paper |
Distributed graph augmentation protocols to achieve strong connectivity in multi-agent networks
Automatica | 2025-09-16 | Paper |
Polymorphic higher-order context-free session types
Theoretical Computer Science | 2024-05-08 | Paper |
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
Mathematics of Operations Research | 2024-02-23 | Paper |
The different shades of infinite session types
Lecture Notes in Computer Science | 2024-01-23 | Paper |
| System \(F^\mu_\omega\) with context-free session types | 2023-11-24 | Paper |
A unifying approximate potential for weighted congestion games
Theory of Computing Systems | 2023-08-17 | Paper |
The Power of Machines That Control Experiments
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
On the Complexity of Equilibrium Computation in First-Price Auctions
SIAM Journal on Computing | 2023-04-04 | Paper |
Robust revenue maximization under minimal statistical information
(available as arXiv preprint) | 2023-03-21 | Paper |
A new lower bound for deterministic truthful scheduling
Algorithmic Game Theory | 2022-12-21 | Paper |
A unifying approximate potential for weighted congestion games
Lecture Notes in Computer Science | 2022-12-21 | Paper |
Tracking computability of GPAC-generable functions
Journal Of Logic And Computation | 2022-02-08 | Paper |
A new lower bound for deterministic truthful scheduling
Algorithmica | 2021-09-02 | Paper |
| Tracking computability of GPAC-generable functions | 2020-05-06 | Paper |
Approximability in the GPAC
(available as arXiv preprint) | 2019-09-13 | Paper |
Analog networks on function data streams
Computability | 2019-03-20 | Paper |
Transient growth in stochastic Burgers flows
Discrete and Continuous Dynamical Systems. Series B | 2018-12-18 | Paper |
Computations with oracles that measure vanishing quantities
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
Fixed Point Techniques in Analog Systems
Mathematical and Computational Approaches in Advancing Modern Science and Engineering | 2017-02-03 | Paper |
Simple reaction systems and their classification
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
An analogue-digital Church-Turing thesis
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
Oracles that measure thresholds: the Turing machine and the broken balance
Journal Of Logic And Computation | 2014-04-01 | Paper |
On the Power of Threshold Measurements as Oracles
Unconventional Computation and Natural Computation | 2013-06-28 | Paper |
