BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Greece
Collaborated with:
C.L.Talcott H.Ehrich J.K.Millen D.A.Basin J.Meseguer A.Sernadas M.Wirsing A.Poggio L.Briesemeister M.Krone M.Kowsari P.Hartel G.Rosu M.v.d.Brand S.Eker T.Serbanuta N.Vlachantonis R.Herzig M.Gogolla S.Conrad
Talks about:
rewrit (5) system (4) logic (3) protocol (2) theori (2) object (2) inform (2) use (2) experiment (1) constraint (1)

Person: Grit Denker

DBLP DBLP: Denker:Grit

Facilitated 1 volumes:

WRLA 2006Ed

Contributed to:

WRLA 20062007
WRLA 20042005
WRLA 20022002
WRLA 20002000
WRLA 19981998
CAiSE 19961996
CAiSE 19931993

Wrote 10 papers:

WRLA-2006-DenkerTRBES07 #logic
Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.
WRLA-2006-WirsingDTPB07 #constraints #framework #logic
A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
WRLA-2004-DenkerT05 #dependence
Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.
WRLA-2002-DenkerM #communication #modelling #multi #protocol #term rewriting #using
Modeling Group Communication Protocols Using Multiset Term Rewriting (GD, JKM), pp. 20–39.
WRLA-2000-BasinD #analysis #comparison #haskell #maude #protocol #security
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.
WRLA-2000-DenkerMT #composition #distributed #semantics
Rewriting Semantics of Meta-Objects and Composable Distributed Services (GD, JM, CLT), pp. 405–425.
WRLA-1998-Denker #logic
From rewrite theories to temporal logic theories (GD), pp. 105–126.
CAiSE-1996-KroneKHDE #case study #information management #using
Developing an Information System Using TROLL: An Application Field Study (MK, MK, PH, GD, HDE), pp. 136–159.
CAiSE-1993-VlachantonisHGDCE #approach #information management #reliability #towards
Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.
TAPSOFT-1993-EhrichDS #community
Constructing Systems as Object Communities (HDE, GD, AS), pp. 453–467.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.