| |
| 2002 | ||
|---|---|---|
| 5 | EE | Joseph M. Morris, Alexander Bunkenburg: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1): 77-89 (2002) |
| 2001 | ||
| 4 | EE | Joseph M. Morris, Alexander Bunkenburg: A theory of bunches. Acta Inf. 37(8): 541-561 (2001) |
| 1999 | ||
| 3 | EE | Joseph M. Morris, Alexander Bunkenburg: Specificational functions. ACM Trans. Program. Lang. Syst. 21(3): 677-701 (1999) |
| 2 | Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34(2): 141-158 (1999) | |
| 1998 | ||
| 1 | Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. Formal Asp. Comput. 10(1): 76-96 (1998) | |
| 1 | Joseph M. Morris | [1] [2] [3] [4] [5] |