Berk Cirisci | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Constantin Enea
23 publications
Azadeh Farzan
7 publications
Suha Orhun Mutluergil
4 publications

research

∙ 01/24/2023

Quorum Tree Abstractions of Consensus Protocols

Distributed algorithms solving agreement problems like consensus or stat...

0 Berk Cirisci, et al. ∙

research

∙ 11/22/2022

A Pragmatic Approach to Stateful Partial Order Reduction

Partial order reduction (POR) is a classic technique for dealing with th...

0 Berk Cirisci, et al. ∙