Thomas F. Piatkowski

According to our database, Thomas F. Piatkowski authored at least 9 papers between 1967 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

The Elaboration Order Problem of Ada.

Leslie C. Lander, Sandeep Mitra, Nitin Singhvi, Thomas F. Piatkowski

Softw. Pract. Exp., 1992

Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada.

Sandeep Mitra, Leslie C. Lander, Thomas F. Piatkowski

Proceedings of the Ninth Washington Ada Symposium on Ada, 1992

1990

Priority inversion in Ada programs during elaboration.

Leslie C. Lander, Sandeep Mitra, Thomas F. Piatkowski

Proceedings of the Seventh Washington Ada Symposium on Ada, 1990

1986

Satellites, packets, and distributed telecommunications. A compendium of source materials.

Thomas F. Piatkowski

Proc. IEEE, 1986

1985

A formal comparison of formal protocol specification techniques.

R. C. Venkatraman, Thomas F. Piatkowski

Proceedings of the Protocol Specification, 1985

1982

State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.

Thomas F. Piatkowski, Lap-Kin Ip, Dayun He

Comput. Networks, 1982

1980

The ISO-ANSI Open Systems Reference Model - A Proposal for a Systems Approach.

Thomas F. Piatkowski

Comput. Networks, 1980

1971

A Novel and Versatile Approach to Computer Hardware Education and Computer Terminal Development.

Thomas F. Piatkowski

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971

1967

Generalized State Identification Problems

Eugene L. Lawler, Thomas F. Piatkowski

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967