Lothar F. Mackert

According to our database1, Lothar F. Mackert authored at least 11 papers between 1983 and 1996.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Network Computing.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1992
An Integrated Environment for Developing Communication Protocols.
Comput. Networks ISDN Syst., 1992

1991
Structuring Mechanisms for the Formal Description Technique CRS.
Proceedings of the Protocol Specification, 1991

High speed and multimedia communication.
Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

1989
Index Scans Using a Finite LRU Buffer: A Validated I/O Model.
ACM Trans. Database Syst., 1989

Executable Communicating Rule Systems.
Proceedings of the Formal Description Techniques, 1989

1988
A Generalized Conformance Test Tool for Communication Protocols.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987
Communicating Rule Systems.
Proceedings of the Protocol Specification, 1987

1986
R* Optimizer Validation and Performance Evaluation for Distributed Queries.
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

R* Optimizer Validation and Performance Evaluation for Local Queries.
Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

1983
Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen.
PhD thesis, 1983


  Loading...