Journal Article (131)
21.
Journal Article
63 (2), pp. 347 - 368 (2019)
A Formal Proof of the Expressiveness of Deep Learning. Journal of Automated Reasoning 22.
Journal Article
92, pp. 146 - 155 (2019)
Synchronisation of Partial Multi-Matchings via Non-negative Factorisations. Pattern Recognition 23.
Journal Article
104, pp. 82 - 101 (2019)
A Game Characterisation of Tree-like Q-Resolution Size. Journal of Computer and System Sciences 24.
Journal Article
3, 22 (2019)
Bindings as Bounded Natural Functors. Proceedings of the ACM on Programming Languages 25.
Journal Article
9, 10611 (2019)
Transcriptomics of a KDELR1 Knockout Cell Line Reveals Modulated Cell Adhesion Properties. Scientific Reports 26.
Journal Article
32 (3), pp. 173 - 191 (2019)
Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits. Distributed Computing 27.
Journal Article
24 (1), 1.2 (2019)
KADABRA is an ADaptive Algorithm for Betweenness via Random Approximation. Journal of Experimental Algorithmics 28.
Journal Article
12 (11), pp. 1651 - 1663 (2019)
Motivo: Fast Motif Counting via Succinct Color Coding and Adaptive Sampling. Proccedings of the VLDB Endowment 29.
Journal Article
48 (2), pp. 481 - 512 (2019)
Truly Subcubic Algorithms for Language Edit Distance and RNA Folding via Fast Bounded-Difference Min-Plus Product. SIAM Journal on Computing 30.
Journal Article
760, pp. 35 - 54 (2019)
Geometric Inhomogeneous Random Graphs. Theoretical Computer Science 31.
Journal Article
32, pp. 163 - 193 (2019)
No Occurrence Obstructions in Geometric Complexity Theory. Journal of the American Mathematical Society 32.
Journal Article
10, 1784 (2019)
Multi-platform Discovery of Haplotype-resolved Structural Variation in Human Genomes. Nature Communications 33.
Journal Article
76, pp. 159 - 174 (2019)
Hadwiger's Conjecture for Squares of 2-Trees. European Journal of Combinatorics 34.
Journal Article
32 (5), pp. 361 - 378 (2019)
Secretary Markets with Local Information. Distributed Computing 35.
Journal Article
28 (3), pp. 322 - 327 (2019)
The Geometry of Rank Decompositions of Matrix Multiplication I: 2x2 Matrices. Experimental Mathematics 36.
Journal Article
48 (2), pp. 350 - 372 (2019)
On the Distortion of Locality Sensitive Hashing. SIAM Journal on Computing 37.
Journal Article
61 (1), pp. 42 - 80 (2019)
Polynomial-Sized Topological Approximations Using the Permutahedron. Discrete & Computational Geometry 38.
Journal Article
81, pp. 33 - 44 (2019)
Delaunay Simplices in Diagonally Distorted Lattices. Computational Geometry: Theory and Applications 39.
Journal Article
48 (4), pp. 1364 - 1396 (2019)
Designing Networks with Good Equilibria under Uncertainty. SIAM Journal on Computing 40.
Journal Article
17 (1), pp. 60 - 61 (2019)
Recent Developments in Prophet Inequalities. ACM SIGecom Exchanges