Skip to content

David Owen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

10

Active years

1978–2023

Best venue rank

A*

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2023CVPRWhy is the Winner the Best?Matthias Eisenmann, Annika Reinke, Vivienn Weru, Minu Dietlinde Tizabi, Fabian Isensee, Tim J. Adler, Sharib Ali, Vincent Andrearczyk, Marc Aubreville, Ujjwal Baid, Spyridon Bakas, Niranjan Balu, Sophia Bano, Jorge Bernal, Sebastian Bodenstedt, Alessandro Casella, Veronika Cheplygina, Marie Daum, Marleen de Bruijne, Adrien Depeursinge, Reuben Dorent, Jan Egger, David G. Ellis, Sandy Engelhardt, Melanie Ganz, Noha M. Ghatwary, Gabriel Girard, Patrick Godau, Anubha Gupta, Lasse Hansen, Kanako Harada, Mattias P. Heinrich, Nicholas Heller, Alessa Hering, Arnaud Huaulm, Pierre Jannin, A. Emre Kavur, Oldrich Kodym, Michal Kozubek, Jianning Li, Hongwei Bran Li, Jun Ma, Carlos Martn-Isla, Bjoern H. Menze, J. Alison Noble, Valentin Oreiller, Nicolas Padoy, Sarthak Pati, Kelly Payette, Tim Rdsch, Jonathan Rafael-Patino, Vivek Singh Bawa, Stefanie Speidel, Carole H. Sudre, Kimberlin M. H. van Wijnen, Martin Wagner, D. Wei, Amine Yamlahi, Moi Hoon Yap, C. Yuan, Maximilian Zenk, A. Zia, David Zimmerer, Dogu Baran Aydogan, Binod Bhattarai, Louise Bloch, Raphael Brngel, J. Cho, C. Choi, Qi Dou, Ivan Ezhov, Christoph M. Friedrich, C. Fuller, Rebati Raman Gaire, Adrian Galdran, lvaro Garca-Faura, Maria Grammatikopoulou, S. Hong, Mostafa Jahanifar, I. Jang, Abdolrahim Kadkhodamohammadi, I. Kang, Florian Kofler, S. Kondo, Hugo Jaco Kuijf, M. Li, M. Luu, Tomaz Martincic, Pedro Morais, Mohamed A. Naser, Bruno Oliveira, David Owen, S. Pang, J. Park, S. Park, Szymon Plotka, lodie Puybareau, Nasir M. Rajpoot, K. Ryu, Numan Saeed, Adam Shephard, Pengcheng Shi, Dejan Stepec, Ronast Subedi, Guillaume Tochon, Helena R. Torres, Hlne Urien, Joo L. Vilaa, Kareem A. Wahid, H. Wang, J. Wang, L. Wang, X. Wang, Benedikt Wiestler, Marek Wodzinski, F. Xia, J. Xie, Z. Xiong, Sen Yang, Y. Yang, Zixuan Zhao, Klaus H. Maier-Hein, Paul F. Jger, Annette Kopp-Schneider, Lena Maier-Hein
2021MICCAIDetection of Critical Structures in Laparoscopic Cholecystectomy Using Label Relaxation and Self-supervision.David Owen, Maria Grammatikopoulou, Imanol Luengo, Danail Stoyanov
2019MICCAIImproved Placental Parameter Estimation Using Data-Driven Bayesian Modelling.Dimitra Flouri, David Owen, Rosalind Aughwane, Nada Mufti, Magdalena J. Sokolska, David Atkinson, Giles S. Kendall, Alan Bainbridge, Tom Vercauteren, Anna L. David, Sbastien Ourselin, Andrew Melbourne
2018MICCAIDeep Convolutional Filtering for Spatio-Temporal Denoising and Artifact Removal in Arterial Spin Labelling MRI.David Owen, Andrew Melbourne, Zach Eaton-Rosen, David L. Thomas, Neil Marlow, Jonathan D. Rohrer, Sbastien Ourselin
2017MICCAIAnatomy-Driven Modelling of Spatial Correlation for Regularisation of Arterial Spin Labelling Images.David Owen, Andrew Melbourne, Zach Eaton-Rosen, David Thomas, Neil Marlow, Jonathan D. Rohrer, Sbastien Ourselin
2016MICCAIOptimisation of Arterial Spin Labelling Using Bayesian Experimental Design.David Owen, Andrew Melbourne, David Thomas, Enrico De Vita, Jonathan D. Rohrer, Sbastien Ourselin
2015MICCAIMeasuring Cortical Neurite-Dispersion and Perfusion in Preterm-Born Adolescents Using Multi-modal MRI.Andrew Melbourne, Zach Eaton-Rosen, David Owen, M. Jorge Cardoso, Joanne Beckmann, David Atkinson, Neil Marlow, Sbastien Ourselin
2007EGPGViRun: Interactive Rendering of Large Unstructured Grids.Huy T. Vo, Steven P. Callahan, Nathan Smith, Cludio T. Silva, William Martin, David Owen, David Weinstein
2006COMPSACOn the Distribution of Property Violations in Formal Models: An Initial Study.Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
2006ISSREEffectively Combining Software Verification Strategies: Understanding Different Assumptions.David Owen, Dejan Desovski, Bojan Cukic
2006ISSTARandom testing of formal software models and induced coverage.David Owen, Dejan Desovski, Bojan Cukic
2003SEKELurch: a Lightweight Alternative to Model Checking.David Owen, Tim Menzies
2003SEWOn the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
2002ISSRESaturation Effects in Testing of Formal Models.Tim Menzies, David Owen, Bojan Cukic
1987HCIDirect Manipulation and Procedural Reasoning.David Owen
1982ECAIRelating Object Models to Segmentation Strategies.David Owen
1978ECAIRepresentation and Control in Vision.Aaron Sloman, David Owen, Geoffrey E. Hinton, Frank Birch, Frank O'Gorman