Follow
Charles Wallace
Charles Wallace
Professor of Computer Science, Michigan Technological University
Verified email at mtu.edu - Homepage
Title
Cited by
Cited by
Year
The semantics of the C++ programming language
C Wallace
Specification and Validation Methods, 131-164, 1993
1111993
Modelling competencies for computing education beyond 2020: a research based approach to defining competencies in the computing disciplines
S Frezza, M Daniels, A Pears, Å Cajander, V Kann, A Kapoor, ...
Proceedings Companion of the 23rd Annual ACM Conference on Innovation and …, 2018
772018
Automated critique of early programming antipatterns
LC Ureel II, C Wallace
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
422019
The semantics of the Java programming language: Preliminary version
C Wallace
Technical Report CSE-TR-355-97, University of Michigan EECS Department …, 1997
321997
Lessons from our elders: identifying obstacles to digital literacy through direct engagement
S Kumar, LC Ureel, H King, C Wallace
Proceedings of the 6th international conference on pervasive technologies …, 2013
302013
An abstract state machine primer
J Huggins, C Wallace
Technical Report CS-TR-02-04, Computer Science Department, Michigan …, 2002
302002
Supervisory control of workflow scheduling
C Wallace, P Jensen, N Soparkar
Advanced transaction models and architectures workshop (ATMA), Goa, India, 1996
291996
Formalizing Database Recovery.
Y Gurevich, N Soparkar, C Wallace
J. Univers. Comput. Sci. 3 (4), 320-340, 1997
281997
Guidance for exploratory testing through problem frames
S Kumar, C Wallace
2013 26th International Conference on Software Engineering Education and …, 2013
252013
Modeling global competencies for computing education
S Frezza, A Pears, M Daniels, V Kann, A Kapoor, R McDermott, AK Peters, ...
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology …, 2018
222018
nvestigating Java Concurrency Using Abstract State Machines
Y Gurevich, W Schulte, C Wallace
International Workshop on Abstract State Machines, 151-176, 2000
212000
Breaking barriers to digital literacy: an intergenerational social-cognitive approach
K Atkinson, J Barnes, J Albee, P Anttila, J Haataja, K Nanavati, ...
Proceedings of the 18th International ACM SIGACCESS Conference on Computers …, 2016
202016
The UPC memory model: Problems and prospects
W Kuchera, C Wallace
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
202004
Can abstract state machines be useful in language theory?
Y Gurevich, M Veanes, C Wallace
Theoretical Computer Science 376 (1-2), 17-29, 2007
182007
A proposal for a UPC memory consistency model
K Yelick, D Bonachea, C Wallace
Lawrence Berkeley National, Tech. Rep. LBNL-54983, 2004
172004
Instruction in software project communication through guided inquiry and reflection
S Kumar, C Wallace
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-9, 2014
162014
Scrum across the CS/SE curricula: A retrospective
C Wallace, S Mohan, D Troy, ME Hoffman
Proceedings of the 43rd ACM technical symposium on Computer Science …, 2012
162012
5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene
I Pollock, B Alshaigy, A Bradley, BR Krogstie, V Kumar, L Ott, AK Peters, ...
Proceedings of the Working Group Reports on Innovation and Technology in …, 2019
152019
Mentoring trajectories in an evolving agile workplace
S Kumar, C Wallace, M Young
Proceedings of the 38th International Conference on Software Engineering …, 2016
152016
Breaking digital barriers: A social-cognitive approach to improving digital literacy in older adults
KS Steelman, KL Tislar, LC Ureel, C Wallace
HCI International 2016–Posters' Extended Abstracts: 18th International …, 2016
152016
The system can't perform the operation now. Try again later.
Articles 1–20