Issue Date	Title	Author(s)
25-Feb-2017	A comprehensive performance evaluation of deformable face tracking “In-the-Wild”	Chrysos, GG; Antonakos, E; Snape, P; Asthana, A; Zafeiriou, S, et al
25-Mar-1996	A compromised characterization to belief revision	Dargam, FCC
29-May-2018	A computational framework for complex disease stratification from multiple large-scale datasets	De Meulder, B; Lefaudeux, D; Bansal, AT; Mazein, A; Chaiboonchoe, A, et al
31-Dec-2006	A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.	Donaldson, AF; Miller, A; Johnson, M; Vene, V
1-Mar-2013	A computational model for multi-variable differential calculus	Edalat, A; Lieutier, A; Pattinson, D
19-Jul-2017	A computationally efficient method for hand-eye calibration	Zhang, Z; Zhang, L; Yang, G-Z; , et al
1-Jan-2018	A concurrent speci cation of POSIX file systems technical report	Ntzik, G; Da Rocha Pinto, PM; Sutherland, J; Gardner, P
21-Jul-2018	A concurrent specification of POSIX file systems	Ntzik, G; Da Rocha Pinto, P; Sutherland, JHJ; Gardner, PA; , et al
1-Jan-2002	A connectionist inductive learning system for modal logic programming	D'Avila Garcez, AS; Lamb, LC; Gabbay, DM
1-Mar-2012	A constraint sampling approach for multi-stage robust optimization	Vayanos, P; Kuhn, D; Rustem, B
2007	A continuous derivative for real-valued functions	Edalat, A; Cooper, SB; Lower, B; Sorbi, A
25-Jan-2015	A counter abstraction technique for the verification of robot swarms.	Lomuscio, AR; Kouvaros, P;
Apr-2022	A counter abstraction technique for verifying properties of probabilistic swarm systems	Lomuscio, A; Pirovano, E;
15-Aug-2017	A critical evaluation of spectrum-based fault localization techniques on a large-scale software system	Keller, F; Grunske, L; Heiden, S; Filieri, A; Van Hoorn, A, et al
1-Jan-2009	A cut-free proof theory for boolean BI (via display logic)	Brotherston, J
14-Feb-2020	A dataset independent set of baselines for relation prediction in argument mining.	Cocarascu, O; Cabrio, E; Villata, S; Toni, F
9-Jul-2023	A dataset of contractual events in court decisions	Paulino Passos, G; Satoh, K; Toni, F
26-Oct-2017	A decade of imaging surgeons' brain function (Part II): a systematic review of applications for technical and non-technical skills assessment	Modi, HN; Singh, H; Yang, G; Darzi, A; Leff, D, et al
13-Oct-2017	A deep cascade of convolutional neural networks for dynamic MR image reconstruction	Schlemper, J; Caballero, J; Hajnal, J; Price, A; Rueckert, D, et al
1-Jan-2017	A deep learning approach to on-node sensor data analytics for mobile or wearable devices	Ravi, D; Wong, C; Lo, B; Yang, G; , et al