Bruce W. Char - RankMe

58 papers A 8B 11C 1Journal 19Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	From Algorithms to Axioms: Classifying Proof Errors of Novice Programmers. J. Comput. Sci. Coll. Steve Earth, Bruce W. Char, Jeremy Johnson
2024	—	`conf`	Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. SIGCSE (2) Bruce W. Char, Jeremy Johnson, Steve Earth
2024	J	`jnl`	Programming Skills as a Gateway to Proof Writing Proficiency. J. Comput. Sci. Coll. Steve Earth, Jeremy Johnson, Bruce W. Char
2023	J	`jnl`	A Study of the Perception of Mathematics as a Learning Tool for Computer Science Undergraduates. J. Comput. Sci. Coll. Bruce W. Char, John P. Dougherty
2023	J	`jnl`	A Web App for Writing with Mathematical Logic. J. Comput. Sci. Coll. Bruce W. Char, Steve Earth, Jeremy Johnson
2023	—	`conf`	Proof Buddy: A Tool to Aid Students in Proof Construction. SIGCSE (2) Steve Earth, Jeremy R. Johnson, Bruce W. Char
2023	J	`jnl`	Prove It with Proof Buddy: The Programmer's Sidekick for Learning Proof Writing. J. Comput. Sci. Coll. Steve Earth, Jeremy Johnson, Bruce W. Char
2023	—	`conf`	The Purpose of Proof. SIGCSE (2) Bruce W. Char, Peter-Michael Osera, David G. Wonnacott
2022	J	`jnl`	Modeling Player Knowledge in a Parallel Programming Educational Game. IEEE Trans. Games Pavan Kantharaju, Katelyn Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón
2022	—	`conf`	Retention and Transfer of Mathematical Thinking in the CS Curriculum. SIGCSE (2) Bruce W. Char, Steve Earth
2020	A	`conf`	Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. SIGCSE Steve Earth, Bruce W. Char, Jeremy Johnson
2020	J	`jnl`	Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach. CoRR Jichen Zhu, Katelyn Alderfer, Brian K. Smith, Bruce W. Char, Santiago Ontañón
2019	C	`conf`	Programming in game space: how to represent parallel programming concepts in an educational game. FDG Jichen Zhu, Katelyn Alderfer, Anushay Furqan, Jessica Nebolsky, Bruce W. Char, Brian K. Smith, Jennifer Villareale, Santiago Ontañón
2019	J	`jnl`	Tracing Player Knowledge in a Parallel Programming Educational Game. CoRR Pavan Kantharaju, Katelyn Bright Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón
2019	—	`conf`	Use of Maple and Möbius in an Undergraduate Course on Cryptography. MC Bruce W. Char, Jeremy R. Johnson
2018	A	`conf`	Lessons Learned From an Interactive Educational Computer Game About Concurrent Programming: (Abstract Only). SIGCSE 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
2018	—	`conf`	Tracing Player Knowledge in a Parallel Programming Educational Game. AIIDE Pavan Kantharaju, Katelyn Bright Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón
2017	—	`conf`	Designing Visual Metaphors for an Educational Game for Parallel Programming. CHI Extended Abstracts 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
2016	J	`jnl`	Automatic feedback systems for code: what can they tell the busy instructor? J. Comput. Sci. Coll. Bruce W. Char
2015	A	`conf`	Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only). SIGCSE Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan
2014	A	`conf`	A first year common course on computational problem solving and programming (abstract only). SIGCSE Bruce W. Char, Thomas T. Hewett
2007	—	`conf`	LinBox and future high performance computer algebra. PASCO Bruce W. Char, B. David Saunders, Bryan S. Youse
2007	A	`conf`	Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR Bruce W. Char, Stephen M. Watt
2005	J	`jnl`	The 2004 Benjamin Franklin Medal in Computer and Cognitive Science presented to Richard M. Karp. J. Frankl. Inst. Bruce W. Char
2004	A	`conf`	Assessment of a course redesign: introductory computer programming using online modules. SIGCSE Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski
2003	A	`conf`	Academic dishonesty in a high-tech environment. SIGCSE Jeffrey L. Popyack, Nira Herrmann, Paul Zoski, Bruce W. Char, Christopher D. Cera, Robert N. Lass
2003	B	`conf`	High-tech dishonesty: cheating, plagiarism and detection. ITiCSE Christopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski
2003	A	`conf`	Redesigning introductory computer programming using multi-level online modules for a mixed audience. SIGCSE Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa
2003	B	`conf`	The DUPLEX project. ITiCSE Christopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski
2003	B	`conf`	Tools and techniques for large scale grading using Web-based commercial off-the-shelf software. ITiCSE Robert N. Lass, Christopher D. Cera, Nathaniel T. Bomberger, Bruce W. Char, Jeffrey L. Popyack, Nira Herrmann, Paul Zoski
1999	J	`jnl`	Developing the Soliton Explorer: A problem solving environment for soliton surface investigation. SIGSAM Bull. Bruce W. Char, Anthony Harrison, Thomas T. Hewett, Ron Perline, Muksim Rakhimov
1999	B	`conf`	Symbolic Computation in Java: An Appraisement. ISSAC Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen
1998	B	`conf`	Software Components Using Symbolic Computation for Problem Solving Environments. ISSAC Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson
1997	B	`ed.`	Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997 ISSAC Bruce W. Char, Paul S. Wang, Wolfgang Küchlin
1997	J	`jnl`	Symbolic computation tools in scientific problem solving environments. SIGSAM Bull. Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner
1994	B	`conf`	Automatic Identification of Time Scales in Enzyme Kinetics Models. ISSAC Bruce W. Char, Mark F. Russo
1994	—	`conf`	Some Experiments with Parallel Bignum Arithmetic. PASCO Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack
1992	B	`conf`	An Approach for Floating-Point Error Analysis Using Computer Algebra. ISSAC Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char
1992	—	`ch.`	Ordinary Differential Equation Models: Symbolic Manipulation. Concise Encyclopedia of Modelling & Simulation Bruce W. Char
1991	—	`book`	Maple V - language reference manual. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan
1991	—	`book`	Maple V - library reference manual. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan
1990	B	`conf`	Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. ISSAC Bruce W. Char
1990	J	`jnl`	Report on the 7th annual maple workshop. SIGSAM Bull. Bruce W. Char
1989	B	`conf`	Automatic Reasoning about Numerical Stability of Rational Expressions. ISSAC Bruce W. Char
1989	J	`jnl`	Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. J. Autom. Reason. Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper
1989	J	`jnl`	GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. J. Symb. Comput. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
1988	B	`conf`	Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). ISSAC Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper
1987	—	`conf`	Expression optimization using high-level knowledge. EUROCAL Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels
1987	—	`conf`	Practical aspects of symbolic integration over Q(x). EUROCAL David M. Gillies, Bruce W. Char
1986	J	`jnl`	A Tutorial Introduction to Maple. J. Symb. Comput. Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan
1986	J	`jnl`	Computer algebra and logic programming. Integr. Bruce W. Char
1986	—	`conf`	Computer algebra in the undergraduate mathematics classroom. SYMSAC Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo
1986	—	`ed.`	Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986 SYMSAC Bruce W. Char
1984	—	`conf`	GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation. EUROSAM Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
1983	J	`jnl`	Solution of a general system of equations. SIGSAM Bull. Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes
1983	—	`conf`	The design of maple: A compact, portable and powerful computer algebra system. EUROCAL Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet
1983	J	`jnl`	The maple symbolic computation system. SIGSAM Bull. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
1981	—	`conf`	Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. SYMSACC Bruce W. Char