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: Denker:Grit
Facilitated 1 volumes:
EdContributed to:
20072005200220001998
19961993
1993Wrote 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.