Browse Title Index


 
Issue Title
 
No 124 (1980): PB-124 Absolute stability properties of the explicit linear 3-step formulae Absolute stability properties of the explicit linear 3-step formulae Abstract   PDF
Zahari Zlatev, Ole Østerby
 
No 145 (1982): PB-145 Abstract Semantic Algebras! Abstract Semantic Algebras! Abstract   PDF
Peter D. Mosses
 
No 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing A Calculus of Communicating Systems with Label Passing Abstract   PDF
Uffe Engberg, Mogens Nielsen
 
No 92 (1978): PB-92 A Comparison of Monitors and Message Passing A Comparison of Monitors and Message Passing Abstract   PDF
Jørgen Staunstrup
 
No 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems A Compositional Proof System on a Category of Labelled Transition Systems Abstract   PDF
Glynn Winskel
 
No 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages A Computational Model for ADA and other concurrent languages Abstract   PDF
Brian H. Mayoh
 
No 9 (1973): PB-9 A Computer Solution of Polygonal Jigsaw-Puzzles A Computer Solution of Polygonal Jigsaw-Puzzles Abstract   PDF
Ejvind Lynning
 
No 192 (1985): PB-192 A Conceptual Framework for Programming Languages A Conceptual Framework for Programming Languages Abstract   PDF
Jørgen Lindskov Knudsen, Kristine Stougård Thomsen
 
No 176 (1984): PB-176 A Conceptual Framework for the Characterization of Petri Net Description Techniques A Conceptual Framework for the Characterization of Petri Net Description Techniques Abstract   PDF
Kim Halskov Madsen
 
No 489 (1994): PB-489 A conceptual toolbox for designing CSCW applications A conceptual toolbox for designing CSCW applications Abstract   PDF
Susanne Bødker, Ellen Christiansen, Manfred Thüring
 
No 118 (1980): PB-118 A Constructive Approach to Compiler Correctness A Constructive Approach to Compiler Correctness Abstract   PDF
Peter D. Mosses
 
No 133 (1981): PB-133 A Cook's Tour of Countable Nondeterminism A Cook's Tour of Countable Nondeterminism Abstract   PDF
K. R. Apt, Gordon D. Plotkin
 
No 234 (1987): PB-234 A Cooperative Work Perspective on Use and Development of Computer Artifacts A Cooperative Work Perspective on Use and Development of Computer Artifacts Abstract   PDF
Pål Sørgaard
 
No 275 (1989): PB-275 A Correction to ''A Modal Logic for a Subclass of Event Structures'' A Correction to ''A Modal Logic for a Subclass of Event Structures'' Abstract   PDF
K. Lodaya, P. S. Thiagarajan
 
No 334 (1990): PB-334 Activity Theory as a Challenge to Systems Design Activity Theory as a Challenge to Systems Design Abstract   PDF
Susanne Bødker
 
No 487 (1994): PB-487 Adaptive Approaches Towards Better GA Performance in Dynamic Fitness Landscapes Adaptive Approaches Towards Better GA Performance in Dynamic Fitness Landscapes Abstract   PDF
Henrik Hautop Lund
 
No 478 (1994): PB-478 Adaptive Performance Network?: Is it the Answer to our Prayers? Adaptive Performance Network?: Is it the Answer to our Prayers? Abstract   PDF
A. R. Kian Abolfazlian
 
No 135 (1981): PB-135 A Denotational Framework for Data Flow Analysis A Denotational Framework for Data Flow Analysis Abstract   PDF
Flemming Nielson
 
No 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness A Denotational Semantics af Inheritance and its Correctness Abstract   PDF
William Cook, Jens Palsberg
 
No 201 (1985): PB-201 A Denotational Semantics for Logic Programming A Denotational Semantics for Logic Programming Abstract   PDF
Gudmund Skovbjerg Frandsen
 
No 52 (1975): PB-52 A Description of the MATHILDA Processor A Description of the MATHILDA Processor Abstract   PDF
Bruce D. Shriver, Peter Kornerup
 
No 13 (1973): PB-13 A Description of the MATHILDA System A Description of the MATHILDA System Abstract   PDF
Bruce D. Shriver
 
No 29 (1974): PB-29 A Description of the RIKKE 1 System A Description of the RIKKE 1 System Abstract   PDF
Jørgen Staunstrup
 
No 375 (1991): PB-375 A Design of One's Own: Towards Participatory Design in the US A Design of One's Own: Towards Participatory Design in the US Abstract   PDF
Joan Greenbaum
 
No 327 (1990): PB-327 A discrete logarithm blob for noninteractive XOR gates A discrete logarithm blob for noninteractive XOR gates Abstract   PDF
Joan Boyar, Ivan Bjerre Damgård
 
1 - 25 of 596 Items 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 > >> 
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK