Publications
- Américo A, Khouzani M and Malacaria P (2021). Channel-supermodular entropies: Order theory and an application to query anonymization. Entropy vol. 24 (1)
25-12-2021 - Dörfler J, Roth M, Schmitt J and Wellnitz P (2021). Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness. Algorithmica, Springer Nature vol. 84 (2), 379-404.
07-12-2021 - Viering M, Hu R, Eugster P and Ziarek L (2021). A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proceedings of the ACM on Programming Languages vol. 5 (OOPSLA), 1-30.
15-10-2021 - Peyerimhoff N, Roth M, Schmitt J, Stix J and Vdovina A (2021). Parameterized (Modular) Counting and Cayley Graph Expanders. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021).
01-08-2021 - Roth M, Schmitt J and Wellnitz P (2021). Detecting and counting small subgraphs, and evaluating a parameterized tutte polynomial: Lower bounds via toroidal grids and cayley graph expanders. 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021).
01-07-2021 - Américo A and Malacaria P (2021). Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
25-06-2021 - Zhang Y and Malacaria P (2021). Bayesian Stackelberg games for cyber-security decision support. Decision Support Systems, Elsevier vol. 148
15-05-2021 - Roth M (2021). Parameterized Counting of Partially Injective Homomorphisms. Algorithmica, Springer Nature vol. 83 (6), 1829-1860.
11-03-2021 - Zhang Y and Malacaria P (2021). Optimization-Time Analysis for Cybersecurity. IEEE Transactions on Dependable and Secure Computing
01-02-2021 - Focke J, Goldberg LA, Roth M and Živný S (2021). Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2. SIAM Journal on Discrete Mathematics, Society for Industrial & Applied Mathematics (SIAM) vol. 35 (4), 2749-2814.
01-01-2021 - Américo A and Malacaria P (2021). Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures.
01-01-2021