Indra Polak

According to our database, Indra Polak authored at least 3 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1997

Normal Form in DI-Algebra with Recursion.

Paul G. Lucassen, Indra Polak, Jan Tijmen Udding

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1995

Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1995

1994

Verification of an Audio Control Protocol.

Doeko Bosscher, Indra Polak, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994