Publications

   2025   |   2024   |   2023   |   2022   |   2021   |   2020   |   2019   |   2018   |   2017   |   2016   
  • Fahmi A, Soyel H, Marsh W, Curzon P, MacBrayne A and Humby F (2020). From personalised predictions to targeted advice: Improving self-management in rheumatoid arthritis. Studies in Health Technology and Informatics vol. 275, 62-66.  
    23-11-2020
  • Roth M, Schmitt J and Wellnitz P (2020). Counting Small Induced Subgraphs Satisfying Monotone Properties. 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). 
    19-11-2020
  • Zhou F, Ferreira F, Hu R, Neykova R and Yoshida N (2020). Statically verified refinements for multiparty protocols. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 4 (OOPSLA), 1-30.  
    13-11-2020
  • Griesemer R, Hu R, Kokke W, Lange J, Taylor IL, Toninho B, Wadler P and Yoshida N (2020). Featherweight go. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 4 (OOPSLA), 1-29.  
    13-11-2020
  • Andrew L-S, Oliva P and Robinson E (2020). Kripke Semantics for Intuitionistic Lukasiewicz Logic. Studia Logica: an international journal for symbolic logic, Springer Verlag 
    21-04-2020
  • Americo A, Khouzani M and Malacaria P (2020). Conditional Entropy and Data Processing: an Axiomatic Approach Based on Core-Concavity. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers (IEEE), 1-1.  
    13-04-2020
  • Waite J, Curzon P, Marsh W and Sentance S (2020). Difficulties with design: The challenges of teaching design in K-5 programming. Computers & Education, Elsevier BV, 103838-103838.  
    12-02-2020
  • Roth M and Schmitt J (2020). Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness. Algorithmica, Springer Nature vol. 82 (8), 2267-2291.  
    22-01-2020
  • Américo A and Malacaria P (2020). QQIF: Quantum Quantitative Information Flow (invited paper). 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). 
    11-01-2020
  • Americo A and Malacaria P (2020). QQIF: Quantum Quantitative Information Flow. 
    01-01-2020
  • Roth M and Wellnitz P (2020). Counting and finding homomorphisms is universal for parameterized complexity theory. 
    01-01-2020
  • Américo A, Khouzani MHR and Malacaria P (2020). Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. IEEE Trans. Inf. Theory vol. 66, 5537-5547.  
    01-01-2020