Browse by SupervisorsNumber of items: 8. 2022Chupin, Guerric (2022) Efficient implementations of expressive modelling languages. PhD thesis, University of Nottingham. 2019Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham. 2018Bracker, Jan (2018) Unified notions of generalised monads and applicative functors. PhD thesis, University of Nottingham. Perez Dominguez, Ivan (2018) Extensible and robust functional reactive programming. PhD thesis, University of Nottingham. Ward, Wil O. C. (2018) Development of machine learning techniques for characterising changes in time-lapse resistivity monitoring. PhD thesis, University of Nottingham. 2016Mitchelmore, Robert Eurig (2016) The usefulness of case in plastic user interfaces. PhD thesis, University of Nottingham. Saenz Carrasco, Juan Carlos (2016) Functional programming and non-distributivity in pathfinding problems. MPhil thesis, The University of Nottingham. van Gijzel, Bas (2016) A framework for relating, implementing and verifying argumentation models and their translations. PhD thesis, University of Nottingham. |
![[up]](/style/images/multi_up.png)
Up a level