Box 5
Container
Contains 73 Results:
Information Processing Letters--Hehner and Shyamasunder--An Implementation of P and V [ANH], October 22, 1980
File — Box: 5, Folder: 271
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
October 22, 1980
Private Review--Campbell--Path Expressions in Ada [ANH], March 16, 1979
File — Box: 5, Folder: 272
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
March 16, 1979
Private Review--Lister and Welsh--Two Papers [No ANH Review], May 2, 1980
File — Box: 5, Folder: 273
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
May 2, 1980
Private Review--Bak--A New Method of Deadlock Avoidance in a Multiprocess, Multiple Resource Type System [ANH], July 4, 1980
File — Box: 5, Folder: 274
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
July 4, 1980
Private Review--Misra and Chandy--Proofs of Networks of Processes [ANH], September 12, 1980
File — Box: 5, Folder: 275
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
September 12, 1980
Private Review--Gosh--Comparative Bankers' Algorithm [ANH], December 4, 1981
File — Box: 5, Folder: 276
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
December 4, 1981
Private Review--Perry--A Comparative Evaluation of Object Definition Technique for Large Prototype Systems [ANH], April 25, 1989
File — Box: 5, Folder: 277
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
April 25, 1989
Private Review--Song--Symbolic Structure Processing Abstract [by ANH's student], December 8, 1989
File — Box: 5, Folder: 278
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
December 8, 1989
Refereeing Refusals, 1978-1987
File — Box: 5, Folder: 279
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
1978-1987
SIAM Journal on Computing--Administrative Correspondence, 1975-1977
File — Box: 5, Folder: 280
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
1975-1977