Concepedia

Cezara Drăgoi

CD

Statistics

Publications

6

Citations

196

H-Index

6

Active since

2008

Affiliations

Centre National de la Recherche Scientifique(Current)

Institute of Science and Technology Austria

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Massachusetts Institute of Technology

Université Paris Cité

Cezara Drăgoi is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and program verification.

Publications per year

2008–2020

6

Publications

6

PSync: a partially synchronous language for fault-tolerant distributed algorithms

Cezara Drăgoi, Thomas A. Henzinger, Damien Zufferey · 2016 · 78 citations · Full text

Computing, Computer Engineering, Computer Science +17

PSync: a partially synchronous language for fault-tolerant distributed algorithms

Cezara Drăgoi, Thomas A. Henzinger, Damien Zufferey · ACM SIGPLAN Notices · 2016 · 35 citations · Full text

Computing, Computer Engineering, Computer Science +17

On inter-procedural analysis of programs with lists and data

Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al. · ACM SIGPLAN Notices · 2011 · 25 citations

Computing, Computer Science, Formal Methods +16

Accepting Networks of Evolutionary Processors with Filtered Connections

Cezara Drăgoi, Florín Manea, Victor Mitrana · Zenodo (CERN European Organization for Nuclear Research) · 2020 · 24 citations · Full text

Computing, Computer Science, Computer Networks +3

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

Cezara Drăgoi, Gheorghe Ştefănescu · Electronic Notes in Theoretical Computer Science · 2008 · 19 citations · Full text

Computing, Computer Science, Computer Systems +15

1–5 of 6