Dmitriy Traytel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ezio Bartocci
43 publications
Cesar Sanchez
22 publications
Adrian Francalanza
20 publications
Dejan Nickovic
18 publications
David Basin
18 publications
Gerardo Schneider
16 publications
Domenico Bianculli
15 publications
Yliès Falcone
12 publications
Wolfgang Ahrendt
7 publications
Christian Colombo
6 publications
Gordon J. Pace
5 publications

research

∙ 10/18/2022

Efficient Evaluation of Arbitrary Relational Calculus Queries

The relational calculus (RC) is a concise, declarative query language. H...

0 Martin Raszyk, et al. ∙

research

∙ 04/12/2021

Quotients of Bounded Natural Functors

The functorial structure of type constructors is the foundation for many...

0 Basil Fürer, et al. ∙

research

∙ 11/16/2018

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Runtime verification is an area of formal methods that studies the dynam...

0 Cesar Sanchez, et al. ∙

Success!

An error occurred