default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBruce W. Char
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Bruce W. Char
, Jeremy Johnson, Steve Earth:
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. SIGCSE (2) 2024: 1931- 2023
- [c33]Bruce W. Char, Peter-Michael Osera, David G. Wonnacott:
The Purpose of Proof. SIGCSE (2) 2023: 1256 - [c32]Steve Earth, Jeremy R. Johnson, Bruce W. Char:
Proof Buddy: A Tool to Aid Students in Proof Construction. SIGCSE (2) 2023: 1259 - 2022
- [j11]Pavan Kantharaju, Katelyn Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón:
Modeling Player Knowledge in a Parallel Programming Educational Game. IEEE Trans. Games 14(1): 64-75 (2022) - [c31]Bruce W. Char, Steve Earth:
Retention and Transfer of Mathematical Thinking in the CS Curriculum. SIGCSE (2) 2022: 1183 - 2020
- [c30]Steve Earth, Bruce W. Char, Jeremy Johnson:
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. SIGCSE 2020: 1356 - [i2]Jichen Zhu, Katelyn Alderfer, Brian K. Smith, Bruce W. Char, Santiago Ontañón:
Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach. CoRR abs/2005.04789 (2020)
2010 – 2019
- 2019
- [c29]Jichen Zhu, Katelyn Alderfer, Anushay Furqan, Jessica Nebolsky, Bruce W. Char, Brian K. Smith, Jennifer Villareale, Santiago Ontañón:
Programming in game space: how to represent parallel programming concepts in an educational game. FDG 2019: 4:1-4:10 - [c28]Bruce W. Char, Jeremy R. Johnson:
Use of Maple and Möbius in an Undergraduate Course on Cryptography. MC 2019: 230-244 - [i1]Pavan Kantharaju, Katelyn Bright Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón:
Tracing Player Knowledge in a Parallel Programming Educational Game. CoRR abs/1908.05632 (2019) - 2018
- [c27]Pavan Kantharaju, Katelyn Bright Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón:
Tracing Player Knowledge in a Parallel Programming Educational Game. AIIDE 2018: 173-179 - [c26]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:
Lessons Learned From an Interactive Educational Computer Game About Concurrent Programming: (Abstract Only). SIGCSE 2018: 1077 - 2017
- [c25]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:
Designing Visual Metaphors for an Educational Game for Parallel Programming. CHI Extended Abstracts 2017: 2818-2824 - 2015
- [c24]Bruce W. Char, Jeffrey L. Popyack, Jeremy Johnson, William M. Mongan:
Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only). SIGCSE 2015: 696 - 2014
- [c23]Bruce W. Char, Thomas T. Hewett:
A first year common course on computational problem solving and programming (abstract only). SIGCSE 2014: 713
2000 – 2009
- 2007
- [c22]Bruce W. Char, Stephen M. Watt:
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR 2007: 1198-1202 - [c21]Bruce W. Char, B. David Saunders, Bryan S. Youse:
LinBox and future high performance computer algebra. PASCO 2007: 102-103 - 2005
- [j10]Bruce W. Char:
The 2004 Benjamin Franklin Medal in Computer and Cognitive Science presented to Richard M. Karp. J. Frankl. Inst. 342(6): 629-637 (2005) - 2004
- [c20]Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski:
Assessment of a course redesign: introductory computer programming using online modules. SIGCSE 2004: 66-70 - 2003
- [c19]Robert N. Lass, Christopher D. Cera, Nathaniel T. Bomberger, Bruce W. Char, Jeffrey L. Popyack, Nira Herrmann, Paul Zoski:
Tools and techniques for large scale grading using Web-based commercial off-the-shelf software. ITiCSE 2003: 168-172 - [c18]Christopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski:
High-tech dishonesty: cheating, plagiarism and detection. ITiCSE 2003: 244 - [c17]Christopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski:
The DUPLEX project. ITiCSE 2003: 259 - [c16]Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa:
Redesigning introductory computer programming using multi-level online modules for a mixed audience. SIGCSE 2003: 196-200 - [c15]Jeffrey L. Popyack, Nira Herrmann, Paul Zoski, Bruce W. Char, Christopher D. Cera, Robert N. Lass:
Academic dishonesty in a high-tech environment. SIGCSE 2003: 357-358
1990 – 1999
- 1999
- [j9]Bruce W. Char, Anthony Harrison, Thomas T. Hewett, Ron Perline, Muksim Rakhimov:
Developing the Soliton Explorer: A problem solving environment for soliton surface investigation. SIGSAM Bull. 33(3): 22-23 (1999) - [c14]Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen:
Symbolic Computation in Java: An Appraisement. ISSAC 1999: 237-244 - 1998
- [c13]Yagati N. Lakshman, Bruce W. Char, Jeremy Johnson:
Software Components Using Symbolic Computation for Problem Solving Environments. ISSAC 1998: 46-53 - 1997
- [j8]Bruce W. Char, Thomas T. Hewett, Jeremy Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner:
Symbolic computation tools in scientific problem solving environments. SIGSAM Bull. 31(3): 58 (1997) - [e2]Bruce W. Char, Paul S. Wang, Wolfgang Küchlin:
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4 [contents] - 1994
- [c12]Bruce W. Char, Mark F. Russo:
Automatic Identification of Time Scales in Enzyme Kinetics Models. ISSAC 1994: 74-83 - [c11]Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack:
Some Experiments with Parallel Bignum Arithmetic. PASCO 1994: 94-103 - 1992
- [c10]Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char:
An Approach for Floating-Point Error Analysis Using Computer Algebra. ISSAC 1992: 284-293 - [r1]Bruce W. Char:
Ordinary Differential Equation Models: Symbolic Manipulation. Concise Encyclopedia of Modelling & Simulation 1992: 317-319 - 1991
- [b2]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan:
Maple V - language reference manual. Springer 1991, ISBN 978-0-387-97622-8, pp. I-XV, 1-267 - [b1]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan:
Maple V - library reference manual. Springer 1991, ISBN 978-0-387-97592-4, pp. I-XXV, 1-698 - 1990
- [j7]Bruce W. Char:
Report on the 7th annual maple workshop. SIGSAM Bull. 24(1): 18 (1990) - [c9]Bruce W. Char:
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. ISSAC 1990: 96-103
1980 – 1989
- 1989
- [j6]Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper:
Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. J. Autom. Reason. 5(3): 339-362 (1989) - [j5]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. J. Symb. Comput. 7(1): 31-48 (1989) - [c8]Bruce W. Char:
Automatic Reasoning about Numerical Stability of Rational Expressions. ISSAC 1989: 234-241 - 1988
- [c7]Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper:
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). ISSAC 1988: 109-115 - 1987
- [c6]Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels:
Expression optimization using high-level knowledge. EUROCAL 1987: 64-70 - [c5]David M. Gillies, Bruce W. Char:
Practical aspects of symbolic integration over Q(x). EUROCAL 1987: 463-464 - 1986
- [j4]Bruce W. Char:
Computer algebra and logic programming. Integr. 4(3): 271-274 (1986) - [j3]Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan:
A Tutorial Introduction to Maple. J. Symb. Comput. 2(2): 179-200 (1986) - [c4]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo:
Computer algebra in the undergraduate mathematics classroom. SYMSAC 1986: 135-140 - [e1]Bruce W. Char:
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986. ACM 1986, ISBN 0-89791-199-7 [contents] - 1984
- [c3]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation. EUROSAM 1984: 285-296 - 1983
- [j2]Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
The maple symbolic computation system. SIGSAM Bull. 17(3-4): 31-42 (1983) - [j1]Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes:
Solution of a general system of equations. SIGSAM Bull. 17(3-4): 48-49 (1983) - [c2]Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet:
The design of maple: A compact, portable and powerful computer algebra system. EUROCAL 1983: 101-115 - 1981
- [c1]Bruce W. Char:
Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. SYMSACC 1981: 44-50
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
