Grigore Rosu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jing Chen
30 publications
Ştefan Ciobâcă
10 publications
Karl Palmskog
9 publications
Traian Florin Serbanuta
5 publications
Ali Kheradmand
4 publications
Lucas Peña
4 publications
Brandon Moore
3 publications
Radu Mereuta
2 publications
Elaine Li
2 publications
Andrei Stefanescu
2 publications
Mircea Sebe
1 publication

research

∙ 10/05/2020

Specification of the Giskard Consensus Protocol

The Giskard consensus protocol is used to validate transactions and comp...

0 Elaine Li, et al. ∙

research

∙ 07/11/2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq

The Algorand blockchain is a secure and decentralized public ledger base...

0 Musab A. Alturki, et al. ∙

research

∙ 10/25/2018

All-Path Reachability Logic

This paper presents a language-independent proof system for reachability...

0 Andrei Stefanescu, et al. ∙

research

∙ 04/04/2018

P4K: A Formal Semantics of P4 and Applications

Programmable packet processors and P4 as a programming language for such...

0 Ali Kheradmand, et al. ∙

Success!

An error occurred