Radu Mereuta | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ştefan Ciobâcă
10 publications
Paul Diac
9 publications
Traian Florin Serbanuta
5 publications
Grigore Rosu
4 publications
Brandon Moore
3 publications
Liana Tucar
3 publications
Andrei Stefanescu
2 publications

research

∙ 09/10/2019

Extending the Service Composition Formalism with Relational Parameters

Web Service Composition deals with the (re)use of Web Services to provid...

0 Paul Diac, 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. ∙