Robert Piloty

According to our database1, Robert Piloty authored at least 16 papers between 1959 and 1993.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1993
An approach to CAD database support of design consistency control.
Proceedings of the European Design Automation Conference 1993, 1993

1992
Three Decades of HDLs: Part II, Conlan Through Verilog.
IEEE Des. Test Comput., 1992

Structural Consistency Support in an Integral Design System.
Proceedings of the Electronic Design Automation Frameworks: When will the promise be realized? Proceedings of the Third IFIP WG10.2/WG10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6 Bad Lippspringe, 1992

1991
Sprachgestützte Modellierung des Verhaltens digitaler Schaltungen und Systeme: Einige Probleme und Lösungsansätze.
Proceedings of the 7. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, 1991

1989
Verleihung der Konrad-Zuse-Medaille für Informatik.
Inform. Spektrum, 1989

1985
The Conlan Project: Concepts, Implementations, and Applications.
Computer, 1985

1983
CONLAN Report
Lecture Notes in Computer Science 151, Springer, ISBN: 3-540-12275-3, 1983

1982
The conlan project: Status and future plans.
Proceedings of the 19th Design Automation Conference, 1982

1980
An Overview of CONLAN: A Formal Construction Method for Hardware Description Language.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Rechnergestützter Entwurf digitaler systeme: Stand, Probleme, Aussichten.
Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

CONLAN: a formal construction method for hardware description languages: language application.
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

CONLAN: a formal construction method for hardware description languages: language derivation.
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

CONLAN: a formal construction method for hardware description languages: basic principles.
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1975
Design Verification at the Register Transfer Language Level.
IEEE Trans. Computers, 1975

1974
Hardware description languages in the Federal Republic of Germany.
Computer, 1974

1959
Ein elektronisches Auskunftssystem über die Verfügbarkeit von Passagierplätzen im Flugverkehr.
Elektron. Rechenanlagen, 1959


  Loading...