Please contact me at Grit.Denker@sri.com if you would like to obtain digital versions of publications

Publications 2009-2011

  • Document Logic: Risk Analysis of Business Processes Through Document Authenticity

    Grit Denker, Dragan Gasevic, Jens Dietrich, Sylvain Halle, Georg Grossmann (guest editors)

    in Dynamic and Declarative Business Processes Special Issue in Journal Research and Practice in Information Technology (DDBP Special Issue in JRPIT)

  • Policy-Based Data Downgrading: Toward A Semantic Framework and Automated Tools to Balance Need-To-Protect and Need-To-Share Policies

    in 2010 IEEE International Symposium on Policies for Distributed Systems and Networks

  • Constraint-Muse: A Soft-Constraint Based System for Music Therapy

    M. Hoelzl, G. Denker, M. Meier, M. Wirsing.

    In Proc. 3rd Conference on Algebra and Coalgebra in Computer Scicnce, CALCO-tools track, September 6-10, 2009, Udine, Italy, Springer, LNCS 5728.

  • Document Logic: Risk Analysis of Business Processes Through Document Authenticity

    S. Iida, G. Denker, C. Talcott.

    In Proc. 2nd Int. Workshop on Dynamic and Declarative Business Processes (DDBP 2009). Sept 2009, Auckland, New Zealand.

    Invited to special issue on Dynamic and Declarative Business Processes of the International Journal of Business Process Integration and Management (IJBPIM)

    Guest editors D. Gasevic, T. Grarml, S. Halle, R. Villemaire

  • Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL

    D. Elenius, D. Martin, R. Ford, G. Denker.

    In Proc. 8th Int. Semantic Web Conference 2009, Semantic Web in Use Track, Chantilly, VA, USA, October 25-29, 2009, Springer, LNCS 5823.

  • Achieving Systems Interoperability with Capability and Task Modeling

    D. Martin, G. Denker, D. Elenius, R. Ford, and M. Johnson.

    Demo track at ISWC 2009.

  • A Semantic Web Reasoner for Rules, Equations and Constraints

    D. Elenius, G. Denker and M-O. Stehr.

    In 2nd Int. Conference on Web Reasoning and Rule Systems (RR2008), co-located with ISWC 2009.

  • Cognitive Radio Policy Language and Policy Engine

    G. Denker, D. Elenius and D. Wilkins.

    In Cognitive Radio Technology, 2nd edition. B. Fette (ed), Elsevier, publication date March 2009.

Publications 2006-2007

  • Policy-Based Cognitive Radios

    David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, and Carolyn Talcott.

    IEEE Wireless Communications, Special Issue on Cognitive Wireless Networks. 2007

  • CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies

    Daniel Elenius, grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn Talcott, David Wilkins.

    2007 IEEE Workshop on Policies for Distributed Systems and Networks, Bologna, Italy on June 13-15, 2007

  • A Policy Engine for Spectrum Sharing

    Grit Denker, Daniel Elenius, Rukman Senanayake, Mark-Oliver Stehr, David Wilkins.

    In Proc. IEEE DySPAN 2007 Conference, Dublin, Ireland on April 17-20, 2007

  • Demonstration of a Policy Engine for Spectrum Sharing

    Grit Denker, Daniel Elenius, Rukman Senanayake, Mark-Oliver Stehr, David Wilkins, Christina M. Conway, Robert A. Newell.

    Paper accompanying system demonstration at IEEE DySPAN 2007 Conference, Dublin, Ireland on April 17-20, 2007

  • Cognitive Policy Radio Language (CoRaL) A Language for Spectrum Policies - XG Policy Language

    Grit Denker, Daniel Elenius, Mark-Oliver Stehr, Carolyn talcott, David Wilkins.

    Technical Report

  • An Architecture for Policy-Based Cognitive Tactical Networking

    Grit Denker, Carolyn Talcott, Reza Ghanadan, and Srikanta Kumar.

    In Proc. Military Communications Conference (MILCOM) 2006, 23-25 October 2006, Washington D.C.

  • Policy Specification and Enforcement for Spectrum-Agile Radios

    Invited Paper to Semantic Web Policy Workshop at the 5th Intern. Semantic Web Conferences, Nov 5-9, 2006, Georgia, Athens.

  • A Rewriting Logic Framework for Soft Constraints

    Martin Wirsing, Grit Denker, Carolyn Talcott, Andy Poggio, and Linda Briesemeister.

    In Proc. 6th International Workshop on Rewriting Logic and Its Applications (WRLA2006), Vienna, Austria, April 1-2, 2006.

Publications 2005

  • Security in the Semantic Web Using OWL

    In Information Security Technical Report (ISTR) Journal, February 2005

  • The OWL-S Editor A Development Tool for Semantic Web Services

    G. Denker D. Elenius, D. Martin, F. Gilham, J. Khouri, S. Sadaati, R. Senanyake

    European Semantic Web Conference, ESWC 2005 and Presentation at the Demos and Posters Session of ESWC.

  • Towards Integrated Specification and Analysis of Machine-Readable Policies Using Maude

    G. Denker, R. Senanayake, J. Pearce

    (SJSU), Workshop on Semantic Web and Policies at International Semantic Web Conference 2005

  • Compliance Checking of Privacy Policies for Semantic Web Services with S. Nguyen (SJSU) at Joint Conferences on Information System, Workshop on Web Intelligence and Security, 2005

  • OWL-S Editor

    Grit Denker, David Martin

    tool demonstration and accompanying paper at the Semantic Web for Applications in National Security (SWANS) conference, 2005

  • Using Rules To Define Semantics of Privacy Rules

    W3C Rule Language Workshop, 2005

  • A Formal Framework for Goal Net Analysis

    Grint Denker, Carolyn Talcott

    Verification and Validation of Planning and Scheduling Workshop, 2005