1996 |
21 | | Lenore M. R. Mullin,
Michael A. Jenkins:
Effective data parallel computation using the Psi calculus.
Concurrency - Practice and Experience 8(7): 499-515 (1996) |
1993 |
20 | | Hing-Kai Hung,
T. Patrick Martin,
Janice I. Glasgow,
Chris Walmsley,
Michael A. Jenkins:
Querying and Exploring Large Knowledge Bases.
DEXA 1993: 474-477 |
1991 |
19 | EE | Janice I. Glasgow,
Michael A. Jenkins,
Eli Blevis,
Michel P. Féret:
Logic Programming with Arrays.
IEEE Trans. Knowl. Data Eng. 3(3): 307-319 (1991) |
1990 |
18 | EE | Michel P. Féret,
Janice I. Glasgow,
Denise Lawson,
Michael A. Jenkins:
An Architecture for Real-Time Diagnostics Systems.
IEA/AIE (Vol. 1) 1990: 9-15 |
1989 |
17 | | Michael A. Jenkins,
Janice I. Glasgow:
A Logical Basis for Nested Array Data Structures.
Comput. Lang. 14(1): 35-51 (1989) |
16 | EE | Carl McCrosky,
Michael A. Jenkins:
Design of a processor for array-theoretic computation.
Journal of Systems and Software 9(1): 67-74 (1989) |
15 | | Janice I. Glasgow,
Michael A. Jenkins,
H. Meijer,
Carl McCrosky:
Expressing parallel algorithms in Nial.
Parallel Computing 11(3): 331-347 (1989) |
14 | | Michael A. Jenkins:
Q'Nial; A Portable Interpreter for the Nested Interactive Array Language, Nial.
Softw., Pract. Exper. 19(2): 111-126 (1989) |
1988 |
13 | EE | Janice I. Glasgow,
Michael A. Jenkins:
Array theory, logic and the Nial language.
ICCL 1988: 296-303 |
12 | EE | Philip J. Beaudet,
Michael A. Jenkins:
Simulating the object-oriented paradigm to Nial.
SIGPLAN Notices 23(6): 49-58 (1988) |
1986 |
11 | | Janice I. Glasgow,
Michael A. Jenkins,
Laurie J. Hendren:
A programming language for learning environments.
Computational Intelligence 2: 68-75 (1986) |
10 | | Michael A. Jenkins,
Janice I. Glasgow,
Carl McCrosky:
Programming Styles in Nial.
IEEE Software 3(1): 46-55 (1986) |
1985 |
9 | | Janice I. Glasgow,
Michael A. Jenkins,
Carl McCrosky:
User Defined Parallel Control Strategies in Nial.
SLP 1985: 22-28 |
1984 |
8 | EE | Carl McCrosky,
Janice I. Glasgow,
Michael A. Jenkins:
Nial: A candidate language for fifth generation computer systems.
ACM Conference on Computer Science 1984: 157-166 |
1979 |
7 | EE | W. E. Gull,
Michael A. Jenkins:
Decisions for ``Type'' in APL.
POPL 1979: 190-196 |
6 | | W. E. Gull,
Michael A. Jenkins:
Recursive Data Structures in APL.
Commun. ACM 22(2): 79-96 (1979) |
1978 |
5 | | Michael A. Jenkins,
Jean Michel:
On Types in Recursive Data Structures: A Study from the APL Literature.
Jerusalem Conference on Information Technology 1978: 523-529 |
1975 |
4 | EE | Michael A. Jenkins,
J. F. Traub:
Principles for Testing Polynomial Zerofinding Programs.
ACM Trans. Math. Softw. 1(1): 26-34 (1975) |
3 | EE | Michael A. Jenkins:
Algorithm 493: Zeros of a Real Polynomial [C2].
ACM Trans. Math. Softw. 1(2): 178-189 (1975) |
1973 |
2 | EE | Michael A. Jenkins:
Bernoulli's Method with Implicit Shifting.
J. ACM 20(4): 539-544 (1973) |
1972 |
1 | | Michael A. Jenkins,
J. F. Traub:
Zeros of a Complex Polynomial [C2] (Algorithm 419).
Commun. ACM 15(2): 97-99 (1972) |