Wissenschaftliche Publikationen

Zeitschriftenartikel (246)

1.
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)
2.
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)
3.
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)
4.
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)
5.
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)
6.
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)
7.
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)
8.
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)
9.
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)
10.
Zeitschriftenartikel
Bayen, A. M.; Keimer, A.; Müller, N.: A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks. Networks and Heterogeneous Media 18 (4), S. 1799 - 1819 (2023)
11.
Zeitschriftenartikel
Bilu, Y. F.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation (2023)
12.
Zeitschriftenartikel
Cho, M.; Song, Y.; Lee, D.; Gäher, L.; Dreyer, D.: Stuttering for Free. Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 281, S. 1677 - 1804 (2023)
13.
Zeitschriftenartikel
Chonev, V.; Ouaknine, J.; Worrell, J.: On the Zeros of Exponential Polynomials. Journal of the ACM 70 (4), 26, S. 1 - 26 (2023)
14.
Zeitschriftenartikel
Cummings, R.; Kaptchuk, G.; Redmiles, E. M.: "I need a better description": An Investigation Into User Expectations For Differential Privacy. Journal of Privacy and Confidentiality 13 (1), S. 1 - 40 (2023)
15.
Zeitschriftenartikel
D'Osualdo, E.; Raad, A.; Vafeiadis, V.: The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 7 (POPL), 26, S. 748 - 774 (2023)
16.
Zeitschriftenartikel
Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Gummadi, K.: FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems 10 (3), S. 1301 - 1313 (2023)
17.
Zeitschriftenartikel
Ganardi, M.; Lohrey, M.; Zetzsche, G.: Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. Algebra and Computation 33 (3), S. 617 - 639 (2023)
18.
Zeitschriftenartikel
Guéneau, A.; Hostert, J.; Spies, S.; Sammler, M.; Birkedal, L.; Dreyer, D.: Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 247, S. 716 - 744 (2023)
19.
Zeitschriftenartikel
Hrushovski, E.; Ouaknine, J.; Pouly, A.; Worrell, J.: On Strongest Algebraic Program Invariants. Journal of the ACM 70 (5), 29, S. 1 - 22 (2023)
20.
Zeitschriftenartikel
Khmelnitsky, I.; Neider, D.; Roy, R.; Xie, X.; Barbot, B.; Bollig, B.; Finkel, A.; Haddad, S.; Leucker, M.; Ye, L.: Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models. International Journal on Software Tools for Technology Transfer 25, S. 341 - 354 (2023)
Zur Redakteursansicht