Werner E. Kluge

According to our database1, Werner E. Kluge authored at least 26 papers between 1975 and 2007.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Abstract lambda-Calculus Machines.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2005
Abstract Computing Machines - A Lambda Calculus Perspective
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-27359-2, 2005

2000
Organizing Speculative Computations in Rule-Based Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Organizing Speculative Computations in Functional Systems.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
A Reversible SE(M)CD Machine.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Realisations for Strict Languages.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
Nachruf auf Klaus Berkling 1931-1997.
Inform. Spektrum, 1998

1996
π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.
J. Funct. Program., 1996

1995
On the Design of Systems of Cooperating Functional Processes.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Using pi-RED as a Teaching Tool for Functional Programming and Program Execution.
Proceedings of the Functional Programming Languages in Education, 1995

1994
Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1992
pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus.
New Gener. Comput., 1992

1986
Reduction Languages and Reduction Systems.
Proceedings of the Future Parallel Computers, 1986

Reduction, Data Flow and Control Flow Models of Computation.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1983
Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions.
IEEE Trans. Software Eng., 1983

Cooperating Reduction Machines.
IEEE Trans. Computers, 1983

A System Architecture for the Concurrent Evaluation of Applicative Program Expressions
Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, 1983

1982
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes.
IEEE Trans. Computers, 1982

1980
Kombinatorische Beschreibung und Lösung von Organisationsproblemen.
Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

1978
Data File Management in Shift Register Memories.
ACM Trans. Database Syst., 1978

Some Less Enthusiastic Remarks on the Impact of New Technologies.
Proceedings of the Issues in Data Base Management, 1978

Impact of New Technologies.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

1977
Traversing Binary Tree Structures with Shift-Register Memories.
IEEE Trans. Computers, 1977

1975
Conceptual Design of a Hardwired Main Storage Management Unit.
Comput. J., 1975

On the problem of fast random and sequential data access in shift register memories.
Proceedings of the Computer Architecture, 1975

A concept for hardwired main storage management.
Proceedings of the Computer Architecture, 1975


  Loading...