Owen Astrachan
Owen Astrachan
Professor of the Practice of Computer Science
Verified email at
Cited by
Cited by
Bubble sort: an archaeological algorithmic analysis
O Astrachan
ACM Sigcse Bulletin 35 (1), 1-5, 2003
Caching and lemmaizing in model elimination theorem provers
OL Astrachan, ME Stickel
International Conference on Automated Deduction, 224-238, 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
The CS principles project
O Astrachan, A Briggs
ACM Inroads 3 (2), 38-42, 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
Resolved: objects early has failed
O Astrachan, K Bruce, E Koffman, M Kölling, S Reges
ACM SIGCSE Bulletin 37 (1), 451-452, 2005
The present and future of computational thinking
O Astrachan, S Hambrusch, J Peckham, A Settle
ACM SIGCSE Bulletin 41 (1), 549-550, 2009
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
Animation, visualization, and interaction in CS 1 assignments
O Astrachan, SH Rodger
ACM SIGCSE Bulletin 30 (1), 317-321, 1998
METEORs: High performance theorem provers using model elimination
OL Astrachan, DW Loveland
Automated Reasoning, 31-59, 1991
Loop patterns
O Astrachan, E Wallingford
Proceedings of the Fifth Pattern Languages of Programs Conference, 1998
The internet programming contest: a report and philosophy
V Khera, O Astrachan, D Kotz
ACM SIGCSE Bulletin 25 (1), 48-52, 1993
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
Concrete teaching: hooks and props as instructional technology
O Astrachan
Proceedings of the 6th annual conference on the teaching of computing and …, 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
The use of lemmas in the model elimination procedure
OL Astrachan, DW Loveland
Journal of Automated Reasoning 19 (1), 117-141, 1997
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
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
Computer Science Tapestry: Exploring Programming and Computer Science
OL Astrachan
McGraw-Hill, Inc., 1996
Bringing extreme programming to the classroom
O Astrachan, RC Duvall, E Wallingford
XP universe 2001, 2001
The system can't perform the operation now. Try again later.
Articles 1–20