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-1997Foreword to the special issue of the journal Mathematical Structures in Computer Science (1997)Huth, M; Jung, A; Keimel, K
31-Dec-2014Automated Error-Detection and Repair for Compositional Software SpecificationsAlrajeh, D; Craven, R; Giannakopoulou, D; SalaÃŒn, G
30-Nov-2008Probabilistic Inference for Fast Learning in ControlRasmussen, CE; Deisenroth, MP; Girgin, S; Loth, M; Munos, R, et al
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