Wissenschaftliche Publikationen

Zeitschriftenartikel (256)

1.
Zeitschriftenartikel
Akshay, S.; Bazille, H.; Genest, B.; Vahanwala, M.: On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Logcial Methods in Computer Science 20 (2), 11, S. 1 - 32 (2024)
2.
Zeitschriftenartikel
Balasubramanian, A. R.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 8 (POPL), 4, S. 90 - 114 (2024)
3.
Zeitschriftenartikel
Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 19 (4), 35, S. 1 - 19 (2024)
4.
Zeitschriftenartikel
Bergsträßer, 1.; Ganardi, M.; Lin, A. W.; Zetzsche, G.: Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 8 (POPL), 1, S. 1 - 32 (2024)
5.
Zeitschriftenartikel
Bilu, Y. F.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 93 (347), S. 1333 - 1353 (2024)
6.
Zeitschriftenartikel
Gäher, L.; Sammler, M.; Jung, R.; Krebbers, R.; Dreyer, D.: RefinedRust: A Type System for High-Assurance Verification of Rust Programs. Proceedings of the ACM on Programming Languages 8 (PLDI), 192, S. 1115 - 1139 (2024)
7.
Zeitschriftenartikel
Kokologiannakis, M.; Marmanis, I.; Vafeiadis, V.: SPORE: Combining Symmetry and Partial Order Reduction. Proceedings of the ACM on Programming Languages 8 (PLDI), 219, S. 1781 - 1803 (2024)
8.
Zeitschriftenartikel
Lefaucheux, E.; Ouaknine, J.; Purser, D.; Worrell, J.: Porous Invariants for Linear Systems. Formal Methods in System Design (2024)
9.
Zeitschriftenartikel
Liu, J.; Qu, W.; Gaboardi, M.; Garg, D.; Ullman, J.: Program Analysis for Adaptive Data Analysis. Proceedings of the ACM on Programming Languages 8 (PLDI), 184, S. 914 - 938 (2024)
10.
Zeitschriftenartikel
Majumdar, R.; Sathiyanarayana, V. R.: Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 8 (POPL), 37, S. 1089 - 1117 (2024)
11.
Zeitschriftenartikel
Morand, V.; Müller, N.; Weightman, R.; Piccoli, B.; Keimer, A.; Bayen, A. M.: Deep learning of first-order nonlinear hyperbolic conservation law solvers. Journal of Computational Physics 511, 113114 (2024)
12.
Zeitschriftenartikel
Padurean, V. A.; Tzannetos, G.; Singla, A.: Neural Task Synthesis for Visual Programming. Transactions on Machine Learning Research 2024, S. 1 - 40 (2024)
13.
Zeitschriftenartikel
Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.: Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software 9 (93), 5052, S. 1 - 4 (2024)
14.
Zeitschriftenartikel
Speicher, T.; Nanda, V.; Gummadi, K.: Understanding the Role of Invariance in Transfer Learning. Transactions on Machine Learning Research 2024, S. 1 - 30 (2024)
15.
Zeitschriftenartikel
Spies, S.; Gäher, L.; Sammler, M.; Dreyer, D.: Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq. Proceedings of the ACM on Programming Languages 8 (PLDI), 183, S. 889 - 913 (2024)
16.
Zeitschriftenartikel
Timany, A.; Krebbers, R.; Dreyer, D.; Birkedal, L.: A Logical Approach to Type Soundness. Journal of the ACM 71 (6), 40, S. 1 - 75 (2024)
17.
Zeitschriftenartikel
Ali, J.; Babaei, M.; Chakraborty, A.; Mirzasoleiman, B.; Gummadi, K.; Singla, A.: On the Fairness of Time-Critical Influence Maximization in Social Networks. IEEE Transactions on Knowledge and Data Engineering 35 (3), S. 2875 - 286 (2023)
18.
Zeitschriftenartikel
Ayalon, O.; Li, S.; Preneel, B.; Redmiles, E. M.: Not Only for Contact Tracing: Use of Belgium's Contact Tracing App among Young Adults. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 6 (4), 202, S. 1 - 26 (2023)
19.
Zeitschriftenartikel
Banihashem, K.; Singla, A.; Radanovic, G.: Defense Against Reward Poisoning Attacks in Reinforcement Learning. Transactions on Machine Learning Research 2023 (1), S. 1 - 44 (2023)
20.
Zeitschriftenartikel
Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 7 (POPL), 73, S. 2141 - 2170 (2023)
Zur Redakteursansicht