Computing Research Repository
Collection
Collection
Published by Schloss Dagstuhl
Repository on top of arxiv, not peer-reviewed
-
January 2011
-
Sound and complete axiomatizations of coalgebraic language equivalence Article
Computing Research RepositoryM.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)
January 2011
-
A coinductive treatment of infinitary rewriting Article
Computing Research RepositoryJ. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2013
-
Sampling hypergraphs with given degrees Tech Report
M. Dyer (Martin), C. Greenhill (Catherine), P.S. Kleer (Pieter), J. Ross (James) and L. Stougie (Leen)
January 2020 -
String Sanitization Under Edit Distance: Improved and Generalized Tech Report
T. Mieno (Takuya), S. Pissis (Solon), L. Stougie (Leen) and M.J.M. Sweering (Michelle)
January 2020
-
Maximum parsimony distance on phylogenetictrees: a linear kernel and constant factor approximation algorithm Article
Computing Research RepositoryM.E.L. Jones (Mark), S.M. Kelk (Steven) and L. Stougie (Leen)
January 2020 -
The LDBC Social Network Benchmark Article
Computing Research RepositoryR. Angles Rojas (Renzo), J.B. Antal (János Benjamin), A. Averbuch, P.A. Boncz (Peter), O. Erling (Orri), A. Gubichev (Andrey), V. Haprian (Vlad), M. Kaufmann (Moritz), J. Larriba-Pey (Josep), N. Martinez Bazan, et al. J. Marton (József), M. Paradies (Marcus), M.-D. Pham (Minh-Duc), A. Prat-Pérez (Arnau), M. Spasić (Mirko), B.A. Steer (Benjamin), D. Szakállas (David), G. Szárnyas (Gábor), J. Waudby (Jack), M. Wu (Mingxi) and Y. Zhang (Yuchen)
January 2020
-
Edsger W. Dijkstra: A commemoration Article
Computing Research RepositoryApril 2021