Leibniz International Proceedings in Informatics (LIPIcs)
Collection
Collection
- ISSN: 1868-8969
Published by Schloss Dagstuhl - Leibniz Center of Informatics
-
Decreasing diagrams with two labels are complete for confluence of countable systems In Proceedings
J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Overbeek (Roy)
July 2018 -
July 2018
-
Multiple-choice knapsack for assigning partial atomic charges in drug-like molecules In Proceedings
M.S. Engler (Martin), B. Caron (Bertrand), L. Veen (Lourens), D.P. Geerke, A.E. Mark (Alan) and G.W. Klau (Gunnar)
August 2018
-
Speeding up switch Markov chains for sampling bipartite graphs with given degree sequence In Proceedings
August 2018
-
How long can optimal locally repairable codes be? In Proceedings
V. Guruswami (Venkatesan), C. Xing (Chaoping) and C. Yuan (Chen)
August 2018
-
Packing sporadic real-time tasks on identical multiprocessor systems In Proceedings
J.-J. Chen (Jian-Jia), N. Bansal (Nikhil), S. Chakraborty (Samarjit) and G. von der Brüggen (Georg)
December 2018
-
Bounding quantum-classical separations for classes of nonlocal games In Proceedings
T.R. Bannink (Tom), J. Briët (Jop), H.M. Buhrman (Harry), F.S. Labib (Farrokh) and T. J. Lee (Troy)
March 2019
-
Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity In Proceedings
A. Belder (Astrid), S.P. Luttik (Bas) and J.C.M. Baeten (Jos)
June 2019