|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 14 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
On the Semantics of Purpose Requirements in Privacy Policies |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Jeannette M. Wing |
Formal Methods for Privacy. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Jeannette M. Wing |
Extracting Conditional Confidentiality Policies. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Shriram Krishnamurthi |
Towards reasonability properties for access-control policy languages. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
access control, modularity, policy |
| 1 | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz |
Verification and change-impact analysis of access-control policies. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
verification, XACML, decision diagram, change-impact analysis, access-control policies |
| 1 | Michael Benisch, Amy Greenwald, Ioanna Grypari, Roger Lederman, Victor Naroditskiy, Michael Carl Tschantz |
Botticelli: a supply chain management agent designed to optimize under uncertainty. |
SIGecom Exchanges |
2004 |
DBLP DOI BibTeX RDF |
supply chain management, trading agents, bidding agents |
| 1 | Michael Benisch, Amy Greenwald, Victor Naroditskiy, Michael Carl Tschantz |
A stochastic programming approach to scheduling in TAC SCM. |
ACM Conference on Electronic Commerce |
2004 |
DBLP DOI BibTeX RDF |
optimization, supply chain management, stochastic programming, trading agent competition |
| 1 | Michael Benisch, Amy Greenwald, Ioanna Grypari, Reeva M. Lederman, Victor Naroditskiy, Michael Carl Tschantz |
Botticelli: A Supply Chain Management Agent. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")