Publications

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