David Clark

	2012
72		David Clark, Vladimir D. Tonchev: Nonbinary quantum codes derived from finite geometries. Finite Fields and Their Applications 18(1): 63-69 (2012)
71		David Clark, Robert M. Hierons: Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012)
	2011
70		Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li: Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
69		Lee Renforth, Malcolm Seltzer-Grant, Ross Mackinlay, Steven Goodfellow, David Clark, Roger Shuttleworth: Experiences from over 15 years of on-line partial discharge (OLPD) testing of in-service MV and HV cables, switchgear, transformers and rotating machines. LARC 2011: 1-7
68		Chunyan Mu, David Clark: A Tool: Quantitative Analyser for Programs. QEST 2011: 145-146
67		David Clark, Dieter Jungnickel, Vladimir D. Tonchev: Affine geometry designs, polarities, and Hamada's conjecture. J. Comb. Theory, Ser. A 118(1): 231-239 (2011)
66		David Clark, Roberto Giacobazzi, Chunyan Mu: Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(6): 1109-1110 (2011)
	2010
65		Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
64		Yuichiro Fujiwara, David Clark, Peter Vandendriessche, Maarten De Boeck, Vladimir D. Tonchev: Entanglement-assisted quantum low-density parity-check codes CoRR abs/1008.4747: (2010)
63		Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li: An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010)
	2009
62		Chunyan Mu, David Clark: Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES 2009: 49-57
61		Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
60		Chunyan Mu, David Clark: An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci. 253(3): 119-141 (2009)
59		David Nicholas, David Clark, Ian Rowlands, Hamid R. Jamali M.: Online use and information seeking behaviour: institutional and subject comparisons of UK researchers. J. Information Science 35(6): 660-676 (2009)
	2008
58		David Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
57		Kevin Lano, David Clark: Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49
56		Kevin Lano, David Clark: Model Transformation Specification and Verification. QSIC 2008: 45-54
	2007
55		Xiaowei Yang, David Clark, Arthur W. Berger: NIRA: a new inter-domain routing architecture. IEEE/ACM Trans. Netw. 15(4): 775-788 (2007)
54		David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)
53		David Clark, Sebastian Hunt, Pasquale Malacaria: A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security 15(3): 321-371 (2007)
52		Kevin Lano, David Clark: Direct Semantics of Extended State Machines. Journal of Object Technology 6(9): 35-51 (2007)
	2005
51		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
50		Kevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)
49		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)
	2004
48		Kevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
47		David Clark: Using Consensus Ensembles to Identify Suspect Data. KES 2004: 483-490
46		Peter A. Bath, David Clark, Michael Wright: The International Observatory on End of Life Care (IOELC): An Information Resource for Palliative Care. Health Informatics Journal 10(2): 121-126 (2004)
45		David Clark: Elsewhere. IEEE Internet Computing 8(3): 15-18 (2004)
44		David Clark: Elsewhere. IEEE Internet Computing 8(4): 12-15 (2004)
43		David Clark: From the Newsstand. IEEE Internet Computing 8(5): 10-13 (2004)
42		David Clark: Testing Programming Skills with Multiple Choice Questions. Informatics in Education 3(2): 161-178 (2004)
	2003
41		Kevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)
	2002
40		Kevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
39		Kevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
38		David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)
37		David Clark: Do Web Standards and Patents Mix? IEEE Computer 35(10): 19-22 (2002)
36		David Clark: Mobile Processors Begin to Grow Up. IEEE Computer 35(3): 22-25 (2002)
	2001
35		Mark Zachry, Kelli Cargile Cook, Brenton D. Faber, David Clark: The changing face of technical communication: new directions for the field in a new millennium. SIGDOC 2001: 248-260
34		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci. 59(3): 238-251 (2001)
33		David Clark: Face-to-Face with Peer-to-Peer Networking. IEEE Computer 34(1): 18-21 (2001)
32		David Clark: Speech Recognition: The Wireless Interface Revolution. IEEE Computer 34(3): 16-18 (2001)
31		David Clark: Visual Basic and the Future of Web-Application Development. IEEE Computer 34(8): 16-18 (2001)
	2000
30		Lew Della, David Clark: Teaching object-oriented development with emphasis on pattern application. ACSE 2000: 56-63
29		Kevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
28		Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
27		David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
26		David Clark: Handhelds Drive Mixed-Signal Chip Development. IEEE Computer 33(11): 12-15 (2000)
25		David Clark: Shopbots Become Agents for Business Change. IEEE Computer 33(2): 18-21 (2000)
24		David Clark: Are Too Many Programmers Too Narrowly Trained? IEEE Computer 33(6): 12-15 (2000)
23		David Clark: Encryption Advances to Meet Internet Challenges. IEEE Computer 33(8): 20-24 (2000)
	1999
