The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Clark: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Clark
    Shopbots Become Agents for Business Change. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:2, pp:18-21 [Journal]
  2. Robert Cox, David Clark, Alice Richardson
    An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1999, pp:268-277 [Conf]
  3. Kevin Lano, Kelly Androutsopoulos, David Clark
    Structuring and Design of Reactive Systems Using RSDS and B. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:97-111 [Conf]
  4. Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
    Invariant-Based Synthesis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:46-57 [Conf]
  5. Kevin Lano, David Clark, Kelly Androutsopoulos
    From Implicit Specifications to Explicit Designs in Reactive System Development. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:49-68 [Conf]
  6. Kevin Lano, David Clark, Kelly Androutsopoulos
    UML to B: Formal Verification of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:187-206 [Conf]
  7. David Clark, Lindsay Errington, Chris Hankin
    Static Analysis of Value-Passing Process Calculi. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:307-320 [Conf]
  8. David Clark
    Using Consensus Ensembles to Identify Suspect Data. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:483-490 [Conf]
  9. David Clark, Chris Hankin
    A Lattice of Abstract Graphs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:318-331 [Conf]
  10. Kevin Lano, David Clark, Kelly Androutsopoulos
    Safety and Security Analysis of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:82-93 [Conf]
  11. David Clark, Chris Hankin, Sebastian Hunt
    Safety of Strictness Analysis via Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:95-114 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 2001, pp:248-260 [Conf]
  13. Lew Della, David Clark
    From Interface to Persistence: A Framework for Business Oriented Applications. [Citation Graph (0, 0)][DBLP]
    TOOLS (28), 1998, pp:27-39 [Conf]
  14. David Clark, Chris Hankin, Sebastian Hunt
    Information flow for Algol-like languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:3-28 [Journal]
  15. Corrina Perrone, David Clark, Alexander Repenning
    WebQuest: Substantiating Education in Edutainment Through Interactive Learning Games. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1996, v:28, n:7-11, pp:1307-1319 [Journal]
  16. David Clark
    Handhelds Drive Mixed-Signal Chip Development. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:11, pp:12-15 [Journal]
  17. David Clark
    Are Too Many Programmers Too Narrowly Trained? [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:6, pp:12-15 [Journal]
  18. David Clark
    Encryption Advances to Meet Internet Challenges. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:8, pp:20-24 [Journal]
  19. David Clark
    Face-to-Face with Peer-to-Peer Networking. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:1, pp:18-21 [Journal]
  20. David Clark
    Speech Recognition: The Wireless Interface Revolution. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:3, pp:16-18 [Journal]
  21. David Clark
    Visual Basic and the Future of Web-Application Development. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:8, pp:16-18 [Journal]
  22. David Clark
    Mobile Processors Begin to Grow Up. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2002, v:35, n:3, pp:22-25 [Journal]
  23. David Clark
    Do Web Standards and Patents Mix? [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2002, v:35, n:10, pp:19-22 [Journal]
  24. David Clark
    PC and TV Makers Battle Over Convergence. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:6, pp:14-16 [Journal]
  25. David Clark
    Will New Fiber Technology Quench the Thrist for Bandwidth? [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:10, pp:14-15 [Journal]
  26. David Clark
    New Era for Digital Signal Processors. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:, pp:10-11 [Journal]
  27. David Clark
    Developments Shake Domain-Name Plan. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:4, pp:17- [Journal]
  28. David Clark
    Are ATM, Gigabit Ethernet Ready for Prime Time? [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:5, pp:11-13 [Journal]
  29. David Clark
    Heavy Traffic Drives Networks to IP over Sonet. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:12, pp:17-20 [Journal]
  30. David Clark
    Preparing for a New Generation of Wireless Data. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:8, pp:8-11 [Journal]
  31. David Clark, Joseph Pasquale
    Strategic Directions in Networks and Telecommunications. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:679-690 [Journal]
  32. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantified Interference for a While Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:149-166 [Journal]
  33. David Clark, Richard Kennaway
    Some properties of non-orthogonal term graph rewriting systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  34. Kevin Lano, Kelly Androutsopoulos, David Clark
    Refinement Patterns for UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:131-149 [Journal]
  35. David Clark
    Interview: Deep Thoughts on Deep Blue. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1997, v:12, n:4, pp:31- [Journal]
  36. Corrina Perrone, Alexander Repenning, David Clark
    WebQuest: Using the World Wide Web & Interactive Simulation Games in the Classroom. [Citation Graph (0, 0)][DBLP]
    First Monday, 1996, v:1, n:5, pp:- [Journal]
  37. David Clark
    Elsewhere. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2004, v:8, n:3, pp:15-18 [Journal]
  38. David Clark
    Elsewhere. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2004, v:8, n:4, pp:12-15 [Journal]
  39. David Clark
    From the Newsstand. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 2004, v:8, n:5, pp:10-13 [Journal]
  40. David Clark
    CISCO Connect Online: It's Good for Business. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1997, v:1, n:6, pp:55-58 [Journal]
  41. David Clark
    On the Wire: Powerline Communications: Finally Ready for Prime Time? [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1998, v:2, n:1, pp:10-11 [Journal]
  42. David Clark, Sebastian Hunt, Pasquale Malacaria
    A static analysis for quantifying information flow in a simple imperative language. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:3, pp:321-371 [Journal]
  43. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Information Flow, Relations and Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:181-199 [Journal]
  44. David Clark, Richard Kennaway
    Event Structures and Non-Orthogonal Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:545-578 [Journal]
  45. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Analysis of the Leakage of Confidential Data. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
  46. David Clark, Sebastian Danicic, Roberto Giacobazzi
    Special issue on Programming Language Interference and Dependence. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:123- [Journal]
  47. Xiaowei Yang, David Clark, Arthur W. Berger
    NIRA: a new inter-domain routing architecture. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 2007, v:15, n:4, pp:775-788 [Journal]

  48. Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. [Citation Graph (, )][DBLP]


  49. Control Dependence for Extended Finite State Machines. [Citation Graph (, )][DBLP]


  50. Semantics and Refinement of Behavior State Machines. [Citation Graph (, )][DBLP]


  51. Non-Interference for Deterministic Interactive Programs. [Citation Graph (, )][DBLP]


  52. Model Transformation Specification and Verification. [Citation Graph (, )][DBLP]


  53. Java as a teaching language—opportunities, pitfalls and solutions. [Citation Graph (, )][DBLP]


  54. Teaching object-oriented development with emphasis on pattern application. [Citation Graph (, )][DBLP]


  55. RSDS, a Subset of UML with Precise Semantics. [Citation Graph (, )][DBLP]


  56. Entanglement-assisted quantum low-density parity-check codes [Citation Graph (, )][DBLP]


  57. An Interval-based Abstraction for Quantifying Information Flow. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002