Cezara Dragoi

Available identifiers

zbMath Open dragoi.cezaraMaRDI QIDQ2828284

List of research outcomes

Publication	Date of Publication	Type
Communication-closed asynchronous protocols	2024-02-16	Paper
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
https://portal.mardi4nfdi.de/entity/Q3518410	2008-08-07	Paper
On Compiling Structured Interactive Programs with Registers and Voices	2008-03-07	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: Cezara Dragoi