Damien Zufferey

Available identifiers

zbMath Open zufferey.damienMaRDI QIDQ1784330

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6191022	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	2018-09-26	Paper
\textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms	2016-10-24	Paper
A Logic-Based Framework for Verifying Consensus Algorithms	2015-01-13	Paper
Structural Counter Abstraction	2013-08-05	Paper
Ideal Abstractions for Well-Structured Transition Systems	2012-06-15	Paper
Forward Analysis of Depth-Bounded Processes	2010-04-27	Paper

Research outcomes over time

This page was built for person: Damien Zufferey