| Bubble sort: an archaeological algorithmic analysis O Astrachan ACM Sigcse Bulletin 35 (1), 1-5, 2003 | 231 | 2003 |
| Caching and lemmaizing in model elimination theorem provers OL Astrachan, ME Stickel International Conference on Automated Deduction, 224-238, 1992 | 136 | 1992 |
| Design patterns: an essential component of CS curricula O Astrachan, G Mitchener, G Berry, L Cox Proceedings of the twenty-ninth SIGCSE technical symposium on Computer …, 1998 | 134 | 1998 |
| The CS principles project O Astrachan, A Briggs ACM Inroads 3 (2), 38-42, 2012 | 127 | 2012 |
| AAA and CS 1: the applied apprenticeship approach to CS 1 O Astrachan, D Reed Proceedings of the twenty-sixth SIGCSE technical symposium on Computer …, 1995 | 104 | 1995 |
| The present and future of computational thinking O Astrachan, S Hambrusch, J Peckham, A Settle ACM SIGCSE Bulletin 41 (1), 549-550, 2009 | 83 | 2009 |
| Resolved: objects early has failed O Astrachan, K Bruce, E Koffman, M Kölling, S Reges ACM SIGCSE Bulletin 37 (1), 451-452, 2005 | 76 | 2005 |
| The CS10K project: mobilizing the community to transform high school computing O Astrachan, J Cuny, C Stephenson, C Wilson Proceedings of the 42nd ACM technical symposium on Computer science …, 2011 | 71 | 2011 |
| METEORs: High performance theorem provers using model elimination OL Astrachan, DW Loveland Automated Reasoning: Essays in Honor of Woody Bledsoe, 31-59, 1991 | 57 | 1991 |
| Loop patterns O Astrachan, E Wallingford Proceedings of the Fifth Pattern Languages of Programs Conference, 1998 | 52 | 1998 |
| Animation, visualization, and interaction in CS 1 assignments O Astrachan, SH Rodger ACM SIGCSE Bulletin 30 (1), 317-321, 1998 | 52 | 1998 |
| CS principles: piloting a new course at national scale O Astrachan, T Barnes, DD Garcia, J Paul, B Simon, L Snyder Proceedings of the 42nd ACM technical symposium on Computer science …, 2011 | 50 | 2011 |
| The internet programming contest: a report and philosophy V Khera, O Astrachan, D Kotz ACM SIGCSE Bulletin 25 (1), 48-52, 1993 | 49 | 1993 |
| Concrete teaching: Hooks and props as instructional technology O Astrachan Proceedings of the 6th annual conference on the teaching of computing and …, 1998 | 48 | 1998 |
| Computer science principles: analysis of a proposed advanced placement course A Arpaci-Dusseau, O Astrachan, D Barnett, M Bauer, M Carrell, R Dovi, ... Proceeding of the 44th ACM technical symposium on Computer science education …, 2013 | 43 | 2013 |
| The use of lemmas in the model elimination procedure OL Astrachan, DW Loveland Journal of Automated Reasoning 19, 117-141, 1997 | 40 | 1997 |
| Non-competitive programming contest problems as the basis for just-in-time teaching OL Astrachan 34th Annual Frontiers in Education, 2004. FIE 2004., T3H/20-T3H/24 Vol. 1, 2004 | 37 | 2004 |
| Social networks generate interest in computer science C Alt, O Astrachan, J Forbes, R Lucic, S Rodger Proceedings of the 37th SIGCSE technical symposium on Computer science …, 2006 | 36 | 2006 |
| Bringing extreme programming to the classroom O Astrachan, RC Duvall, E Wallingford XP universe 2001, 2001 | 30 | 2001 |
| METEOR: Exploring model elimination theorem proving O Astrachan Journal of Automated Reasoning 13, 283-296, 1994 | 30 | 1994 |
Jeff GrayProfessor, Department of Computer Science; Director, Randall Research Scholars - U. Alabama在 cs.ua.edu 的电子邮件经过验证
