Publications

• Channel-supermodular entropies: Order theory and an application to query anonymization
  Américo A, Khouzani M and Malacaria P
  Entropy vol. 24 (1) 
  DOI 10.3390/e24010039

  QMRO
  
  25-12-2021
• Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness
  Dörfler J, Roth M, Schmitt J and Wellnitz P
  Algorithmica, Springer Nature vol. 84 (2), 379-404.  
  DOI 10.1007/s00453-021-00894-9

  QMRO
  
  07-12-2021
• A multiparty session typing discipline for fault-tolerant event-driven distributed programming
  Viering M, Hu R, Eugster P and Ziarek L
  Proceedings of The Acm on Programming Languages vol. 5 (OOPSLA), 1-30.  
  DOI 10.1145/3485501

  QMRO
  
  15-10-2021
• Parameterized (Modular) Counting and Cayley Graph Expanders
  Peyerimhoff N, Roth M, Schmitt J, Stix J and Vdovina A
  46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). vol. 202 
  DOI 10.4230/LIPIcs.MFCS.2021.84

  QMRO
  
  01-08-2021
• Detecting and counting small subgraphs, and evaluating a parameterized tutte polynomial: Lower bounds via toroidal grids and cayley graph expanders
  Roth M, Schmitt J and Wellnitz P
  48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). vol. 198 
  DOI 10.4230/LIPIcs.ICALP.2021.108

  QMRO
  
  01-07-2021
• Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
  Américo A and Malacaria P
  2021 IEEE 34th Computer Security Foundations Symposium (CSF). vol. 00, 1-14.  
  DOI 10.1109/csf51468.2021.00021

  QMRO
  
  25-06-2021
• Bayesian Stackelberg games for cyber-security decision support
  Zhang Y and Malacaria P
  Decision Support Systems, Elsevier vol. 148 
  DOI 10.1016/j.dss.2021.113599

  QMRO
  
  15-05-2021
• Parameterized Counting of Partially Injective Homomorphisms
  Roth M
  Algorithmica, Springer Nature vol. 83 (6), 1829-1860.  
  DOI 10.1007/s00453-021-00805-y

  QMRO
  
  11-03-2021
• Optimization-Time Analysis for Cybersecurity
  Zhang Y and Malacaria P
  Ieee Transactions on Dependable and Secure Computing 
  DOI 10.1109/TDSC.2021.3055981

  QMRO
  
  01-02-2021
• Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2
  Focke J, Goldberg LA, Roth M and Živný S
  Siam Journal on Discrete Mathematics, Society For Industrial & Applied Mathematics (Siam) vol. 35 (4), 2749-2814.  
  DOI 10.1137/20m1382921

  QMRO
  
  01-01-2021
• Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures.
  Américo A and Malacaria P
  CSF., 1-14.  
  01-01-2021