Detlef Kähler
From MaRDI portal
Person:2726354
Available identifiers
zbMath Open kahler.detlefMaRDI QIDQ2726354
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Deciding strategy properties of contract-signing protocols | 2015-09-17 | Paper |
Complementation, Disambiguation, and Determinization of Büchi Automata Unified | 2008-08-28 | Paper |
A Dolev-Yao-Based Definition of Abuse-Free Protocols | 2007-09-11 | Paper |
Computer Science Logic | 2007-06-21 | Paper |
CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
STACS 2005 | 2005-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2726355 | 2001-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4509398 | 2000-11-21 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Detlef Kähler