DBLP: David Clark

	2012
j48		David Clark, Vladimir D. Tonchev: Nonbinary quantum codes derived from finite geometries. Finite Fields and Their Applications 18(1): 63-69 (2012)
j47		David Clark, Robert M. Hierons: Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012)
	2011
j46		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)
j45		David Clark, Roberto Giacobazzi, Chunyan Mu: Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(6): 1109-1110 (2011)
c23		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
c22		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
c21		Chunyan Mu, David Clark: A Tool: Quantitative Analyser for Programs. QEST 2011: 145-146
	2010
j44		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)
c20		Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
i1		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)
	2009
j43		Chunyan Mu, David Clark: An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci. 253(3): 119-141 (2009)
j42		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)
c19		Chunyan Mu, David Clark: Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES 2009: 49-57
c18		Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
	2008
c17		Kevin Lano, David Clark: Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49
c16		David Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
c15		Kevin Lano, David Clark: Model Transformation Specification and Verification. QSIC 2008: 45-54
	2007
j41		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)
j40		David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)
j39		Kevin Lano, David Clark: Direct Semantics of Extended State Machines. Journal of Object Technology 6(9): 35-51 (2007)
j38		Xiaowei Yang, David Clark, Arthur W. Berger: NIRA: a new inter-domain routing architecture. IEEE/ACM Trans. Netw. 15(4): 775-788 (2007)
	2005
j37		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
j36		Kevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)
j35		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)
	2004
j34		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)
j33		David Clark: Testing Programming Skills with Multiple Choice Questions. Informatics in Education 3(2): 161-178 (2004)
j32		David Clark: Elsewhere. IEEE Internet Computing 8(3): 15-18 (2004)
j31		David Clark: Elsewhere. IEEE Internet Computing 8(4): 12-15 (2004)
j30		David Clark: From the Newsstand. IEEE Internet Computing 8(5): 10-13 (2004)
c14		Kevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
c13		David Clark: Using Consensus Ensembles to Identify Suspect Data. KES 2004: 483-490
	2003
j29		Kevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)
	2002
j28		David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)
j27		David Clark: Mobile Processors Begin to Grow Up. IEEE Computer 35(3): 22-25 (2002)
j26		David Clark: Do Web Standards and Patents Mix? IEEE Computer 35(10): 19-22 (2002)
c12		Kevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
c11		Kevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
	2001
j25		David Clark: Face-to-Face with Peer-to-Peer Networking. IEEE Computer 34(1): 18-21 (2001)
j24		David Clark: Speech Recognition: The Wireless Interface Revolution. IEEE Computer 34(3): 16-18 (2001)
j23		David Clark: Visual Basic and the Future of Web-Application Development. IEEE Computer 34(8): 16-18 (2001)
j22		David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci. 59(3): 238-251 (2001)
c10		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
	2000
j21		David Clark: Shopbots Become Agents for Business Change. IEEE Computer 33(2): 18-21 (2000)
j20		David Clark: Are Too Many Programmers Too Narrowly Trained? IEEE Computer 33(6): 12-15 (2000)
j19		David Clark: Encryption Advances to Meet Internet Challenges. IEEE Computer 33(8): 20-24 (2000)
j18		David Clark: Handhelds Drive Mixed-Signal Chip Development. IEEE Computer 33(11): 12-15 (2000)
c9		Lew Della, David Clark: Teaching object-oriented development with emphasis on pattern application. ACSE 2000: 56-63
c8		Kevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
c7		Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
c6		David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
	1999
j17		David Clark: Preparing for a New Generation of Wireless Data. IEEE Computer 32(8): 8-11 (1999)
c5		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
	1998
j16		David Clark: New Era for Digital Signal Processors. IEEE Computer 31: 10-11 (1998)
j15		David Clark: Developments Shake Domain-Name Plan. IEEE Computer 31(4): 17 (1998)
j14		David Clark: Are ATM, Gigabit Ethernet Ready for Prime Time? IEEE Computer 31(5): 11-13 (1998)
j13		David Clark: Heavy Traffic Drives Networks to IP over Sonet. IEEE Computer 31(12): 17-20 (1998)
j12		David Clark: OpenMP: a parallel standard for the masses. IEEE Concurrency 6(1): 10-12 (1998)
j11		David Clark: ASCI Pathforward: to 30 Tflops and beyond. IEEE Concurrency 6(2): 13-15 (1998)
j10		David Clark: On the Wire: Powerline Communications: Finally Ready for Prime Time? IEEE Internet Computing 2(1): 10-11 (1998)
c4		David Clark, Cara MacNish, Gordon F. Royle: Java as a teaching language—opportunities, pitfalls and solutions. ACSE 1998: 173-179
c3		Lew Della, David Clark: From Interface to Persistence: A Framework for Business Oriented Applications. TOOLS (28) 1998: 27-39
	1997
