Berk Cirisci | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