LIPIcs : Leibniz International Proceedings in Informatics
ISSN: 1868-8969
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publications (45)
Hybrid fault-tolerant consensus in asynchronous and wireless embedded systems (2019)
Xu W, Schwarz-Rüsch S, Li B, Kapitza R
Conference contribution
The price of stability of weighted congestion games (2018)
Christodoulou G, Gairing M, Giannakopoulos Y, Spirakis PG
Conference contribution, Original article
Online market intermediation (2017)
Giannakopoulos Y, Koutsoupias E, Lazos P
Conference contribution, Original article
Finitary Corecursion for the Infinitary Lambda Calculus (2015)
Milius S, Wißmann T
Conference contribution
Syntactic Monoids in a Category (2015)
Adámek J, Milius S, Urbat H, Urbat H
Conference contribution, Conference Contribution
