Grit Denker

	2009
43		Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
42		Daniel 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
41		Daniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
	2007
40		Daniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson: Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems. ISWC/ASWC 2007: 750-763
39		Daniel 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
38		Grit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)
37		Martin 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)
36		Grit 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
35		Daniel 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
34		Grit Denker, David Martin: Using Rules to Define the Semantics of Privacy Policies. Rule Languages for Interoperability 2005
33		Grit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
	2004
32		Grit Denker, Son Nguyen, Andrew Ton: OWL-S Semantics of Security Web Services: a Case Study. ESWS 2004: 240-253
31		Santtu 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
30		Ronald 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
29		Lalana 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
28		Jonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-
27		Grit 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
26		Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
25		Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: (2002)
	2001
24		Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger: Accessing Information and Services on the DAML-Enabled Web. SemWeb 2001
	2000
23		Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
22		David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: (2000)
21		Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: (2000)
	1998
20		Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
19		Grit Denker: From rewrite theories to temporal logic theories. Electr. Notes Theor. Comput. Sci. 15: (1998)
	1997
18		Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
17		Peter 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
16		Grit Denker: Verfeinerung in objektorientierten Spezifikationen. Infix Verlag, St. Augustin, Germany 1996
15		Maren 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
14		Grit Denker: Reification - Changing Viewpoint but Preserving Truth. COMPASS/ADT 1995: 182-199
13		Hans-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
12		Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig: TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222
11		Grit Denker: Semantic Refinement of Concurrent Object Systems Based on Serializability. Object Orientation with Parallelism and Persistence 1995: 105-126
10		Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995)
9		Martin 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
8		Grit Denker: Transactions in Object-Oriented Specifications. COMPASS/ADT 1994: 203-218
	1993
7		Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach CAiSE 1993: 463-482
6		Hans-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
5		Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
4		Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469
3		Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467
	1992
2		Grit Denker, Martin Gogolla: Translating TROLL light Concepts to Maude. COMPASS/ADT 1992: 173-187
1		Grit Denker: Towards Semantic Foundation of Basic TROLL light Constructs. Grundlagen von Datenbanken 1992: 22-26

Coauthor Index

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

Colors in the list of coauthors