Research output per year
Research output per year
Search results
-
2020
On the Reachability and Mortality Problems for Hybrid Systems on Closed Surfaces
de Oliveira Oliveira, M. & Tveretina, O., 2020, (Submitted).Research output: Working paper
-
2018
A comparison of methods for traversing non-convex regions in optimization problems
Bartholomew-Biggs, M. C., Beddiaf, S. & Christianson, B., 3 Jul 2018, Optimization Online, 19 p.Research output: Working paper
Open AccessFile128 Downloads (Pure) -
Smart Contracts Software Metrics: a First Study
Tonelli, R., Destefanis, G., Marchesi, M. & Ortu, M., 5 Feb 2018, arXiv.Research output: Working paper
File143 Downloads (Pure)