| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Clark, Robert M. Hierons |
Squeeziness: An information theoretic measure for avoiding fault masking.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Vladimir D. Tonchev |
Nonbinary quantum codes derived from finite geometries. |
Finite Fields and Their Applications |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Dieter Jungnickel, Vladimir D. Tonchev |
Affine geometry designs, polarities, and Hamada's conjecture. |
J. Comb. Theory, Ser. A |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Roberto Giacobazzi, Chunyan Mu |
Foreword: programming language interference and dependence. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyan Mu, David Clark |
A Tool: Quantitative Analyser for Programs. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
security, measurement, tool, language, flow |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li |
An alternative characterization of weak order dependence. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichiro Fujiwara, David Clark, Peter Vandendriessche, Maarten De Boeck, Vladimir D. Tonchev |
Entanglement-assisted quantum low-density parity-check codes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, David Clark, Daniele Gorla |
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyan Mu, David Clark |
An Interval-based Abstraction for Quantifying Information Flow. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
Control Dependence for Extended Finite State Machines. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
reactive systems, slicing, control dependence, extended finite state machines |
| 1 | Chunyan Mu, David Clark |
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark |
Semantics and Refinement of Behavior State Machines. |
ICEIS (3-1) |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt |
Non-Interference for Deterministic Interactive Programs. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark |
Model Transformation Specification and Verification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Specification, Model transformations |
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
A static analysis for quantifying information flow in a simple imperative language. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Clark, Sebastian Danicic, Roberto Giacobazzi |
Special issue on Programming Language Interference and Dependence. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark |
Direct Semantics of Extended State Machines. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Yang, David Clark, Arthur W. Berger |
NIRA: a new inter-domain routing architecture. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
user-controlled routing, routing, inter-domain routing, source routing, internet architecture |
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantified Interference for a While Language. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Refinement Patterns for UML. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantitative Information Flow, Relations and Polymorphic Types. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Testing Programming Skills with Multiple Choice Questions. |
Informatics in Education |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Clark |
From the Newsstand. |
IEEE Internet Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Elsewhere. |
IEEE Internet Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Elsewhere. |
IEEE Internet Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Using Consensus Ensembles to Identify Suspect Data. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
RSDS, a Subset of UML with Precise Semantics. |
L'OBJET |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Clark |
Do Web Standards and Patents Mix? |
IEEE Computer |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Mobile Processors Begin to Grow Up. |
IEEE Computer |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Chris Hankin, Sebastian Hunt |
Information flow for Algol-like languages. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
From Implicit Specifications to Explicit Designs in Reactive System Development. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
B AMN, RSDS, model-checking, UML, Reactive Systems |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
Safety and Security Analysis of Object-Oriented Models. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Sebastian Hunt, Pasquale Malacaria |
Quantitative Analysis of the Leakage of Confidential Data. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Speech Recognition: The Wireless Interface Revolution. (PDF / PS) |
IEEE Computer |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Face-to-Face with Peer-to-Peer Networking. (PDF / PS) |
IEEE Computer |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Visual Basic and the Future of Web-Application Development. |
IEEE Computer |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
corporate universities, customer relations management (CRM), disciplinarity, educational theory, collaboration, multimedia, knowledge management, user-centered design, training, research, organizational learning, usability studies |
| 1 | David Clark |
Are Too Many Programmers Too Narrowly Trained? |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Shopbots Become Agents for Business Change. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Encryption Advances to Meet Internet Challenges. (PDF / PS) |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Handhelds Drive Mixed-Signal Chip Development. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Structuring and Design of Reactive Systems Using RSDS and B. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lew Della, David Clark |
Teaching object-oriented development with emphasis on pattern application. |
ACSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Chris Hankin, Sebastian Hunt |
Safety of Strictness Analysis via Term Graph Rewriting. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan |
Invariant-Based Synthesis of Fault-Tolerant Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Preparing for a New Generation of Wireless Data. |
IEEE Computer |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
ASCI Pathforward: to 30 Tflops and beyond. |
IEEE Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
OpenMP: a parallel standard for the masses. |
IEEE Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Developments Shake Domain-Name Plan. |
IEEE Computer |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Clark |
Are ATM, Gigabit Ethernet Ready for Prime Time? |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
New Era for Digital Signal Processors. |
IEEE Computer |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Clark |
Heavy Traffic Drives Networks to IP over Sonet. |
IEEE Computer |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Clark |
On the Wire: Powerline Communications: Finally Ready for Prime Time? |
IEEE Internet Computing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Lew Della, David Clark |
From Interface to Persistence: A Framework for Business Oriented Applications. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Cara MacNish, Gordon F. Royle |
Java as a teaching language—opportunities, pitfalls and solutions. |
ACSE |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | David Clark |
Will New Fiber Technology Quench the Thrist for Bandwidth? |
IEEE Computer |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
PC and TV Makers Battle Over Convergence. |
IEEE Computer |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
CISCO Connect Online: It's Good for Business. |
IEEE Internet Computing |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark |
Interview: Deep Thoughts on Deep Blue. |
IEEE Expert |
1997 |
DBLP BibTeX RDF |
|
| 1 | Corrina Perrone, Alexander Repenning, David Clark |
WebQuest: Using the World Wide Web & Interactive Simulation Games in the Classroom. |
First Monday |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Clark, Richard Kennaway |
Event Structures and Non-Orthogonal Term Graph Rewriting. |
Mathematical Structures in Computer Science |
1996 |
DBLP BibTeX RDF |
|
| 1 | Corrina Perrone, David Clark, Alexander Repenning |
WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. |
Computer Networks |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Joseph Pasquale |
Strategic Directions in Networks and Telecommunications. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Richard Kennaway |
Some properties of non-orthogonal term graph rewriting systems. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Clark, Lindsay Errington, Chris Hankin |
Static Analysis of Value-Passing Process Calculi. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Clark, Chris Hankin |
A Lattice of Abstract Graphs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")