David Owen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	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		Helen Brazier, David Owen: Introduction. Library Trends 55(4): 757-759 (2007)
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		David Owen, Tim Menzies: Lurch: a Lightweight Alternative to Model Checking. SEKE 2003: 158-165
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		Tim Menzies, David Owen, Bojan Cukic: You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219
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
	1987
c3		David Owen: Direct Manipulation and Procedural Reasoning. HCI (2) 1987: 349-356
	1982
c2		David Owen: Relating Object Models to Segmentation Strategies. ECAI 1982: 205-210
	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

1	Frank Birch	[c1]
2	Helen Brazier	[j2]
3	Steven P. Callahan	[c13]
4	Bojan Cukic	[c11] [c10] [c7] [c6] [c5] [c4]
5	Dejan Desovski	[c11] [c10]
6	Jimin Gao	[c12] [c8]
7	Mats Per Erik Heimdahl	[c12] [c8]
8	Geoffrey E. Hinton	[c1]
9	William Martin	[c13]
10	Tim Menzies	[j3] [c12] [c9] [c8] [c7] [c6] [c5] [c4]
11	Frank O'Gorman	[c1]
12	Julian Richardson	[j3]
13	Cláudio T. Silva	[c13]
14	Aaron Sloman	[c1]
15	Nathan Smith	[c13]
16	K. Subramani	[j4]
17	C. Tauras	[j4]
18	Huy T. Vo	[c13]
19	David Weinstein	[c13]

Colors in the list of coauthors

Last update Fri May 24 16:24:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page