j9		David Clark: PC and TV Makers Battle Over Convergence. IEEE Computer 30(6): 14-16 (1997)
j8		David Clark: Will New Fiber Technology Quench the Thrist for Bandwidth? IEEE Computer 30(10): 14-15 (1997)
j7		David Clark: Interview: Deep Thoughts on Deep Blue. IEEE Expert 12(4): 31 (1997)
j6		David Clark: CISCO Connect Online: It's Good for Business. IEEE Internet Computing 1(6): 55-58 (1997)
	1996
j5		Corrina Perrone, David Clark, Alexander Repenning: WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. Computer Networks 28(7-11): 1307-1319 (1996)
j4		David Clark, Joseph Pasquale: Strategic Directions in Networks and Telecommunications. ACM Comput. Surv. 28(4): 679-690 (1996)
j3		Corrina Perrone, Alexander Repenning, David Clark: WebQuest: Using the World Wide Web & Interactive Simulation Games in the Classroom. First Monday 1(5) (1996)
j2		David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science 6(6): 545-578 (1996)
	1995
j1		David Clark, Richard Kennaway: Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci. 2: 36-45 (1995)
	1994
c2		David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
	1993
c1		David Clark, Chris Hankin: A Lattice of Abstract Graphs. PLILP 1993: 318-331

2012

j48

David Clark, Vladimir D. Tonchev: Nonbinary quantum codes derived from finite geometries. Finite Fields and Their Applications 18(1): 63-69 (2012)

j47

David Clark, Robert M. Hierons: Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012)

2011

j46

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)

j45

David Clark, Roberto Giacobazzi, Chunyan Mu: Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(6): 1109-1110 (2011)

c23

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

c22

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

c21

Chunyan Mu, David Clark: A Tool: Quantitative Analyser for Programs. QEST 2011: 145-146

2010

j44

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)

c20

Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354

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)

2009

j43

Chunyan Mu, David Clark: An Interval-based Abstraction for Quantifying Information Flow. Electr. Notes Theor. Comput. Sci. 253(3): 119-141 (2009)

j42

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)

c19

Chunyan Mu, David Clark: Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES 2009: 49-57

c18

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230

2008

c17

Kevin Lano, David Clark: Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49

c16

David Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66

c15

Kevin Lano, David Clark: Model Transformation Specification and Verification. QSIC 2008: 45-54

2007

j41

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)

j40

David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)

j39

Kevin Lano, David Clark: Direct Semantics of Extended State Machines. Journal of Object Technology 6(9): 35-51 (2007)

j38

Xiaowei Yang, David Clark, Arthur W. Berger: NIRA: a new inter-domain routing architecture. IEEE/ACM Trans. Netw. 15(4): 775-788 (2007)

2005

j37

David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)

j36

Kevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)

j35

David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)

2004

j34

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)

j33

David Clark: Testing Programming Skills with Multiple Choice Questions. Informatics in Education 3(2): 161-178 (2004)

j32

David Clark: Elsewhere. IEEE Internet Computing 8(3): 15-18 (2004)

j31

David Clark: Elsewhere. IEEE Internet Computing 8(4): 12-15 (2004)

j30

David Clark: From the Newsstand. IEEE Internet Computing 8(5): 10-13 (2004)

c14

Kevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206

c13

David Clark: Using Consensus Ensembles to Identify Suspect Data. KES 2004: 483-490

2003

j29

Kevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)

2002

j28

David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)

j27

David Clark: Mobile Processors Begin to Grow Up. IEEE Computer 35(3): 22-25 (2002)

j26

David Clark: Do Web Standards and Patents Mix? IEEE Computer 35(10): 19-22 (2002)

c12

Kevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68

c11

Kevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93

2001

j25

David Clark: Face-to-Face with Peer-to-Peer Networking. IEEE Computer 34(1): 18-21 (2001)

j24

David Clark: Speech Recognition: The Wireless Interface Revolution. IEEE Computer 34(3): 16-18 (2001)

j23

David Clark: Visual Basic and the Future of Web-Application Development. IEEE Computer 34(8): 16-18 (2001)

j22

David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci. 59(3): 238-251 (2001)

c10

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

2000

j21

David Clark: Shopbots Become Agents for Business Change. IEEE Computer 33(2): 18-21 (2000)

j20

David Clark: Are Too Many Programmers Too Narrowly Trained? IEEE Computer 33(6): 12-15 (2000)

j19

David Clark: Encryption Advances to Meet Internet Challenges. IEEE Computer 33(8): 20-24 (2000)

j18

David Clark: Handhelds Drive Mixed-Signal Chip Development. IEEE Computer 33(11): 12-15 (2000)

Lew Della, David Clark: Teaching object-oriented development with emphasis on pattern application. ACSE 2000: 56-63

Kevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111

Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57

David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114

1999

j17

David Clark: Preparing for a New Generation of Wireless Data. IEEE Computer 32(8): 8-11 (1999)

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

1998

j16

David Clark: New Era for Digital Signal Processors. IEEE Computer 31: 10-11 (1998)

