Daniel Jackson

Computational Theory and Mathematics · 2000–2007

A researcher in the Science corpus: 5 papers; trusts 10 researchers and is trusted by 42 researchers here, as inferred from the citation graph.

Subfields

Whom Daniel Jackson trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. John McCarthy
  2. Raymond Reiter
  3. E. Goldberg
  4. Yakov Novikov
  5. Niklas Eén
  6. Matthew W. Moskewicz
  7. Niklas Sörensson
  8. Tyson R. Browning
  9. Lintao Zhang

Who trusts Daniel Jackson overall

  1. Darko Marinov
  2. Jasmin Christian Blanchette
  3. J. Kramer
  4. Sarfraz Khurshid
  5. Ranjit Jhala
  6. Markus C. Huebscher
  7. Lintao Zhang
  8. Mark H. Liffiton
  9. Michael Leuschel
  10. J. Magee

Papers from Daniel Jackson's perspective

Ordered by how strongly the researchers Daniel Jackson trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. Situations, Actions, and Causal Laws
  3. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  4. Alloy: a lightweight object modelling notation (TSEM)
  5. The structure and value of modularity in software design (ESEC/FSE-9)
  6. Exploring the Structure of Complex Software Designs: An Empirical Study of Open Source and Proprietary Code (Management Sciences)
  7. Applying the design structure matrix to system decomposition and integration problems: a review and new directions (IEEE Trans. Engineering Management)
  8. Software Reflexion Models: Bridging the Gap between Design and Implementation (IEEE Trans. Software Eng.)
  9. Concepts, Techniques, and Models of Computer Programming
  10. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)

Their papers