Milena Vujosevic-Janicic | DeepAI

DeepAI

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

Featured Co-authors

Viktor Kuncak
14 publications
Mladen Nikolić
12 publications
Mirko Spasić
3 publications
Dusan Tosic
1 publication

research

∙ 10/13/2022

Soundness and Completeness of SPARQL Query Containment Solver SpeCS

Tool SPECS implements an efficient automated approach for reasoning abou...

0 Mirko Spasić, et al. ∙

research

∙ 06/29/2012

Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments

In this paper we promote introducing software verification and control f...

0 Milena Vujosevic-Janicic, et al. ∙