Journal Article (3217)
121.
Journal Article
84, pp. 2292 - 2308 (2022)
Parameterized Complexity of Directed Spanner Problems. Algorithmica 122.
Journal Article
24, pp. 691 - 715 (2022)
A Calculus for Modular Loop Acceleration and Non-Termination Proofs. International Journal on Software Tools for Technology Transfer 123.
Journal Article
41 (8), pp. 2518 - 2531 (2022)
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 124.
Journal Article
111, pp. 3925 - 3951 (2022)
Aliasing and Adversarial Robust Generalization of CNNs. Machine Learning 125.
Journal Article
11, giac086, pp. 1 - 11 (2022)
d-StructMAn: Containerized Structural Annotation on the Scale from Genetic Variants to whole Proteomes. GigaScience 126.
Journal Article
67, pp. 439 - 461 (2022)
The Maximum-Level Vertex in an Arrangement of Lines. Discrete & Computational Geometry 127.
Journal Article
41 (6), 233, pp. 1 - 13 (2022)
QuadStream: A Quad-Based Scene Streaming Architecture for Novel Viewpoint Reconstruction. ACM Transactions on Graphics 128.
Journal Article
22 (1), 1167 (2022)
Respiratory Viruses Dynamics and Interactions: Ten Years of Surveillance in Central Europe. BMC Public Health 129.
Journal Article
41 (4), pp. 169 - 179 (2022)
Point-Pattern Synthesis using Gabor and Random Filters. Computer Graphics Forum 130.
Journal Article
Functional Analysis of Structural Variants in Single Cells using Strand-seq. Nature Biotechnology (2022)
131.
Journal Article
6, CSCW2, 390, pp. 1 - 30 (2022)
"I needed to solve their overwhelmness": How system administration work was affected by COVID-19. Proceedings of the ACM Human-Computer Interaction 132.
Journal Article
Optimal Collusion-Free Teaching. Journal of Machine Learning Research (accepted)
133.
Journal Article
69 (4), pp. 2074 - 2092 (2022)
Toward a Definitive Compressibility Measure for Repetitive Sequences. IEEE Transactions on Information Theory 134.
Journal Article
41 (6), 201, pp. 1 - 15 (2022)
Neural Point Catacaustics for Novel-View Synthesis of Reflections. ACM Transactions on Graphics 135.
Journal Article
112, pp. 939 - 970 (2022)
Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 136.
Journal Article
7 (2), pp. 738 - 745 (2022)
Multi-Scale Interaction for Real-Time LiDAR Data Segmentation on an Embedded Platform. IEEE Robotics and Automation Letters 137.
Journal Article
41 (6), 219, pp. 1 - 16 (2022)
Neural Actor: Neural Free-view Synthesis of Human Actors with Pose Control. ACM Transactions on Graphics 138.
Journal Article
2 (2), vbac027 (2022)
ODEbase: A Repository of ODE Systems for Systems Biology. Bioinformatics Advances 139.
Journal Article
6 (OOPSLA2), 152, pp. 758 - 785 (2022)
Model Checking for a Multi-execution Memory Model. Proceedings of the ACM on Programming Languages 140.
Journal Article
19 (4), pp. 4734 - 4749 (2022)
Delay-Resistant Geo-Distributed Analytics. IEEE Transactions on Network and Service Management