1998 |
16 | | Pierre St-Vincent,
Paul Bratley,
Daniel Poulin:
Negations and Exceptions on Topoï.
DEXA Workshop 1998: 603-608 |
1995 |
15 | | Martin Choquette,
Daniel Poulin,
Paul Bratley:
Compiling Legal Hypertexts
DEXA 1995: 449-458 |
14 | EE | Pierre St-Vincent,
Daniel Poulin,
Paul Bratley:
A Computational Framework for Dialectical Reasoning.
ICAIL 1995: 137-145 |
1994 |
13 | EE | Paul Bratley,
Bennett L. Fox,
Harald Niederreiter:
Programs to generate Niederreiter's low-discrepancy sequences.
ACM Trans. Math. Softw. 20(4): 494-495 (1994) |
1993 |
12 | | Daniel Poulin,
Pierre St-Vincent,
Paul Bratley:
Contradiction and Confirmation.
DEXA 1993: 502-513 |
11 | EE | Daniel Poulin,
Paul Bratley,
Jacques Frémont,
Ejan Mackaay:
Legal Interpretation in Expert Systems.
ICAIL 1993: 90-99 |
1992 |
10 | EE | Paul Bratley,
Bennett L. Fox,
Harald Niederreiter:
Implementation and Tests of Low Discrepancy Sequences.
ACM Trans. Model. Comput. Simul. 2(3): 195-213 (1992) |
1991 |
9 | | Paul Bratley,
Daniel Poulin,
Jacques Savoy:
The effect of change on legal applications.
DEXA 1991: 436-441 |
8 | EE | Paul Bratley,
Jacques Frémont,
Ejan Mackaay,
Daniel Poulin:
Coping With Change.
ICAIL 1991: 69-76 |
1982 |
7 | EE | Paul Bratley,
Yaacov Choueka:
Processing truncated terms in document retrieval systems.
Inf. Process. Manage. 18(5): 257-266 (1982) |
1970 |
6 | EE | Paul Bratley:
Algorithms 401: an improved algorithm to produce complex primes.
Commun. ACM 13(11): 693 (1970) |
5 | EE | Paul Bratley:
Remarks on algorithms 372: Algorithm 401: An algorithm to produce complex primes, csieve: an improved algorithm to produce complex primes.
Commun. ACM 13(11): 695 (1970) |
1969 |
4 | EE | Hamish Dewar,
Paul Bratley,
James Peter Thorne:
A program for the syntactic analysis of English sentences.
Commun. ACM 12(8): 476-479 (1969) |
1967 |
3 | EE | Paul Bratley,
J. K. S. McKay:
Algorithm 313: Multi-dimensional partition generator.
Commun. ACM 10(10): 666 (1967) |
2 | EE | Paul Bratley,
J. K. S. McKay:
Algorithm 305: symmetric polynomial.
Commun. ACM 10(7): 450 (1967) |
1 | EE | Paul Bratley:
Algorithm 306: permutations with repetitions.
Commun. ACM 10(7): 450-451 (1967) |