Bruce W. Char

According to our database, Bruce W. Char authored at least 48 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.

Bruce W. Char, Jeremy Johnson, Steve Earth

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

Proof Buddy: A Tool to Aid Students in Proof Construction.

Steve Earth, Jeremy R. Johnson, Bruce W. Char

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

The Purpose of Proof.

Bruce W. Char, Peter-Michael Osera, David G. Wonnacott

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

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

Retention and Transfer of Mathematical Thinking in the CS Curriculum.

Bruce W. Char, Steve Earth

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.

Jichen Zhu, Katelyn Alderfer, Brian K. Smith, Bruce W. Char, Santiago Ontañón

CoRR, 2020

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.

Steve Earth, Bruce W. Char, Jeremy Johnson

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.

Bruce W. Char, Jeremy R. Johnson

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.

Jichen Zhu, Katelyn Alderfer, Anushay Furqan, Jessica Nebolsky, Bruce W. Char, Brian K. Smith, Jennifer Villareale, Santiago Ontañón

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).

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

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

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

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.

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

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).

Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan

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).

Bruce W. Char, Thomas T. Hewett

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2007

LinBox and future high performance computer algebra.

Bruce W. Char, B. David Saunders, Bryan S. Youse

Proceedings of the Parallel Symbolic Computation, 2007

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation.

Bruce W. Char, Stephen M. Watt

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.

Bruce W. Char

J. Frankl. Inst., 2005

2004

Assessment of a course redesign: introductory computer programming using online modules.

Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003

Academic dishonesty in a high-tech environment.

Jeffrey L. Popyack, Nira Herrmann, Paul Zoski, Bruce W. Char, Christopher D. Cera, Robert N. Lass

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.

Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa

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.

Robert N. Lass, Christopher D. Cera, Nathaniel T. Bomberger, Bruce W. Char, Jeffrey L. Popyack, Nira Herrmann, Paul Zoski

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

The DUPLEX project.

Christopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

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

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.

Bruce W. Char, Anthony Harrison, Thomas T. Hewett, Ron Perline, Muksim Rakhimov

SIGSAM Bull., 1999

Symbolic Computation in Java: An Appraisement.

Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

Software Components Using Symbolic Computation for Problem Solving Environments.

Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

Symbolic computation tools in scientific problem solving environments.

Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner

SIGSAM Bull., 1997

1994

Some Experiments with Parallel Bignum Arithmetic.

Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Automatic Identification of Time Scales in Enzyme Kinetics Models.

Bruce W. Char, Mark F. Russo

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1992

An Approach for Floating-Point Error Analysis Using Computer Algebra.

Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

Ordinary Differential Equation Models: Symbolic Manipulation.

Bruce W. Char

Proceedings of the Concise Encyclopedia of Modelling & Simulation, 1992

1991

Maple V - language reference manual.

Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan

Springer, ISBN: 978-0-387-97622-8, 1991

Maple V - library reference manual.

Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan

Springer, ISBN: 978-0-387-97592-4, 1991

1990

Report on the 7th annual maple workshop.

Bruce W. Char

SIGSAM Bull., 1990

Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.

Bruce W. Char

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation.

Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet

J. Symb. Comput., 1989

Discovering Inequality Conditions in the Analytic Solution of Optimization Problems.

Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

J. Autom. Reason., 1989

Automatic Reasoning about Numerical Stability of Rational Expressions.

Bruce W. Char

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).

Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Expression optimization using high-level knowledge.

Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels

Proceedings of the EUROCAL '87, 1987

Practical aspects of symbolic integration over Q(x).

David M. Gillies, Bruce W. Char

Proceedings of the EUROCAL '87, 1987

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

Computer algebra and logic programming.

Bruce W. Char

Integr., 1986

Computer algebra in the undergraduate mathematics classroom.

Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1983

Solution of a general system of equations.

Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes

SIGSAM Bull., 1983

The maple symbolic computation system.

Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet

SIGSAM Bull., 1983

The design of maple: A compact, portable and powerful computer algebra system.

Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet

Proceedings of the Computer Algebra, 1983

1981

Using Lie transformation groups to find closed form solutions to first order ordinary differential equations.

Bruce W. Char

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981