Christoph Sprenger

Available identifiers

zbMath Open sprenger.christophMaRDI QIDQ937299

List of research outcomes

Publication	Date of Publication	Type
Cutoff bounds for consensus algorithms	2022-08-12	Paper
Sound Security Protocol Transformations	2013-08-06	Paper
A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols	2008-09-02	Paper
Compositional verification of sequential programs with procedures	2008-08-14	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
On global induction mechanisms in aμ-calculus with explicit approximations	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4417874	2003-07-30	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: Christoph Sprenger