 | 2009 |
|---|
| 7 |       | Michael Carl Tschantz,
Jeannette M. Wing:
Formal Methods for Privacy.
FM 2009: 1-15 |
| 2008 |
|---|
| 6 | | Michael Carl Tschantz,
Jeannette M. Wing:
Extracting Conditional Confidentiality Policies.
SEFM 2008: 107-116 |
| 2006 |
|---|
| 5 | | Michael Carl Tschantz,
Shriram Krishnamurthi:
Towards reasonability properties for access-control policy languages.
SACMAT 2006: 160-169 |
| 2005 |
|---|
| 4 | | Kathi Fisler,
Shriram Krishnamurthi,
Leo A. Meyerovich,
Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies.
ICSE 2005: 196-205 |
| 2004 |
|---|
| 3 | | Michael Benisch,
Amy R. Greenwald,
Ioanna Grypari,
Reeva M. Lederman,
Victor Naroditskiy,
Michael Carl Tschantz:
Botticelli: A Supply Chain Management Agent.
AAMAS 2004: 1174-1181 |
| 2 | | Michael Benisch,
Amy R. Greenwald,
Victor Naroditskiy,
Michael Carl Tschantz:
A stochastic programming approach to scheduling in TAC SCM.
ACM Conference on Electronic Commerce 2004: 152-159 |
| 1 | | Michael Benisch,
Amy R. Greenwald,
Ioanna Grypari,
Roger Lederman,
Victor Naroditskiy,
Michael Carl Tschantz:
Botticelli: a supply chain management agent designed to optimize under uncertainty.
SIGecom Exchanges 4(3): 29-37 (2004) |
