Samuli Heilala

2007
3	EE	Samuli Heilala, Brigitte Pientka: Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4. CADE 2007: 116-131
2		Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-Francois Preville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability. CCCG 2007: 229-232
2006
1	EE	Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-Francois Preville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability CoRR abs/cs/0609127: (2006)

Coauthor Index

1	Anil Ada	[1] [2]
2	Melanie Coggan	[1] [2]
3	Alain Doyon	[1] [2]
4	Liam Flookes	[1] [2]
5	Ethan Kim	[1] [2]
6	Paul Di Marco	[1] [2]
7	Brigitte Pientka	[3]
8	Louis-Francois Preville-Ratelle	[1] [2]
9	Sue Whitesides	[1] [2]
10	Jonathan Li On Wing	[1] [2]
11	Nuo Yu	[1] [2]

Colors in the list of coauthors