dblp.uni-trier.dewww.uni-trier.de

Charles Wallace Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
14EEJanet E. Burge, Charles Wallace: Teaching Communication Skills in the Software Engineering Curriculum. CSEE&T 2008: 265-266
2007
13EEAnn Brady, Marika Seigel, Thomas Vosecky, Charles Wallace: Addressing Communication Issues in Software Development: A Case Study Approach. CSEE&T 2007: 301-308
12EERobert Pastel, Charles Wallace, Jesse Heines: RFID Cards: A New Deal for Elderly Accessibility. HCI (5) 2007: 990-999
11EEYuri Gurevich, Margus Veanes, Charles Wallace: Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007)
2006
10EECharles Wallace, Xinli Wang, Virginia Bluth: Instruction in Problem Structuring and Analysis Through Problem Frames. CSEE&T 2006: 185-186
9EEYuri Gurevich, Charles Wallace: Can Abstract State Machines Be Useful in Language Theory?. Developments in Language Theory 2006: 14-19
2004
8EEWilliam Kuchera, Charles Wallace: The UPC Memory Model: Problems and Prospects. IPDPS 2004
2003
7EEVarsha Awhad, Charles Wallace: A Unified Formal Specification and Analysis of the New Java Memory Models. Abstract State Machines 2003: 166-185
6EEJames 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
4EECharles 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
3EEYuri Gurevich, Wolfram Schulte, Charles Wallace: Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines 2000: 151-176
1997
2EEYuri 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-

Coauthor Index

1José Nelson Amaral (José N. Amaral) [4] [5]
2Varsha Awhad [7]
3Virginia Bluth [10]
4Ann Brady [13]
5Janet E. Burge [14]
6Yuri Gurevich [1] [2] [3] [9] [11]
7Jesse Heines [12]
8James Huggins [6]
9William Kuchera [8]
10Jean Mayo [6]
11Robert Pastel [12]
12Wolfram Schulte [3]
13Marika Seigel [13]
14Nandit Soparkar [1] [2]
15Guy Tremblay [4] [5]
16Margus Veanes [11]
17Thomas Vosecky [13]
18Xinli Wang [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)