Joan Krone Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Joan Krone, Murali Sitaraman: Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoan Krone, David W. Juedes, Meera Sitharam: When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. CSEE&T 2002: 207-214
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston: Teaching as a logic tool (abstract). SIGCSE 1995: 384-385

Coauthor Index

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

Colors in the list of coauthors

Copyright © Thu Dec 3 22:36:56 2009 by Michael Ley (ley@uni-trier.de)