On monotonic determinacy and rewritability for recursive queries and views
Benedikt, M Kikot, S Ostropolski-Nalewaja, P Romero, M PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 131-148 (14 Jun 2020)
ARCH-COMP19 Category Report: Stochastic Modelling
Abate, A Blom, H Cauchi, N Degiorgio, K Fränzle, M Moritz Hahn, E Haesaert, S Ma, H Oishi, M Pilch, C Remke, A Salamati, M Soudjani, S van Huijgevoort, B Vinod, A EPiC series in computing volume 61 62-20 (25 May 2019)
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
Frehse, G Abate, A Adzkiya, D Becchi, A Bu, L Cimatti, A Giacobbe, M Griggio, A Mover, S Syifa'ul Mufid, M Riouak, I Tonetta, S Zaffanella, E 1-13 (25 May 2019)
Generic predictions of output probability based on complexities of inputs and outputs
Dingle, K Pérez, G Louis, A Scientific reports volume 10 issue 1 (10 Mar 2020)

The University has announced numerous steps to prioritise the health and welfare of staff, students and visitors in the light of the UK’s escalating coronavirus situation. This is an unprecedented and challenging time for our university and department community, and I would ask that you please support each other wherever you can, and follow University guidance, which is continuously updated. MI staff and students should also check their emails regularly for further guidance.

Subscribe to