| 2006 |
|---|
| 29 | EE | Brian A. Wichmann,
I. D. Hill:
Generating good pseudo-random numbers.
Computational Statistics & Data Analysis 51(3): 1614-1622 (2006) |
| 2004 |
|---|
| 28 | | Mary Croarken,
Dorian Rutter,
Tony Mann,
Alexander M. Fedorec,
Brian A. Wichmann:
Events & Sightings.
IEEE Annals of the History of Computing 26(1): 68-70 (2004) |
| 1998 |
|---|
| 27 | EE | Stephen Michell,
Mark Saaltink,
Brian A. Wichmann:
Looking into Safety with the Safety and Security Rapporteur Group.
SIGAda 1998: 7-11 |
| 1996 |
|---|
| 26 | | Brian A. Wichmann:
Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review).
Softw. Test., Verif. Reliab. 6(2): 115-116 (1996) |
| 1993 |
|---|
| 25 | | Graeme I. Parkin,
Brian A. Wichmann:
Conformity Clause for VDM-SL.
FME 1993: 501-520 |
| 1992 |
|---|
| 24 | | Brian A. Wichmann:
A Note on the Use of Floating Point in Critical Systems.
Comput. J. 35(1): 41-44 (1992) |
| 23 | | Brian A. Wichmann,
M. G. Cox:
Problems and Strategies for Software Component Testing Standards.
Softw. Test., Verif. Reliab. 2(4): 167-185 (1992) |
| 1990 |
|---|
| 22 | | Mary Payne,
Craig Schaffert,
Brian A. Wichmann:
Proposal for a Language Compatible Arithmetic Standard.
SIGPLAN Notices 25(1): 59-86 (1990) |
| 21 | | Willett Kempton,
Brian A. Wichmann:
Run-time Detection of Undefined Variables Considered Essential.
Softw., Pract. Exper. 20(4): 391-402 (1990) |
| 1989 |
|---|
| 20 | | Brian A. Wichmann:
Towards a Formal Specification of Floating Point.
Comput. J. 32(5): 432-436 (1989) |
| 19 | EE | Brian A. Wichmann:
Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point.
SIGPLAN Notices 24(6): 20-22 (1989) |
| 1984 |
|---|
| 18 | | Peter J. L. Wallis,
Brian A. Wichmann:
Requirements Analysis for Ada Compilers.
Commun. ACM 27(1): 37-41 (1984) |
| 17 | | Brian A. Wichmann:
Is Ada Too Big? A designer Answers the Critics.
Commun. ACM 27(2): 98-103 (1984) |
| 1982 |
|---|
| 16 | | Brian A. Wichmann:
A Comparison of Pascal and Ada.
Comput. J. 25(2): 248-252 (1982) |
| 1981 |
|---|
| 15 | | Brian A. Wichmann:
The Efficiency of Pascal.
Pascal - The Language and its Implementation 1981: 49-55 |
| 1980 |
|---|
| 14 | | Jean Ichbiah,
John G. P. Barnes,
J. C. Heliard,
Bernd Krieg-Brückner,
Olivier Roubine,
Brian A. Wichmann:
Modules and Visibility in the Ada Programming Language.
On the Construction of Programs 1980: 153-192 |
| 1979 |
|---|
| 13 | | Brian A. Wichmann:
The Development of Ada, the DoD Language.
GI Jahrestagung 1979: 52-63 |
| 12 | | Brian A. Wichmann,
J. Du Croz:
A Program to Calculate the GAMM Measure.
Comput. J. 22(4): 317-322 (1979) |
| 11 | | A. M. Addyman,
R. Brewer,
D. G. Burnett-Hall,
R. M. De Morgan,
W. Findlay,
M. I. Jackson,
David A. Joslin,
Michael J. Rees,
David A. Watt,
Jim Welsh,
Brian A. Wichmann:
A Draft Description of Pascal.
Softw., Pract. Exper. 9(5): 381-424 (1979) |
| 1978 |
|---|
| 10 | | R. M. De Morgan,
I. D. Hill,
Brian A. Wichmann:
Modified ALGOL 60 and the Step-Until Element.
Comput. J. 21(3): 282 (1978) |
| 1977 |
|---|
| 9 | | Brian A. Wichmann:
How to Call Procedures, or Secong Thoughts on Ackermann's Function.
Softw., Pract. Exper. 7(3): 317-329 (1977) |
| 1976 |
|---|
| 8 | | H. J. Curnow,
Brian A. Wichmann:
A Synthetic Benchmark.
Comput. J. 19(1): 43-49 (1976) |
| 7 | | Brian A. Wichmann,
B. Jones:
Testing ALGOL 60 Compilers.
Softw., Pract. Exper. 6(2): 261-270 (1976) |
| 1975 |
|---|
| 6 | | I. D. Hill,
R. S. Scowen,
Brian A. Wichmann:
Writing Algorithms in ALGOL 60.
Softw., Pract. Exper. 5(3): 229-244 (1975) |
| 1974 |
|---|
| 5 | | R. S. Scowen,
Brian A. Wichmann:
The Definition of Comments in Programming Languages.
Softw., Pract. Exper. 4(2): 181-188 (1974) |
| 1972 |
|---|
| 4 | EE | Brian A. Wichmann:
Five ALGOL compilers.
Comput. J. 15(1): 8-12 (1972) |
| 1971 |
|---|
| 3 | | Brian A. Wichmann:
The Performance of Some Algol Systems.
IFIP Congress (1) 1971: 327-334 |
| 2 | | D. A. Bell,
Brian A. Wichmann:
An ALGOL-like Assembly Language for a Small Computer.
Softw., Pract. Exper. 1(1): 61-72 (1971) |
| 1968 |
|---|
| 1 | | Brian A. Wichmann:
A modular operating system.
IFIP Congress (1) 1968: 548-556 |
