Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. - Bruce W. Char (SYMSACC, 1981)

The design of maple: A compact, portable and powerful computer algebra system. - Bruce W. Char; Keith O. Geddes; W. Morven Gentleman; Gaston H. Gonnet (EUROCAL, 1983)

The maple symbolic computation system. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet (SIGSAM Bull., 1983)

Solution of a general system of equations. - Gaston H. Gonnet; Bruce W. Char; Keith O. Geddes (SIGSAM Bull., 1983)

Computer algebra in the undergraduate mathematics classroom. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Beverly J. Marshman; Peter J. Ponzo (SYMSAC, 1986)

Computer algebra and logic programming. - Bruce W. Char (Integr., 1986)

A Tutorial Introduction to Maple. - Bruce W. Char; Gregory J. Fee; Keith O. Geddes; Gaston H. Gonnet; Michael B. Monagan (J. Symb. Comput., 1986)

Practical aspects of symbolic integration over Q(x). - David M. Gillies; Bruce W. Char (EUROCAL, 1987)

Expression optimization using high-level knowledge. - Mark P. W. Mutrie; Bruce W. Char; Richard H. Bartels (EUROCAL, 1987)

Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (ISSAC, 1988)

Automatic Reasoning about Numerical Stability of Rational Expressions. - Bruce W. Char (ISSAC, 1989)

Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (J. Autom. Reason., 1989)

GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet (J. Symb. Comput., 1989)

Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. - Bruce W. Char (ISSAC, 1990)

Report on the 7th annual maple workshop. - Bruce W. Char (SIGSAM Bull., 1990)

Maple V - library reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)

Maple V - language reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)

Ordinary Differential Equation Models: Symbolic Manipulation. - Bruce W. Char (Concise Encyclopedia of Modelling & Simulation, 1992)

An Approach for Floating-Point Error Analysis Using Computer Algebra. - Mark P. W. Mutrie; Richard H. Bartels; Bruce W. Char (ISSAC, 1992)

Automatic Identification of Time Scales in Enzyme Kinetics Models. - Bruce W. Char; Mark F. Russo (ISSAC, 1994)

Some Experiments with Parallel Bignum Arithmetic. - Bruce W. Char; Jeremy Johnson 001; David Saunders 002; Andrew P. Wack (PASCO, 1994)

Symbolic computation tools in scientific problem solving environments. - Bruce W. Char; Thomas T. Hewett; Jeremy Johnson 001; Yagati N. Lakshman; Ron Perline; Raji Venkatesan; Hoi Man Chang; Michael Miller; Clint Hepner (SIGSAM Bull., 1997)

Software Components Using Symbolic Computation for Problem Solving Environments. - Yagati N. Lakshman; Bruce W. Char; Jeremy Johnson 001 (ISSAC, 1998)

Symbolic Computation in Java: An Appraisement. - Laurent Bernardin; Bruce W. Char; Erich L. Kaltofen (ISSAC, 1999)

Developing the Soliton Explorer: A problem solving environment for soliton surface investigation. - Bruce W. Char; Anthony Harrison; Thomas T. Hewett; Ron Perline; Muksim Rakhimov (SIGSAM Bull., 1999)

High-tech dishonesty: cheating, plagiarism and detection. - Christopher D. Cera; Bruce W. Char; Nira Herrmann; Robert N. Lass; Aparna Nanjappa; Jeffrey L. Popyack; Paul Zoski (ITiCSE, 2003)

The DUPLEX project. - Christopher D. Cera; Bruce W. Char; Nira Herrmann; Robert N. Lass; Aparna Nanjappa; Jeffrey L. Popyack; Paul Zoski (ITiCSE, 2003)

Tools and techniques for large scale grading using Web-based commercial off-the-shelf software. - Robert N. Lass; Christopher D. Cera; Nathaniel T. Bomberger; Bruce W. Char; Jeffrey L. Popyack; Nira Herrmann; Paul Zoski (ITiCSE, 2003)

Redesigning introductory computer programming using multi-level online modules for a mixed audience. - Nira Herrmann; Jeffrey L. Popyack; Bruce W. Char; Paul Zoski; Christopher D. Cera; Robert N. Lass; Aparna Nanjappa (SIGCSE, 2003)

Academic dishonesty in a high-tech environment. - Jeffrey L. Popyack; Nira Herrmann; Paul Zoski; Bruce W. Char; Christopher D. Cera; Robert N. Lass (SIGCSE, 2003)

