Cezara Drăgoi

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
Communication-closed asynchronous protocols Computer Aided Verification	2024-02-16	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
Implementation and verification of ring termination detection protocols using structured rv-systems	2013-01-14	Paper
Accurate invariant checking for programs manipulating lists and arrays with infinite data Automated Technology for Verification and Analysis	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 Lecture Notes in Computer Science	2012-06-15	Paper
A Logic-Based Framework for Reasoning about Composite Data Structures CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Logical Methods in Computer Science	2009-06-30	Paper
ON THE DESCRIPTIONAL COMPLEXITY OF ACCEPTING NETWORKS OF EVOLUTIONARY PROCESSORS WITH FILTERED CONNECTIONS International Journal of Foundations of Computer Science	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 SOFSEM 2008: Theory and Practice of Computer Science	2008-03-07	Paper

Research outcomes over time

This page was built for person: Cezara Drăgoi