Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

  1. 2019
  2. A Key to Your Heart: Biometric Authentication Based on ECG Signals

    Samarin, N. & Sannella, D., 11 Aug 2019. 6 p.

    Research output: Contribution to conferencePaper

  3. 2018
  4. 45th International Colloquium on Automata, Languages, and Programming: ICALP 2018, Prague, Czech Republic, July 9-13, 2018

    Chatzigiannakis, I. (ed.), Kaklamanis, C. (ed.), Marx, D. (ed.) & Sannella, D. (ed.), Jul 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. 2236 p. (LIPIcs)

    Research output: Book/ReportAnthology

  5. On Normal Forms for Structured Specifications with Generating Constraints

    Sannella, D. & Tarlecki, A., 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer International Publishing, p. 266-284 19 p. (Lecture Notes in Computer Science; vol. 10800).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 2017
  7. Specification refinements: calculi, tools, and applications

    Codescu, M., Mossakowski, T., Sannella, D. & Tarlecki, A., 15 Sep 2017, In : Science of Computer Programming. 144, p. 1-49 48 p.

    Research output: Contribution to journalArticle

  8. Entailment for Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M., 2017, (Accepted/In press) Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Refinement of Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M., 2017, (Accepted/In press) Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 2016
  11. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

    Lindley, S., McBride, C., Trinder, P. & Sannella, D., 2016, Springer International Publishing. 501 p. (Lecture Notes in Computer Science; vol. 9600)

    Research output: Book/ReportBook

  12. 2015
  13. Algebraic constructions: a simple framework for complex dependencies and parameterisation

    Marczynski, G., Sannella, D. & Tarlecki, A., 2015, In : International Journal of Software and Informatics. 9, 2, p. 117-139 22 p.

    Research output: Contribution to journalArticle

  14. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

    Italiano, G. F., Pighizzini, G. & Sannella, D., 2015, Springer Berlin Heidelberg. 482 p. (Lecture Notes in Computer Science; vol. 9234)

    Research output: Book/ReportBook

  15. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

    Italiano, G. F., Pighizzini, G. & Sannella, D., 2015, Springer Berlin Heidelberg. 633 p. (Lecture Notes in Computer Science; vol. 9235)

    Research output: Book/ReportBook

Previous 1 2 3 4 5 6 7 8 Next