Samuli Heilala

According to our database, Samuli Heilala authored at least 2 papers in 2007.

Collaborative distances:

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

2007

On Bus Graph Realizability.

Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-François Préville-Ratelle, Sue Whitesides, Nuo Yu

Proceedings of the 19th Annual Canadian Conference on Computational Geometry, 2007

Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4.

Samuli Heilala, Brigitte Pientka

Proceedings of the Automated Deduction, 2007