Edinburgh Research Explorer

Laboratory for Foundations of Computer Science

Organisational unit: Research Institute

  1. 2020
  2. Fluid approximation of broadcasting systems

    Bortolussi, L., Hillston, J. & Loreti, M., 13 Feb 2020, (Accepted/In press) In : Theoretical Computer Science. 44 p.

    Research output: Contribution to journalArticle

  3. RubikAuth: Fast and Secure Authentication in Virtual Reality

    Mathis, F., Vaniea, K., Williamson, J. & Khamis, M., 7 Feb 2020, (Accepted/In press) Proceedings of the ACM CHI Conference on Human Factors in Computing Systems 2020. Association for Computing Machinery (ACM), 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A baseline for unsupervised advanced persistent threat detection in system-level provenance

    Berrada, G., Cheney, J., Benabderrahmane, S., Maxwell, W., Mookherjee, H., Theriault, A. & Wright, R., 5 Feb 2020, (Accepted/In press) In : Future Generation Computer Systems. 25 p.

    Research output: Contribution to journalArticle

  5. Pattern Functional Dependencies for Data Cleaning

    Qahtan, A., Tang, N., Ouzzani, M., Cao, Y. & Stonebraker, M., 31 Jan 2020, In : Proceedings of the VLDB Endowment (PVLDB). 13, 5, p. 684-697 14 p.

    Research output: Contribution to journalArticle

  6. Tight bounds for popping algorithms

    Guo, H. & He, K., 30 Jan 2020, (Accepted/In press) In : Random Structures and Algorithms. 19 p.

    Research output: Contribution to journalArticle

  7. A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

    Allais, G., Atkey, R., Chapman, J., McBride, C. & Mckinna, J., 28 Jan 2020, (Accepted/In press) In : Journal of Functional Programming. 61 p.

    Research output: Contribution to journalArticle

  8. Flexible graph matching and graph edit distance using answer set programming

    Chan, S. C. & Cheney, J., 14 Jan 2020, Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer-Verlag, p. 20-36 22 p. (Lecture Notes in Computer Science (LNCS); vol. 12007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Modified log-Sobolev inequalities for strongly log-concave distributions

    Cryan, M., Guo, H. & Mousa, G., 6 Jan 2020, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS). Institute of Electrical and Electronics Engineers (IEEE), p. 1358-1370 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. SIF: A Framework for Solidity Contract Instrumentation and Analysis

    Peng, C., Akca, S. & Rajan, A., 2 Jan 2020, 2019 26th Asia-Pacific Software Engineering Conference (APSEC). Institute of Electrical and Electronics Engineers (IEEE), p. 466-473 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. SolAnalyser: A Framework for Analysing and Testing Smart Contracts

    Akca, S., Rajan, A. & Peng, C., 2 Jan 2020, SIF: A Framework for Solidity Contract Instrumentation and Analysis. Institute of Electrical and Electronics Engineers (IEEE), p. 482-489 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...339 Next