Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 12
Item hits:
Issue DateTitleAuthor(s)
31-May-2016Fault-Tolerant Resource ReasoningNtzik, G; Da Rocha Pinto, P; Gardner, PA; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E
31-Dec-2014Automated Error-Detection and Repair for Compositional Software SpecificationsAlrajeh, D; Craven, R; Giannakopoulou, D; SalaÃŒn, G
31-Dec-2013Probabilistic Verification at Runtime for Self-Adaptive SystemsFilieri, A; Tamburrelli, G; Cámara, J; De Lemos, R; Ghezzi, C, et al
1-Jan-2014Motion Corrected 3D Reconstruction of the Fetal Thorax from Prenatal MRIKainz, B; Malamateniou, C; Murgasova, M; Keraudren, K; Rutherford, M, et al
16-Feb-2014Bayesian Gait Optimization for Bipedal LocomotionCalandra, R; Gopalan, N; Seyfarth, A; Peters, J; Deisenroth, MP
13-Mar-2016Quicksort Revisited: Verifying Alternative Versions of QuicksortCertezeanu, R; Drossopoulou, S; Egelund-Muller, B; Leino, KRM; Sivarajan, S, et al
25-Jul-2017Centrally governed blockchains: optimizing security, cost, and availabilityLundbaek, L; Callia d'Iddio, A; Huth, MRA; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E, et al
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al
3-Jul-2019Featherweight ScribbleYoshida, N; Neykova, R; Boreale, M; Corradini, F; Loreti, M, et al
2-Feb-2017Self attachment: A holistic approach to computational psychiatryEdalat, A; Peter, E; Bhattacharya,, BS; Cochran, A