Tomas Kulik | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jim Woodcock
18 publications
Brijesh Dongol
15 publications
Peter Gorm Larsen
11 publications
Hugo Daniel Macedo
10 publications
Steve Schneider
5 publications
Diego F. Aranha
2 publications
Mikkel Schimdt Andersen
1 publication
Stefan Hallerstede
1 publication
Simon Thrane Hansen
1 publication
Nikolaj Kuhne Jakobsen
1 publication
Carlos Ignacio Isasa Martin
1 publication

research

∙ 08/29/2023

State of the Art Report: Verified Computation

This report describes the state of the art in verifiable computation. Th...

0 Jim Woodcock, et al. ∙

research

∙ 09/03/2021

A Survey of Practical Formal Methods for Security

In today's world, critical infrastructure is often controlled by computi...

0 Tomas Kulik, et al. ∙