Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Owen
2000 – 2009
- 2008
[j4]K. Subramani, C. Tauras, David Owen: Fault Tolerant Sorting - Theoretical and Empirical Analyses of the Randomized QuickMergesort Algorithm. J. Math. Model. Algorithms 7(3): 255-276 (2008)- 2007
- [j3]Tim Menzies, David Owen, Julian Richardson: The Strangest Thing About Software. IEEE Computer 40(1): 54-60 (2007)
- [j2]
- [j1]David Owen: Sharing a Vision to Improve Library Services for Visually Impaired People in the United Kingdom. Library Trends 55(4): 809-829 (2007)
- [c13]Huy T. Vo, Steven P. Callahan, Nathan Smith, Cláudio T. Silva, William Martin, David Owen, David Weinstein: iRun: Interactive Rendering of Large Unstructured Grids. EGPGV 2007: 93-100
- 2006
- [c12]Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies: On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) 2006: 150-160
- [c11]David Owen, Dejan Desovski, Bojan Cukic: Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE 2006: 321-330
- [c10]David Owen, Dejan Desovski, Bojan Cukic: Random testing of formal software models and induced coverage. Random Testing 2006: 20-27
- 2003
- [c9]
- [c8]David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao: On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW 2003: 75
- 2002
- [c7]
- [c6]David Owen, Bojan Cukic, Tim Menzies: An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. HASE 2002: 119-128
- [c5]Tim Menzies, David Owen, Bojan Cukic: Saturation Effects in Testing of Formal Models. ISSRE 2002: 15-26
- [c4]David Owen, Tim Menzies, Bojan Cukic: What Makes Finite-State Models More (or Less) Testable? ASE 2002: 237-240
1980 – 1989
- 1987
- [c3]
- 1982
- [c2]
1970 – 1979
- 1978
- [c1]Aaron Sloman, David Owen, Geoffrey E. Hinton, Frank Birch, Frank O'Gorman: Representation and Control in Vision. AISB/GI (ECAI) 1978: 309-314
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 09:34 CET by the dblp team