| 2008 |
|---|
| 14 | EE | Janet E. Burge,
Charles Wallace:
Teaching Communication Skills in the Software Engineering Curriculum.
CSEE&T 2008: 265-266 |
| 2007 |
|---|
| 13 | EE | Ann Brady,
Marika Seigel,
Thomas Vosecky,
Charles Wallace:
Addressing Communication Issues in Software Development: A Case Study Approach.
CSEE&T 2007: 301-308 |
| 12 | EE | Robert Pastel,
Charles Wallace,
Jesse Heines:
RFID Cards: A New Deal for Elderly Accessibility.
HCI (5) 2007: 990-999 |
| 11 | EE | Yuri Gurevich,
Margus Veanes,
Charles Wallace:
Can abstract state machines be useful in language theory?
Theor. Comput. Sci. 376(1-2): 17-29 (2007) |
| 2006 |
|---|
| 10 | EE | Charles Wallace,
Xinli Wang,
Virginia Bluth:
Instruction in Problem Structuring and Analysis Through Problem Frames.
CSEE&T 2006: 185-186 |
| 9 | EE | Yuri Gurevich,
Charles Wallace:
Can Abstract State Machines Be Useful in Language Theory?.
Developments in Language Theory 2006: 14-19 |
| 2004 |
|---|
| 8 | EE | William Kuchera,
Charles Wallace:
The UPC Memory Model: Problems and Prospects.
IPDPS 2004 |
| 2003 |
|---|
| 7 | EE | Varsha Awhad,
Charles Wallace:
A Unified Formal Specification and Analysis of the New Java Memory Models.
Abstract State Machines 2003: 166-185 |
| 6 | EE | James Huggins,
Jean Mayo,
Charles Wallace:
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Abstract State Machines 2003: 414 |
| 2002 |
|---|
| 5 | | Charles Wallace,
Guy Tremblay,
José Nelson Amaral:
On the Tamability of the Location Consistency Memory Model.
PDPTA 2002: 1542-1550 |
| 2001 |
|---|
| 4 | EE | Charles Wallace,
Guy Tremblay,
José Nelson Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
J. UCS 7(11): 1088-1112 (2001) |
| 2000 |
|---|
| 3 | EE | Yuri Gurevich,
Wolfram Schulte,
Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines.
Abstract State Machines 2000: 151-176 |
| 1997 |
|---|
| 2 | EE | Yuri Gurevich,
Nandit Soparkar,
Charles Wallace:
Formalizing Database Recovery.
J. UCS 3(4): 320-340 (1997) |
| 1995 |
|---|
| 1 | | Charles Wallace,
Yuri Gurevich,
Nandit Soparkar:
Formalizing Recovery in Transaction-Oriented Database Systems.
COMAD 1995: 0- |