Assessment of a course redesign: introductory computer programming using online modules. - Nira Herrmann; Jeffrey L. Popyack; Bruce W. Char; Paul Zoski (SIGCSE, 2004)

The 2004 Benjamin Franklin Medal in Computer and Cognitive Science presented to Richard M. Karp. - Bruce W. Char (J. Frankl. Inst., 2005)

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. - Bruce W. Char; Stephen M. Watt (ICDAR, 2007)

LinBox and future high performance computer algebra. - Bruce W. Char; B. David Saunders; Bryan S. Youse (PASCO, 2007)

A first year common course on computational problem solving and programming (abstract only). - Bruce W. Char; Thomas T. Hewett (SIGCSE, 2014)

Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only). - Bruce W. Char; Jeffrey L. Popyack; Jeremy Johnson 001; William M. Mongan (SIGCSE, 2015)

Automatic feedback systems for code: what can they tell the busy instructor? - Bruce W. Char (J. Comput. Sci. Coll., 2016)

Designing Visual Metaphors for an Educational Game for Parallel Programming. - Santiago Ontañón; Jichen Zhu; Brian K. Smith; Bruce W. Char; Evan Freed; Anushay Furqan; Michael Howard; Anna Nguyen; Justin H. Patterson; Josep Valls-Vargas (CHI Extended Abstracts, 2017)

Tracing Player Knowledge in a Parallel Programming Educational Game. - Pavan Kantharaju; Katelyn Bright Alderfer; Jichen Zhu; Bruce W. Char; Brian K. Smith; Santiago Ontañón (AIIDE, 2018)

Lessons Learned From an Interactive Educational Computer Game About Concurrent Programming: (Abstract Only). - Katelyn Bright Alderfer; Brian K. Smith; Santiago Ontañón; Bruce W. Char; Jessica Nebolsky; Jichen Zhu; Anushay Furqan; Evan Freed; Justin H. Patterson; Josep Valls-Vargas (SIGCSE, 2018)

Programming in game space: how to represent parallel programming concepts in an educational game. - Jichen Zhu; Katelyn Alderfer; Anushay Furqan; Jessica Nebolsky; Bruce W. Char; Brian K. Smith; Jennifer Villareale; Santiago Ontañón (FDG, 2019)

Use of Maple and Möbius in an Undergraduate Course on Cryptography. - Bruce W. Char; Jeremy R. Johnson (MC, 2019)

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. - Steve Earth; Bruce W. Char; Jeremy Johnson 001 (SIGCSE, 2020)

Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach. - Jichen Zhu; Katelyn Alderfer; Brian K. Smith; Bruce W. Char; Santiago Ontañón (CoRR, 2020)

Retention and Transfer of Mathematical Thinking in the CS Curriculum. - Bruce W. Char; Steve Earth (SIGCSE (2), 2022)

Modeling Player Knowledge in a Parallel Programming Educational Game. - Pavan Kantharaju; Katelyn Alderfer; Jichen Zhu; Bruce W. Char; Brian K. Smith; Santiago Ontañón (IEEE Trans. Games, 2022)

The Purpose of Proof. - Bruce W. Char; Peter-Michael Osera; David G. Wonnacott (SIGCSE (2), 2023)

Proof Buddy: A Tool to Aid Students in Proof Construction. - Steve Earth; Jeremy R. Johnson; Bruce W. Char (SIGCSE (2), 2023)

A Study of the Perception of Mathematics as a Learning Tool for Computer Science Undergraduates. - Bruce W. Char; John P. Dougherty (J. Comput. Sci. Coll., 2023)

A Web App for Writing with Mathematical Logic. - Bruce W. Char; Steve Earth; Jeremy Johnson 001 (J. Comput. Sci. Coll., 2023)

Prove It with Proof Buddy: The Programmer's Sidekick for Learning Proof Writing. - Steve Earth; Jeremy Johnson 001; Bruce W. Char (J. Comput. Sci. Coll., 2023)

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. - Bruce W. Char; Jeremy Johnson 001; Steve Earth (SIGCSE (2), 2024)

Programming Skills as a Gateway to Proof Writing Proficiency. - Steve Earth; Jeremy Johnson 001; Bruce W. Char (J. Comput. Sci. Coll., 2024)

From Algorithms to Axioms: Classifying Proof Errors of Novice Programmers. - Steve Earth; Bruce W. Char; Jeremy Johnson 001 (J. Comput. Sci. Coll., 2025)