The SCEAS System
Navigation Menu

Search the dblp DataBase


Tim Wahls: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Wahls
    Compiling Formal Specifications to Oz Programs. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:66-77 [Conf]
  2. Xiaowen Chen, Tim Wahls
    A graphical user interface for executing formal specifications. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:648-652 [Conf]
  3. Brian Fenicle, Tim Wahls
    A Methodology to Provide and Use Interchangeable Services. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1140-1146 [Conf]
  4. Gary T. Leavens, Tim Wahls, Albert L. Baker
    Formal Semantics for SA Style Data Flow Diagram Specification Languages. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:526-532 [Conf]
  5. Tim Wahls, Gary T. Leavens
    Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:567-575 [Conf]
  6. William Combs, Robert Hawkins, Thomas Pore, Arik Schechet, Tim Wahls, Louis Ziantz
    The course scheduling problem as a source of student projects. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:81-85 [Conf]
  7. Tim Wahls, Gary T. Leavens, Albert L. Baker
    Executing Formal Specifications with Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:4, pp:315-343 [Journal]
  8. Brian Fenicle, Tim Wahls
    A secure methodology for interchangeable services. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:5, pp:343-349 [Journal]
  9. Ben Krause, Tim Wahls
    jmle: A Tool for Executing JML Specifications Via Constraint Programming. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:293-296 [Conf]

  10. Executing JML specifications of Java card applications: a case study. [Citation Graph (, )][DBLP]

  11. The effects of pair-programming on individual programming skill. [Citation Graph (, )][DBLP]

  12. The benefits of pairing by ability. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
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