j15

David Clark: Developments Shake Domain-Name Plan. IEEE Computer 31(4): 17 (1998)

j14

David Clark: Are ATM, Gigabit Ethernet Ready for Prime Time? IEEE Computer 31(5): 11-13 (1998)

j13

David Clark: Heavy Traffic Drives Networks to IP over Sonet. IEEE Computer 31(12): 17-20 (1998)

j12

David Clark: OpenMP: a parallel standard for the masses. IEEE Concurrency 6(1): 10-12 (1998)

j11

David Clark: ASCI Pathforward: to 30 Tflops and beyond. IEEE Concurrency 6(2): 13-15 (1998)

j10

David Clark: On the Wire: Powerline Communications: Finally Ready for Prime Time? IEEE Internet Computing 2(1): 10-11 (1998)

David Clark, Cara MacNish, Gordon F. Royle: Java as a teaching language—opportunities, pitfalls and solutions. ACSE 1998: 173-179

Lew Della, David Clark: From Interface to Persistence: A Framework for Business Oriented Applications. TOOLS (28) 1998: 27-39

1997

David Clark: PC and TV Makers Battle Over Convergence. IEEE Computer 30(6): 14-16 (1997)

David Clark: Will New Fiber Technology Quench the Thrist for Bandwidth? IEEE Computer 30(10): 14-15 (1997)

David Clark: Interview: Deep Thoughts on Deep Blue. IEEE Expert 12(4): 31 (1997)

David Clark: CISCO Connect Online: It's Good for Business. IEEE Internet Computing 1(6): 55-58 (1997)

1996

Corrina Perrone, David Clark, Alexander Repenning: WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. Computer Networks 28(7-11): 1307-1319 (1996)

David Clark, Joseph Pasquale: Strategic Directions in Networks and Telecommunications. ACM Comput. Surv. 28(4): 679-690 (1996)

Corrina Perrone, Alexander Repenning, David Clark: WebQuest: Using the World Wide Web & Interactive Simulation Games in the Classroom. First Monday 1(5) (1996)

David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. Mathematical Structures in Computer Science 6(6): 545-578 (1996)

1995

David Clark, Richard Kennaway: Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci. 2: 36-45 (1995)

1994

David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320

1993

David Clark, Chris Hankin: A Lattice of Abstract Graphs. PLILP 1993: 318-331

1	Torben Amtoft (Torben Amtoft Hansen)	[j44]
2	Kelly Androutsopoulos	[c23] [j44] [c18] [j36] [c14] [j29] [c12] [c11] [c8] [c7]
3	Peter A. Bath	[j34]
4	Arthur W. Berger	[j38]
5	David Binkley (Dave Binkley)	[c23]
6	Maarten De Boeck	[i1]
7	Michele Boreale	[c20]
8	Kelli Cargile Cook	[c10]
9	Robert Cox	[c5]
10	Sebastian Danicic	[j40]
11	Lew Della	[c9] [c3]
12	Lindsay Errington	[c2]
13	Brenton D. Faber	[c10]
14	Yuichiro Fujiwara	[i1]
15	Roberto Giacobazzi	[j45] [j40]
16	Nicolas Gold (Nicolas E. Gold)	[c23]
17	Steven Goodfellow	[c22]
18	Daniele Gorla	[c20]
19	Chris Hankin	[j28] [c6] [c2] [c1]
20	Mark Harman	[c23] [j44] [c18]
21	Robert M. Hierons	[j47]
22	Sebastian Hunt	[c16] [j41] [j37] [j35] [j28] [j22] [c6]
23	Dieter Jungnickel	[j46]
24	Pauline Kan	[c7]
25	Richard Kennaway	[j2] [j1]
26	Kevin Lano	[c23] [c17] [c15] [j39] [j36] [c14] [j29] [c12] [c11] [c8] [c7]
27	Zheng Li	[c23] [j44] [c18]
28	Hamid R. Jamali M.	[j42]
29	Cara MacNish	[c4]
30	Ross Mackinlay	[c22]
31	Pasquale Malacaria	[j41] [j37] [j35] [j22]
32	Chunyan Mu	[j45] [c21] [j43] [c19]
33	David Nicholas	[j42]
34	Joseph Pasquale	[j4]
35	Corrina Perrone	[j5] [j3]
36	Lee Renforth	[c22]
37	Alexander Repenning	[j5] [j3]
38	Alice Richardson	[c5]
39	Ian Rowlands	[j42]
40	Gordon F. Royle	[c4]
41	Malcolm Seltzer-Grant	[c22]
42	Roger Shuttleworth	[c22]
43	Vladimir D. Tonchev	[j48] [j46] [i1]
44	Laurence Tratt	[c18]
45	Peter Vandendriessche	[i1]
46	Michael Wright	[j34]
47	Xiaowei Yang	[j38]
48	Mark Zachry	[c10]

David Clark

Coauthor Index