 | 2009 |
|---|
| 57 |       | Kelly Androutsopoulos,
David Clark,
Mark Harman,
Zheng Li,
Laurence Tratt:
Control Dependence for Extended Finite State Machines.
FASE 2009: 216-230 |
| 56 | | Chunyan Mu,
David Clark:
An Interval-based Abstraction for Quantifying Information Flow.
Electr. Notes Theor. Comput. Sci. 253(3): 119-141 (2009) |
| 2008 |
|---|
| 55 | | David Clark,
Sebastian Hunt:
Non-Interference for Deterministic Interactive Programs.
Formal Aspects in Security and Trust 2008: 50-66 |
| 54 |  | Kevin Lano,
David Clark:
Semantics and Refinement of Behavior State Machines.
ICEIS (3-1) 2008: 42-49 |
| 53 | | Kevin Lano,
David Clark:
Model Transformation Specification and Verification.
QSIC 2008: 45-54 |
| 2007 |
|---|
| 52 | | Xiaowei Yang,
David Clark,
Arthur W. Berger:
NIRA: a new inter-domain routing architecture.
IEEE/ACM Trans. Netw. 15(4): 775-788 (2007) |
| 51 | | David Clark,
Sebastian Danicic,
Roberto Giacobazzi:
Special issue on Programming Language Interference and Dependence.
J. Log. Algebr. Program. 72(2): 123 (2007) |
| 50 | | 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) |
| 49 | | Kevin Lano,
David Clark:
Direct Semantics of Extended State Machines
Journal of Object Technology 6(9): 35-51 (2007) |
| 2005 |
|---|
| 48 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantified Interference for a While Language.
Electr. Notes Theor. Comput. Sci. 112: 149-166 (2005) |
| 47 | | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Refinement Patterns for UML.
Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005) |
| 46 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantitative Information Flow, Relations and Polymorphic Types.
J. Log. Comput. 15(2): 181-199 (2005) |
| 2004 |
|---|
| 45 | | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models.
IFM 2004: 187-206 |
| 44 | | David Clark:
Using Consensus Ensembles to Identify Suspect Data.
KES 2004: 483-490 |
| 43 | | 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) |
| 42 | | David Clark:
Elsewhere.
IEEE Internet Computing 8(3): 15-18 (2004) |
| 41 | | David Clark:
Elsewhere.
IEEE Internet Computing 8(4): 12-15 (2004) |
| 40 | | David Clark:
From the Newsstand.
IEEE Internet Computing 8(5): 10-13 (2004) |
| 2003 |
|---|
| 39 | | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics.
L'OBJET 9(4): 53-73 (2003) |
| 2002 |
|---|
| 38 | | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development.
IFM 2002: 49-68 |
| 37 | | Kevin 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) |
| 35 | | David Clark:
Do Web Standards and Patents Mix?
IEEE Computer 35(10): 19-22 (2002) |
| 34 | | David Clark:
Mobile Processors Begin to Grow Up.
IEEE Computer 35(3): 22-25 (2002) |
| 2001 |
|---|
| 33 | | 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 |
| 32 | | David Clark,
Sebastian Hunt,
Pasquale Malacaria:
Quantitative Analysis of the Leakage of Confidential Data.
Electr. Notes Theor. Comput. Sci. 59(3): (2001) |
| 31 | | David Clark:
Face-to-Face with Peer-to-Peer Networking.
IEEE Computer 34(1): 18-21 (2001) |
| 30 | | David Clark:
Speech Recognition: The Wireless Interface Revolution.
IEEE Computer 34(3): 16-18 (2001) |
| 29 | | David Clark:
Visual Basic and the Future of Web-Application Development.
IEEE Computer 34(8): 16-18 (2001) |
| 2000 |
|---|
| 28 | | Lew Della,
David Clark:
Teaching object-oriented development with emphasis on pattern application.
ACSE 2000: 56-63 |
| 27 | | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Structuring and Design of Reactive Systems Using RSDS and B.
FASE 2000: 97-111 |
| 26 | | Kevin 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) |
| 22 | | David Clark:
Are Too Many Programmers Too Narrowly Trained?
IEEE Computer 33(6): 12-15 (2000) |
| 21 | | David 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 |
|---|
| 18 | | David Clark,
Cara MacNish,
Gordon F. Royle:
Java as a teaching language—opportunities, pitfalls and solutions.
ACSE 1998: 173-179 |
| 17 | | Lew 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) |
| 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: (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 |
