Damien Zufferey

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
Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types (available as arXiv preprint)	2024-02-08	Paper
Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types	2024-02-08	Paper
Complete multiparty session type projection with automata	2024-02-01	Paper
Interpolants in nonlinear theories over the reals	2019-09-17	Paper
Evolutionary game dynamics in populations with different learners Journal of Theoretical Biology	2018-09-26	Paper
\textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
A logic-based framework for verifying consensus algorithms Lecture Notes in Computer Science	2015-01-13	Paper
Structural Counter Abstraction Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Ideal abstractions for well-structured transition systems Lecture Notes in Computer Science	2012-06-15	Paper
Forward analysis of depth-bounded processes Foundations of Software Science and Computational Structures	2010-04-27	Paper

Research outcomes over time

This page was built for person: Damien Zufferey