Christoph Wagner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
FTMPST: fault-tolerant multiparty session types Logical Methods in Computer Science	2024-01-16	Paper
Fault-tolerant multiparty session types Lecture Notes in Computer Science	2022-08-19	Paper
Encoding CSP into CCS	2021-12-03	Paper
Encoding CSP into CCS (available as arXiv preprint)	2021-12-03	Paper
States in process calculi	2021-06-23	Paper
States in process calculi (available as arXiv preprint)	2021-06-23	Paper
Taming concurrency for verification using multiparty session types (available as arXiv preprint)	2019-12-12	Paper
Topological Self-Stabilization with Name-Passing Process Calculi	2018-03-21	Paper
Informed-principal problem with moral hazard, risk neutrality, and no limited liability Journal of Economic Theory	2015-12-22	Paper
scientific article; zbMATH DE number 5723836 (Why is no real title available?)	2010-06-21	Paper
Cross- and Autocorrelation in Multi-Period Credit Portfolio Models Applied Quantitative Finance	2008-12-01	Paper
An Introduction to Credit Risk Modeling	2005-04-06	Paper
Lyapunov instability for a hard-disk fluid in equilibrium and nonequilibrium thermostated by deterministic scattering Journal of Statistical Physics	2002-09-05	Paper
Traffic flow models considering an internal degree of freedom Journal of Statistical Physics	2000-11-02	Paper

Research outcomes over time

This page was built for person: Christoph Wagner