Classification of the toroidal groups. - Viera Krnanová Proulx (J. Graph Theory, 1978)

On the genus of five- and six-regular graphs. - Viera Krnanová Proulx (J. Graph Theory, 1983)

The Role of Computer Science and Discrete Mathematics in the High School Curriculum. - Viera K. Proulx (Discrete Mathematics in the Schools, 1992)

Programming by Experimentation and Example. - Cynthia A. Brown; Harriet J. Fell; Viera K. Proulx; Richard Rasala (ICCAL, 1992)

Using visual feedback and model programs in introductory computer science. - Cynthia A. Brown; Harriet J. Fell; Viera K. Proulx; Richard Rasala (J. Comput. High. Educ., 1992)

Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science. - Cynthia A. Brown; Harriet J. Fell; Viera K. Proulx; Richard Rasala (ACM Conference on Computer Science, 1993)

Computer Science in Elementary and Secondary Schools. - Viera K. Proulx (Informatics and Changes in Learning, 1993)

ACM model high school computer science curriculum (abstract). - Susan M. Merritt; Charles J. Bruen; J. Philip East; Darlene Grantham; Charles Rice; Viera K. Proulx; Gerry Segal; Carol E. Wolf (SIGCSE, 1993)

ACM Model High School Computer Science Curriculum. - Susan M. Merritt; Charles J. Bruen; J. Philip East; Darlene Grantham; Charles Rice; Viera K. Proulx; Gerry Segal; Carol E. Wolf (Commun. ACM, 1993)

Using graphical presentation techniques in closed laboratory exercises (abstract). - Viera K. Proulx; Harriet J. Fell; Richard Rasala; Johannes A. G. M. Koomen; Carol W. Wilson (SIGCSE, 1994)

From animation to analysis in introductory computer science. - Richard Rasala; Viera K. Proulx; Harriet J. Fell (SIGCSE, 1994)

Computer science/informatics: the study of the Information World. - Viera K. Proulx (WCCE, 1995)

Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories. - Deborah Knox; Ursula Wolz; Daniel T. Joyce; Elliot B. Koffman; Joan Krone; Atika Laribi; J. Paul Myers; Viera K. Proulx; Kenneth A. Reek (ITiCSE, 1996)

Foundations of computer science: what are they and how do we teach them? - Viera K. Proulx; Richard Rasala; Harriet J. Fell (ITiCSE, 1996)

Writing across the computer science curriculum. - Harriet J. Fell; Viera K. Proulx; John Casey (SIGCSE, 1996)

The Future of Computer Science Education. - Viera K. Proulx; Richard Rasala (ACM Comput. Surv., 1996)

Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (report of the ITiCSE 1997 working group on visualization). - Thomas L. Naps; Joseph Bergin; Ricardo Jiménez-Peris; Myles F. McNally; Marta Patiño-Martínez; Viera K. Proulx; Jorma Tarhio (ITiCSE-WGR, 1997)

Recursion and grammars for CS2. - Viera K. Proulx (ITiCSE, 1997)

Exploring Martian planetary images: C++ exercises for CS1. - Harriet J. Fell; Viera K. Proulx (SIGCSE, 1997)

Scaling: a design pattern in introductory computer science courses. - Harriet J. Fell; Viera K. Proulx; Richard Rasala (SIGCSE, 1998)

Traffic simulation: a case study for teaching object oriented design. - Viera K. Proulx (SIGCSE, 1998)

Hospital emergency room simulation: object oriented design issues for CS2. - Viera K. Proulx (SIGCSE, 1999)

Resources for Next Generation Introductory CS Courses: Report of the ITiCSE'99 Working Group on Resources for the Next Generation CS 1 Course. - Joseph Bergin; Amruth N. Kumar; Viera K. Proulx; Myles F. McNally; Alyce Faulstich Brady; David Mutchler; Stephen J. Hartley; Richard Rasala; Charles Kelemen; Rocky Ross; Frank Klassner (ITiCSE-WGR, 1999)

Information Structures. - Charles H. Goldberg; Jianer Chen; Viera Krnanová Proulx; Joan Feigenbaum; Sampath Kannan (Handbook of Discrete and Combinatorial Mathematics, 1999)

Pedagogical power tools for teaching Java. - Jeff Raab; Richard Rasala; Viera K. Proulx (ITiCSE, 2000)

