Grit Denker Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, David Martin, Reginald Ford, Grit Denker: Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL. International Semantic Web Conference 2009: 795-810
2008
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
2007
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson: Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems. ISWC/ASWC 2007: 750-763
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins: CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY 2007: 261-265
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister: A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta: Rewriting Logic Systems. Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007)
2005
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, Grit Denker, David Martin, Fred Gilham, John Khouri, Shahin Sadaati, Rukman Senanayake: The OWL-S Editor - A Development Tool for Semantic Web Services. ESWC 2005: 78-92
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, David Martin: Using Rules to Define the Semantics of Privacy Policies. Rule Languages for Interoperability 2005
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
2004
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Son Nguyen, Andrew Ton: OWL-S Semantics of Security Web Services: a Case Study. ESWS 2004: 240-253
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanttu Toivonen, Grit Denker: The Impact of Context on the Trustworthiness of Communication: An Ontological Approach. ISWC Workshop on Trust, Security, and Reputation on the Semantic Web 2004
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Ashri, Grit Denker, Darren Marvin, Mike Surridge, Terry R. Payne: Semantic Web Service Interaction Protocols: An Ontological Approach. International Semantic Web Conference 2004: 304-319
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLalana Kagal, Massimo Paolucci, Naveen Srinivasan, Grit Denker, Timothy W. Finin, Katia P. Sycara: Authorization and Privacy for Semantic Web Services. IEEE Intelligent Systems 19(4): 50-56 (2004)
2003
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci, Katia P. Sycara: Security for DAML Web Services: Annotation and Matchmaking. International Semantic Web Conference 2003: 335-350
2002
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger: Accessing Information and Services on the DAML-Enabled Web. SemWeb 2001
2000
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: (2000)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: (2000)
1998
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: From rewrite theories to temporal logic theories. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99 (1997)
1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: Verfeinerung in objektorientierten Spezifikationen. Infix Verlag, St. Augustin, Germany 1996
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich: Developing an Information System Using TROLL: An Application Field Study. CAiSE 1996: 136-159
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: Reification - Changing Viewpoint but Preserving Truth. COMPASS/ADT 1995: 182-199
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog: Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig: TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: Semantic Refinement of Concurrent Object Systems Based on Serializability. Object Orientation with Parallelism and Persistence 1995: 105-126
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508 (1995)
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: Transactions in Object-Oriented Specifications. COMPASS/ADT 1994: 203-218
1993
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach CAiSE 1993: 463-482
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas: Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems 1993: 201-218
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Martin Gogolla: Translating TROLL light Concepts to Maude. COMPASS/ADT 1992: 173-187
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker: Towards Semantic Foundation of Basic TROLL light Constructs. Grundlagen von Datenbanken 1992: 22-26

Coauthor Index

1Ronald Ashri [30]
2David A. Basin [22]
3Juliana Küster Filipe Bowles (Juliana Küster Filipe) [23]
4Mark van den Brand (M. G. J. van den Brand) [36]
5Linda Briesemeister [37]
6Carlos Caleiro [18] [20]
7Stefan Conrad [4] [5] [7] [9] [10] [12]
8Hans-Dieter Ehrich [3] [4] [6] [7] [10] [13] [15] [17] [20]
9Steven Eker [36]
10Daniel Elenius [35] [39] [40] [41] [42]
11Timothy W. Finin (Tim Finin) [27] [29]
12Reginald Ford [40] [42]
13Carola Gerke [13]
14Fred Gilham [35]
15Martin Gogolla [2] [4] [5] [7] [9] [10] [12] [13]
16Antonio Grau [23]
17Wolfgang Grieskamp [13]
18Peter Hartel [15] [17]
19Rudolf Herzig [4] [5] [7] [9] [10] [12] [13]
20Jerry R. Hobbs [24]
21Matthias M. Hölzl [43]
22Mark Johnson [40]
23Ralf Jungclaus [6]
24Lalana Kagal [27] [29]
25John Khouri [35]
26Mojgan Kowsari [15] [17]
27Maren Krone [15] [17]
28David Martin [34] [35] [40] [42]
29David L. Martin [24]
30Darren Marvin [30]
31Max Meier [43]
32José Meseguer [21]
33Jonathan K. Millen [23] [25] [26] [28]
34Yutaka Miyake [26]
35Srini Narayanan [24]
36Son Nguyen [32]
37Ernst-Rüdiger Olderog [13]
38Massimo Paolucci [27] [29]
39Terry R. Payne [30]
40Andy Poggio [37]
41Jaime Ramos [18]
42Franz Regensburger [13]
43Grigore Rosu [36]
44Shahin Sadaati [35]
45Rukman Senanayake [35] [39]
46Traian-Florin Serbanuta (Traian Serbanuta) [36]
47Amílcar Sernadas [3] [6] [18] [20]
48Naveen Srinivasan [29]
49Mark-Oliver Stehr [39] [41]
50Mike Surridge [30]
51Katia P. Sycara (Katia Sycara-Cyranski) [27] [29]
52Carolyn L. Talcott [21] [33] [36] [37] [38] [39]
53Santtu Toivonen [31]
54Andrew Ton [32]
55Nikolaos Vlachantonis [4] [5] [7] [9] [10]
56Richard J. Waldinger [24]
57David Wilkins [39]
58Martin Wirsing [37] [43]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)