Cezara Drăgoi

Available identifiers

Publication	Date of Publication	Type
Communication-closed asynchronous protocols	2024-02-16	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
https://portal.mardi4nfdi.de/entity/Q4902258	2013-01-14	Paper
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data	2012-11-21	Paper
Rewriting systems over nested data words	2012-09-28	Paper
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data	2012-06-15	Paper
A Logic-Based Framework for Reasoning about Composite Data Structures	2009-10-22	Paper
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes	2009-06-30	Paper
ON THE DESCRIPTIONAL COMPLEXITY OF ACCEPTING NETWORKS OF EVOLUTIONARY PROCESSORS WITH FILTERED CONNECTIONS	2008-12-01	Paper
Accepting networks of evolutionary processors with filtered connections	2008-08-07	Paper
On Compiling Structured Interactive Programs with Registers and Voices	2008-03-07	Paper

This page was built for person: Cezara Drăgoi