Publications

 
  • From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis.
    Fahmi A Soyel H Marsh W Curzon P MacBrayne A Humby F
    Studies in Health Technology and Informatics, Ios Press vol. 275, 62-66.  
    23-11-2020
  • Counting Small Induced Subgraphs Satisfying Monotone Properties
    Roth M Wellnitz P
    2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). vol. 00, 1356-1367.  
    19-11-2020
  • Featherweight go
    Griesemer R Hu R Kokke W Lange J Taylor IL Toninho B Wadler P Yoshida N
    Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-29.  
    13-11-2020
  • Statically verified refinements for multiparty protocols
    Zhou F Ferreira F Hu R Neykova R Yoshida N
    Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-30.  
    13-11-2020
  • Double Negation Semantics for Generalisations of Heyting Algebras
    Oliva P Arthan R
    Studia Logica: An International Journal For Symbolic Logic, Springer Verlag 
    25-05-2020
  • Kripke Semantics for Intuitionistic Lukasiewicz Logic
    Andrew L-S Oliva P 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 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 Sentance S
    Computers & Education, Elsevier Bv, 103838-103838.  
    12-02-2020
  • Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness
    Roth M Schmitt J
    Algorithmica, Springer Nature vol. 82 (8), 2267-2291.  
    22-01-2020
  • QQIF: Quantum Quantitative Information Flow (invited paper)
    Américo A Malacaria P
    2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). vol. 00, 261-270.  
    11-01-2020
  • Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity.
    Américo A Khouzani MHR Malacaria P
    IEEE Trans. Inf. Theory vol. 66, 5537-5547.  
    01-01-2020
  • Counting and finding homomorphisms is universal for parameterized complexity theory
    Roth M Wellnitz P
    Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms. vol. 2020-January, 2161-2180.  
    01-01-2020