Matthias F. Stallmann

2007
2	EE	Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High: ProofChecker: an accessible environment for automata theory correctness proofs. ITiCSE 2007: 48-52
1	EE	Kristy Elizabeth Boyer, Rachael S. Dwight, Carolyn S. Miller, C. Dianne Raubenheimer, Matthias F. Stallmann, Mladen A. Vouk: A case for smaller class size with integrated lab for introductory computer science. SIGCSE 2007: 341-345

Coauthor Index

1	Sina Bahram	[2]
2	Suzanne Balik	[2]
3	Kristy Elizabeth Boyer	[1]
4	Rachael S. Dwight	[1]
5	Michael C. Grace	[2]
6	Susan D. High	[2]
7	Carolyn S. Miller	[1]
8	C. Dianne Raubenheimer	[1]
9	Robert D. Rodman	[2]
10	Mladen A. Vouk	[1]

Colors in the list of coauthors