Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 3 Jan 2018, (E-pub ahead of print) Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings.Springer, p. 98-11417 p. (Lecture Notes in Computer Science; vol. 10669).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Vovk, V. & Pavlovic, D., 2016, Proceedings of COPA 2016: Fifth Symposium on Conformal and Probabilistic Prediction with Applications.Springer, Vol. 9653. p. 40-478 p. (Lecture Notes in Computer Science; vol. 9653).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution