Joan Krone

	2009
6		Jason O. Hallstrom, Joan Krone, Murali Sitaraman: Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009
5		Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak: Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE 2009: 50-54
	2008
4		Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
	2002
3		Joan Krone, David W. Juedes, Meera Sitharam: When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. CSEE&T 2002: 207-214
	2001
2		Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
	1995
1		David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston: Teaching as a logic tool (abstract). SIGCSE 1995: 384-385

Coauthor Index

1	Svetlana Drachova-Strang	[5]
2	David Gries	[1]
3	Jason O. Hallstrom	[5] [6]
4	Heather K. Harton	[4] [5]
5	David W. Juedes	[3]
6	Gregory Kulczycki	[2]
7	Dana P. Leonard	[5]
8	William F. Ogden	[2]
9	Rich Pak	[5]
10	A. L. Narasimha Reddy	[2]
11	Fred B. Schneider	[1]
12	Murali Sitaraman	[2] [4] [5] [6]
13	Meera Sitharam	[3]
14	J. Stanley Warford	[1]
15	J. Peter Weston	[1]
16	Jarred White	[5]

Colors in the list of coauthors