Journal Article (166)
21.
Journal Article
339 (10), pp. 2515 - 2525 (2016)
(1,j)-set Problem in Graphs. Discrete Mathematics 22.
Journal Article
56 (2), pp. 155 - 200 (2016)
Semi-intelligible Isar Proofs from Machine-Generated Proofs. Journal of Automated Reasoning 23.
Journal Article
12 (4), pp. 1 - 52 (2016)
Encoding Monomorphic and Polymorphic Types. Logical Methods in Computer Science 24.
Journal Article
57 (3), pp. 219 - 244 (2016)
A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning 25.
Journal Article
9 (1), pp. 101 - 148 (2016)
Hammering towards QED. Journal of Formalized Reasoning 26.
Journal Article
145, pp. 1 - 12 (2016)
Greedy Strikes Again: A Deterministic PTAS for Commutative Rank of Matrix Spaces. Electronic Colloquium on Computational Complexity (ECCC): Report Series 27.
Journal Article
34 (8), pp. 605 - 608 (2016)
Multi-Omics of Single Cells: Strategies and Applications. Trends in Biotechnology 28.
Journal Article
34, pp. 726 - 737 (2016)
Quantitative Comparison of DNA Methylation Assays for Biomarker Development and Clinical Applications. Nature Biotechnology 29.
Journal Article
35 (6), 183 (2016)
Representing and Scheduling Procedural Generation using Operator Graphs. ACM Transactions on Graphics 30.
Journal Article
37, pp. 34 - 75 (2016)
Solving Bivariate Systems Using Rational Univariate Representations. Journal of Complexity 31.
Journal Article
17 (Suppl. 11), 342 (2016)
PWHATSHAP: Efficient Haplotyping for Future Generation Sequencing. BMC Bioinformatics 32.
Journal Article
35 (2), pp. 295 - 305 (2016)
Geometric Flows of Curves in Shape Space for Processing Motion of Deformable Objects. Computer Graphics Forum 33.
Journal Article
Parameterized Complexity Dichotomy for Steiner Multicut. Journal of Computer and System Sciences, pp. 1020 - 1043 (2016)
34.
Journal Article
7 (2), pp. 46 - 76 (2016)
Approximability of the Discrete Fréchet Distance. Journal on Computational Geometry 35.
Journal Article
48 (4), pp. 681 - 702 (2016)
Balls into Bins via Local Search: Cover Time and Maximum Load. Random Structures and Algorithms 36.
Journal Article
49 (1), pp. 94 - 98 (2016)
Pervasive Attentive User Interfaces. Computer 37.
Journal Article
23 (3), pp. 70 - 73 (2016)
Eyewear Computers for Human-Computer Interaction. Interactions 38.
Journal Article
12 (3), 41 (2016)
Depth Personalization and Streaming of Stereoscopic Sports Videos. ACM Transactions on Multimedia Computing, Communications, and Applications 39.
Journal Article
22, pp. 606 - 613 (2016)
Impact of Pre-adapted HIV Transmission. Nature Medicine 40.
Journal Article
260, pp. 33 - 45 (2016)
Topological Separations in Inductive Inference. Theoretical Computer Science