Programming patterns and design patterns in the introductory computer science course. - Viera K. Proulx (SIGCSE, 2000)

Traffic light: a pedagogical exploration through a design space. - Viera K. Proulx; Jeff Raab; Richard Rasala (J. Comput. Sci. Coll., 2000)

Pattern and toolkits in introductory CS courses. - Richard Rasala; Viera K. Proulx (J. Comput. Sci. Coll., 2000)

Computer science laboratory projects: Breadth through depth. - Richard Rasala; Viera K. Proulx; Jeff Raab (J. Comput. Sci. Coll., 2000)

Java power tools: model software for teaching object-oriented design. - Richard Rasala; Jeff Raab; Viera K. Proulx (SIGCSE, 2001)

Using patterns in the classroom. - Joseph Bergin; Alyce Brady; Robert C. Duvall; Viera K. Proulx; Richard Rasala (J. Comput. Sci. Coll., 2001)

Objects from the beginning - with GUIs. - Viera K. Proulx; Jeff Raab; Richard Rasala (ITiCSE, 2002)

The SIGCSE 2001 Maze Demonstration program. - Richard Rasala; Jeff Raab; Viera K. Proulx (SIGCSE, 2002)

Simple problem solving in Java: a problem set framework. - Viera K. Proulx; Richard Rasala; Jason Jay Rodrigues (J. Comput. Sci. Coll., 2002)

Java laboratories using Java power tools. - Richard Rasala; Viera K. Proulx; Jeff Raab; Jennifer McDonald (J. Comput. Sci. Coll., 2002)

IFIP and issues in pre-college education. - Erich Neuwirth; Viera K. Proulx (ACM SIGCSE Bull., 2002)

Introductory computer science with focus on program design. - Stephen A. Bloch; Kathi Fisler; Viera K. Proulx (J. Comput. Sci. Coll., 2003)

Java IO and testing made simple. - Viera K. Proulx; Richard Rasala (SIGCSE, 2004)

Calculator problem and the design recipe. - Viera K. Proulx; Tanya Cashorali (ACM SIGPLAN Notices, 2005)

Tools for teaching introductory programming: what works? - Kris D. Powers; Paul Gross 001; Steve Cooper; Myles F. McNally; Kenneth J. Goldman; Viera K. Proulx; Martin C. Carlisle (SIGCSE, 2006)

Design of class hierarchies: an introduction to OO program design. - Viera K. Proulx; Kathryn E. Gray (SIGCSE, 2006)

Teach scheme, reach Java: introducing object - oriented programming without drowning in syntax: tutorial presentation. - Stephen A. Bloch; Viera K. Proulx (J. Comput. Sci. Coll., 2007)

Unit testing in Java. - Viera K. Proulx; Weston Jossey (ITiCSE, 2009)

Unit test support for Java via reflection and annotations. - Viera K. Proulx; Weston Jossey (PPPJ, 2009)

Test-driven design for introductory OO programming. - Viera K. Proulx (SIGCSE, 2009)

Test-driven design in Java for novice programmers. - Viera K. Proulx (J. Comput. Sci. Coll., 2009)

(Re)defining computing curricula by (re)defining computing. - Charles L. Isbell Jr.; Lynn Andrea Stein; Robb Cutler; Jeffrey Forbes 001; Linda Fraser; John Impagliazzo; Viera K. Proulx; Steve Russ; Richard Thomas 002; Yan Xu (ACM SIGCSE Bull., 2009)

Test-first design pedagogy and support for introductory OO programming: tutorial presentation. - Viera K. Proulx (J. Comput. Sci. Coll., 2010)

Introductory Computing: The Design Discipline. - Viera K. Proulx (ISSEP, 2011)

Soundlib: a music library for a novice Java programmer. - Viera K. Proulx (J. Comput. Sci. Coll., 2011)

Program by design: TeachScheme/ReachJava (abstract only). - Viera K. Proulx; Stephen A. Bloch (SIGCSE, 2012)

Software testing (in Java) from the beginning. - Viera K. Proulx (J. Comput. Sci. Coll., 2012)

Test-first Java for beginners (abstract only). - Viera K. Proulx (SIGCSE, 2013)

Test-first design in introductory Java programming (abstract only). - Viera K. Proulx (SIGCSE, 2013)

Test-first design pedagogy in introductory Java programming. - Viera K. Proulx (J. Comput. Sci. Coll., 2013)