The SCEAS System
Navigation Menu

Search the dblp DataBase


Mark Howard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth
    Innovation in extremis: evolving an application for the critical work of email and information management. [Citation Graph (0, 0)][DBLP]
    Symposium on Designing Interactive Systems, 2002, pp:181-192 [Conf]
  2. James M. Morris, Mark Howard
    Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:322-332 [Conf]
  3. Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith
    Taking email to task: the design and evaluation of a task management centered email tool. [Citation Graph (0, 0)][DBLP]
    CHI, 2003, pp:345-352 [Conf]
  4. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
    Reconciling Manual and Automated Testing: The AutoTest Experience. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:261- [Conf]
  5. Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith
    FLANNEL: adding computation to electronic mail during transmission. [Citation Graph (0, 0)][DBLP]
    UIST, 2002, pp:1-10 [Conf]
  6. Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank
    Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging. [Citation Graph (0, 0)][DBLP]
    ICDS, 2007, pp:34- [Conf]
  7. Mark Howard
    Applications of Fodor's Lemma to Vaught's Conjecture. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1989, v:42, n:1, pp:1-19 [Journal]
  8. Mark Howard
    A Proofless Proof of the Barwise Compactness Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:597-602 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002