Skip to content

Douglas R. Troeger

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

1994–2003

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2003PDPTAList-Heap Paging in a Distributed Virtual Memory System for Functional Languages.Marco T. Morazn, Douglas R. Troeger
1995SIGCSEFormal methods in the undergraduate computer science curriculum (abstract).Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger
1994SIGCSETutorial-formal methods in the first course (abstract).Douglas R. Troeger