22		Robert Cox, David Clark, Alice Richardson: An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles. Australian Joint Conference on Artificial Intelligence 1999: 268-277
21		David Clark: Preparing for a New Generation of Wireless Data. IEEE Computer 32(8): 8-11 (1999)
	1998
20		David Clark, Cara MacNish, Gordon F. Royle: Java as a teaching language—opportunities, pitfalls and solutions. ACSE 1998: 173-179
19		Lew Della, David Clark: From Interface to Persistence: A Framework for Business Oriented Applications. TOOLS (28) 1998: 27-39
18		David Clark: New Era for Digital Signal Processors. IEEE Computer 31: 10-11 (1998)
17		David Clark: Heavy Traffic Drives Networks to IP over Sonet. IEEE Computer 31(12): 17-20 (1998)
16		David Clark: Developments Shake Domain-Name Plan. IEEE Computer 31(4): 17 (1998)
15		David Clark: Are ATM, Gigabit Ethernet Ready for Prime Time? IEEE Computer 31(5): 11-13 (1998)
14		David Clark: OpenMP: a parallel standard for the masses. IEEE Concurrency 6(1): 10-12 (1998)
13		David Clark: ASCI Pathforward: to 30 Tflops and beyond. IEEE Concurrency 6(2): 13-15 (1998)
12		David Clark: On the Wire: Powerline Communications: Finally Ready for Prime Time? IEEE Internet Computing 2(1): 10-11 (1998)
	1997
11		David Clark: Will New Fiber Technology Quench the Thrist for Bandwidth? IEEE Computer 30(10): 14-15 (1997)
10		David Clark: PC and TV Makers Battle Over Convergence. IEEE Computer 30(6): 14-16 (1997)
9		David Clark: Interview: Deep Thoughts on Deep Blue. IEEE Expert 12(4): 31 (1997)
8		David Clark: CISCO Connect Online: It's Good for Business. IEEE Internet Computing 1(6): 55-58 (1997)
	1996
7		David Clark, Joseph Pasquale: Strategic Directions in Networks and Telecommunications. ACM Comput. Surv. 28(4): 679-690 (1996)
6		Corrina Perrone, David Clark, Alexander Repenning: WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. Computer Networks 28(7-11): 1307-1319 (1996)
5		Corrina Perrone, Alexander Repenning, David Clark: WebQuest: Using the World Wide Web & Interactive Simulation Games in the Classroom. First Monday 1(5): (1996)
4		David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science 6(6): 545-578 (1996)
	1995
3		David Clark, Richard Kennaway: Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci. 2: 36-45 (1995)
	1994
2		David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
	1993
1		David Clark, Chris Hankin: A Lattice of Abstract Graphs. PLILP 1993: 318-331

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[63]
2	Kelly Androutsopoulos	[28] [29] [39] [40] [41] [48] [50] [61] [63] [70]
3	Peter A. Bath	[46]
4	Arthur W. Berger	[55]
5	David Binkley	[70]
6	Maarten De Boeck	[64]
7	Michele Boreale	[65]
8	Kelli Cargile Cook	[35]
9	Robert Cox	[22]
10	Sebastian Danicic	[54]
11	Lew Della	[19] [30]
12	Lindsay Errington	[2]
13	Brenton D. Faber	[35]
14	Yuichiro Fujiwara	[64]
15	Roberto Giacobazzi	[54] [66]
16	Nicolas Gold (Nicolas E. Gold)	[70]
17	Steven Goodfellow	[69]
18	Daniele Gorla	[65]
19	Chris Hankin	[1] [2] [27] [38]
20	Mark Harman	[61] [63] [70]
21	Robert M. Hierons	[71]
22	Sebastian Hunt	[27] [34] [38] [49] [51] [53] [58]
23	Dieter Jungnickel	[67]
24	Pauline Kan	[28]
25	Richard Kennaway	[3] [4]
26	Kevin Lano	[28] [29] [39] [40] [41] [48] [50] [52] [56] [57] [70]
27	Zheng Li	[61] [63] [70]
28	Hamid R. Jamali M.	[59]
29	Cara MacNish	[20]
30	Ross Mackinlay	[69]
31	Pasquale Malacaria	[34] [49] [51] [53]
32	Chunyan Mu	[60] [62] [66] [68]
33	David Nicholas	[59]
34	Joseph Pasquale	[7]
35	Corrina Perrone	[5] [6]
36	Lee Renforth	[69]
37	Alexander Repenning	[5] [6]
38	Alice Richardson	[22]
39	Ian Rowlands	[59]
40	Gordon F. Royle	[20]
41	Malcolm Seltzer-Grant	[69]
42	Roger Shuttleworth	[69]
43	Vladimir D. Tonchev	[64] [67] [72]
44	Laurence Tratt	[61]
45	Peter Vandendriessche	[64]
46	Michael Wright	[46]
47	Xiaowei Yang	[55]
48	Mark Zachry	[35]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page