Nikolay Shilov | DeepAI

DeepAI

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

Featured Co-authors

Marie Farrell
18 publications
Nikolai Kudasov
6 publications
James Davenport
5 publications
Sebastian Krings
4 publications
Markus Roggenbach
4 publications
Magne Haveraaen
3 publications
Bernd-Holger Schlingloff
2 publications
Mikhail Olokin
2 publications
Antonio Cerone
2 publications
Rustam Zhumagambetov
2 publications
Maxim Stepanov
1 publication

research

∙ 09/05/2022

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs

Elegant Objects (EO) is a variation of the object-oriented programming p...

0 Nikolai Kudasov, et al. ∙

research

∙ 10/12/2020

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper

This white paper argues that formal methods need to be better rooted in ...

0 Antonio Cerone, et al. ∙