Publications
- Forster Y, Kunze F and Roth M (2019). The weak call-by-value λ-calculus is reasonable for both time and space. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 4 (POPL), 1-23.
20-12-2019 - Hermida C, Reddy US and Robinson EP (2019). Deriving Logical Relations from Interpretations of Predicate Logic. Electronic Notes in Theoretical Computer Science, Elsevier vol. 347, 241-259.
01-11-2019 - Américo A, Malacaria P and Khouzani M (2019). Channel Ordering and Supermodularity. 2019 IEEE Information Theory Workshop (ITW).
28-08-2019 - Dörfler J, Roth M, Schmitt J and Wellnitz P (2019). Counting induced subgraphs: An algebraic approach to #W[1]-hardness.
01-08-2019 - Dell H, Roth M and Wellnitz P (2019). Counting answers to existential questions.
01-07-2019 - Américo A, Khouzani M and Malacaria P (2019). Deterministic Channel Design for Minimum Leakage.
25-06-2019 - Khouzani MHR, Liu Z and Malacaria P (2019). Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. European Journal of Operational Research, Elsevier BV
29-04-2019 - Khouzani MHR and Malacaria P (2019). Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints. IEEE Trans. Inf. Theory vol. 65, 888-901.
01-02-2019 - Castro D, Hu R, Jongmans S-S, Ng N and Yoshida N (2019). Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 3 (POPL), 1-30.
02-01-2019 - Roth M and Schmitt J (2019). Counting induced subgraphs: A topological approach to #W[1]-hardness.
01-01-2019 - Americo A, Malacaria P and Khouzani MHR (2019). Channel Ordering and Supermodularity.
01-01-2019