2024
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
Proof Buddy: A Tool to Aid Students in Proof Construction.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023
2022
Modeling Player Knowledge in a Parallel Programming Educational Game.
IEEE Trans. Games, 2022
Retention and Transfer of Mathematical Thinking in the CS Curriculum.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022
2020
Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach.
CoRR, 2020
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
2019
Use of Maple and Möbius in an Undergraduate Course on Cryptography.
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019
Programming in game space: how to represent parallel programming concepts in an educational game.
Proceedings of the 14th International Conference on the Foundations of Digital Games, 2019
2018
Lessons Learned From an Interactive Educational Computer Game About Concurrent Programming: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
Tracing Player Knowledge in a Parallel Programming Educational Game.
Proceedings of the Fourteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2018
2017
Designing Visual Metaphors for an Educational Game for Parallel Programming.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
2015
Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
2014
A first year common course on computational problem solving and programming (abstract only).
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
2007
LinBox and future high performance computer algebra.
Proceedings of the Parallel Symbolic Computation, 2007
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007
2005
The 2004 Benjamin Franklin Medal in Computer and Cognitive Science presented to Richard M. Karp.
J. Frankl. Inst., 2005
2004
Assessment of a course redesign: introductory computer programming using online modules.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004
2003
Academic dishonesty in a high-tech environment.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003
Redesigning introductory computer programming using multi-level online modules for a mixed audience.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003
Tools and techniques for large scale grading using Web-based commercial off-the-shelf software.
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003
High-tech dishonesty: cheating, plagiarism and detection.
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003
1999
Developing the Soliton Explorer: A problem solving environment for soliton surface investigation.
SIGSAM Bull., 1999
Symbolic Computation in Java: An Appraisement.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
1998
Software Components Using Symbolic Computation for Problem Solving Environments.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998
1997
Symbolic computation tools in scientific problem solving environments.
SIGSAM Bull., 1997
1994
Some Experiments with Parallel Bignum Arithmetic.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Automatic Identification of Time Scales in Enzyme Kinetics Models.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994
1992
An Approach for Floating-Point Error Analysis Using Computer Algebra.
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992
Ordinary Differential Equation Models: Symbolic Manipulation.
Proceedings of the Concise Encyclopedia of Modelling & Simulation, 1992
1991
Maple V - language reference manual.
Springer, ISBN: 978-0-387-97622-8, 1991
Maple V - library reference manual.
Springer, ISBN: 978-0-387-97592-4, 1991
1990
Report on the 7th annual maple workshop.
SIGSAM Bull., 1990
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
1989
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation.
J. Symb. Comput., 1989
Discovering Inequality Conditions in the Analytic Solution of Optimization Problems.
J. Autom. Reason., 1989
Automatic Reasoning about Numerical Stability of Rational Expressions.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989
1988
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract).
Proceedings of the Symbolic and Algebraic Computation, 1988
1987
Expression optimization using high-level knowledge.
Proceedings of the EUROCAL '87, 1987
Practical aspects of symbolic integration over Q(x).
Proceedings of the EUROCAL '87, 1987
1986
A Tutorial Introduction to Maple.
J. Symb. Comput., 1986
Computer algebra and logic programming.
Integr., 1986
Computer algebra in the undergraduate mathematics classroom.
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986
1983
Solution of a general system of equations.
SIGSAM Bull., 1983
The maple symbolic computation system.
SIGSAM Bull., 1983
The design of maple: A compact, portable and powerful computer algebra system.
Proceedings of the Computer Algebra, 1983
1981
Using Lie transformation groups to find closed form solutions to first order ordinary differential equations.
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981