|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
Making mathematical reasoning fun: tool-assisted, collaborative techniques.  |
ACM Southeast Regional Conference  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman |
Teaching mathematical reasoning across the curriculum. |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide |
Building a push-button RESOLVE verifier: Progress and challenges. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone |
Making mathematical reasoning fun: tool-assisted, collaborative techniques. |
ACM Southeast Regional Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
mathematical thinking, education, components, tools |
| 1 | Jason O. Hallstrom, Joan Krone, Murali Sitaraman |
Courseware for teaching analytical reasoning principles: a hands-on laboratory. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather K. Harton, Murali Sitaraman, Joan Krone |
Formal Program Verification. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Krone, David W. Juedes, Meera Sitharam |
When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. (PDF / PS) |
CSEE&T |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy |
Performance specification of software components. |
SSR |
2001 |
DBLP DOI BibTeX RDF |
generic objects, time & space analysis, data structures, storage management |
| 1 | Joan Krone |
Using symbolic computation for teaching data structures and algorithm analysis. |
ITiCSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah Knox, Ursula Wolz, Daniel T. Joyce, Elliot B. Koffman, Joan Krone, Atika Laribi, J. Paul Myers, Viera K. Proulx, Kenneth A. Reek |
Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories. |
ITiCSE |
1996 |
DBLP DOI BibTeX RDF |
Internet |
| 1 | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |
Teaching as a logic tool (abstract). |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")