dblp.uni-trier.dewww.uni-trier.de

David Clark

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
55EEKelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
2008
54EEDavid Clark, Sebastian Hunt: Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66
53 Kevin Lano, David Clark: Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49
52EEKevin Lano, David Clark: Model Transformation Specification and Verification. QSIC 2008: 45-54
2007
51EEXiaowei Yang, David Clark, Arthur W. Berger: NIRA: a new inter-domain routing architecture. IEEE/ACM Trans. Netw. 15(4): 775-788 (2007)
50EEDavid Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)
49EEDavid 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)
48EEKevin Lano, David Clark: Direct Semantics of Extended State Machines Journal of Object Technology 6(9): 35-51 (2007)
2005
47EEDavid Clark, Sebastian Hunt, Pasquale Malacaria: Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005)
46EEKevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)
45EEDavid Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005)
2004
44EEKevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
43EEDavid Clark: Using Consensus Ensembles to Identify Suspect Data. KES 2004: 483-490
42EEDavid Clark: Elsewhere. IEEE Internet Computing 8(3): 15-18 (2004)
41 David Clark: Elsewhere. IEEE Internet Computing 8(4): 12-15 (2004)
40EEDavid Clark: From the Newsstand. IEEE Internet Computing 8(5): 10-13 (2004)
2003
39EEKevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)
2002
38EEKevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
37EEKevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
36 David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)
35EEDavid Clark: Do Web Standards and Patents Mix? IEEE Computer 35(10): 19-22 (2002)
34EEDavid Clark: Mobile Processors Begin to Grow Up. IEEE Computer 35(3): 22-25 (2002)
2001
33EEMark 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
32EEDavid Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci. 59(3): (2001)
31EEDavid Clark: Face-to-Face with Peer-to-Peer Networking. IEEE Computer 34(1): 18-21 (2001)
30EEDavid Clark: Speech Recognition: The Wireless Interface Revolution. IEEE Computer 34(3): 16-18 (2001)
29EEDavid Clark: Visual Basic and the Future of Web-Application Development. IEEE Computer 34(8): 16-18 (2001)
2000
28EELew Della, David Clark: Teaching object-oriented development with emphasis on pattern application. ACSE 2000: 56-63
27EEKevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
26EEKevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
25 David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
24 David Clark: Handhelds Drive Mixed-Signal Chip Development. IEEE Computer 33(11): 12-15 (2000)
23 David Clark: Shopbots Become Agents for Business Change. IEEE Computer 33(2): 18-21 (2000)
22EEDavid Clark: Are Too Many Programmers Too Narrowly Trained? IEEE Computer 33(6): 12-15 (2000)
21EEDavid Clark: Encryption Advances to Meet Internet Challenges. IEEE Computer 33(8): 20-24 (2000)
1999
20 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
19 David Clark: Preparing for a New Generation of Wireless Data. IEEE Computer 32(8): 8-11 (1999)
1998
18EEDavid Clark, Cara MacNish, Gordon F. Royle: Java as a teaching language—opportunities, pitfalls and solutions. ACSE 1998: 173-179
17EELew Della, David Clark: From Interface to Persistence: A Framework for Business Oriented Applications. TOOLS (28) 1998: 27-39
16 David Clark: New Era for Digital Signal Processors. IEEE Computer 31: 10-11 (1998)
15 David Clark: Heavy Traffic Drives Networks to IP over Sonet. IEEE Computer 31(12): 17-20 (1998)
14 David Clark: Developments Shake Domain-Name Plan. IEEE Computer 31(4): 17 (1998)
13 David Clark: Are ATM, Gigabit Ethernet Ready for Prime Time? IEEE Computer 31(5): 11-13 (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)
6EECorrina Perrone, David Clark, Alexander Repenning: WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. Computer Networks 28(7-11): 1307-1319 (1996)
5EECorrina 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
3EEDavid Clark, Richard Kennaway: Some properties of non-orthogonal term graph rewriting systems. Electr. Notes Theor. Comput. Sci. 2: (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

1Kelly Androutsopoulos [26] [27] [37] [38] [39] [44] [46] [55]
2Arthur W. Berger [51]
3Kelli Cargile Cook [33]
4Robert Cox [20]
5Sebastian Danicic [50]
6Lew Della [17] [28]
7Lindsay Errington [2]
8Brenton D. Faber [33]
9Roberto Giacobazzi [50]
10Chris Hankin [1] [2] [25] [36]
11Mark Harman [55]
12Sebastian Hunt [25] [32] [36] [45] [47] [49] [54]
13Pauline Kan [26]
14Richard Kennaway [3] [4]
15Kevin Lano [26] [27] [37] [38] [39] [44] [46] [48] [52] [53]
16Zheng Li [55]
17Cara MacNish [18]
18Pasquale Malacaria [32] [45] [47] [49]
19Joseph Pasquale [7]
20Corrina Perrone [5] [6]
21Alexander Repenning [5] [6]
22Alice Richardson [20]
23Gordon F. Royle [18]
24Laurence Tratt [55]
25Xiaowei Yang [51]
26Mark Zachry [33]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)