Search the dblp DataBase

Publications of Author

1. William J. Collins
   The trouble with for-loop invariants. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 1988, pp:1-4 [Conf]
   
2. William J. Collins
   Estimating execution times: a laboratory exercise for CS2. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 1991, pp:358-363 [Conf]
   
3. William J. Collins, Yi Sun
   Web labs for the Standard Template Library and the Java generic library in a CS2 course. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 1999, pp:174-178 [Conf]
   
4. William J. Collins, Josh D. Tenenberg, Raymond Lister, Suzanne Westbrook
   The role for framework libraries in CS2. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 2003, pp:403-404 [Conf]
   
5. Thomas C. McMillan, William J. Collins
   Implementing abstract data types in Turbo Pascal. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 1990, pp:134-138 [Conf]
   
6. William J. Collins, Paul Young
   Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:4, pp:913-920 [Journal]
   
7. William J. Collins
   Verification and testing in an object-oriented CS2 course. [Citation Graph (0, 0)][DBLP]
   OOPS Messenger, 1993, v:4, n:2, pp:285-288 [Journal]
   
8. Jeffrey O. Pfaffmann, William J. Collins
   Teaching Artificial Intelligence across the Computer Science Curriculum Using Sudoku as a Problem Domain. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2007, pp:327-0 [Conf]