Solving the SPARQL query containment problem with SpeCS von Spasić, Mirko, Vujošević Janičić, Milena

Volltext

GraalSP: Polyglot, efficient, and robust machine learning-based static profiler von Čugurović, Milan, Vujošević Janičić, Milena, Jovanović, Vojin, Würthinger, Thomas

Volltext

Verification supported refactoring of embeddedsql von Spasic, Mirko, Janicic, Milena Vujosevic

Volltext

Software verification and graph similarity for automated evaluation of students’ assignments von Vujošević-Janičić, Milena, Nikolić, Mladen, Tošić, Dušan, Kuncak, Viktor

Volltext

Software verification and graph similarity for automated evaluation of studentsa assignments von Vujosevic-Janicic, Milena, Nikolic, Mladen, Tosic, Dusan, Kuncak, Viktor

Volltext

The learnability of the dimensional view of data and what to do with it von Vujošević, Dušan, Kovačević, Ivana, Vujošević-Janičić, Milena

Volltext

Prototype implementation of segment assembling software von Pesic, Djordje, Misic, Marko, Protic, Jelica, Janicic, Vujosevic

Volltext

Development and Evaluation of LAV: An SMT-Based Error Finding Platform: System Description von Vujošević-Janičić, Milena, Kuncak, Viktor

Volltext

Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments von Vujosevic-Janicic, Milena, Nikolic, Mladen, Tosic, Dusan, Kuncak, Viktor

Volltext bestellen

Verification supported refactoring of embedded sql von Spasić, Mirko, Janičić, Milena Vujošević

Volltext

Statistical dependence of protein secondary structure on amino acid bigrams von Zivkovic, Miodrag, Malkov, Sasa, Zaric, Snezana, Vujosevic-Janicic, Milena, Tomasevic, Jelena, Predovic, Goran, Blazic, Novica, Beljanski, Milos

Volltext

Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments von Vujosevic-Janicic, Milena, Nikolic, Mladen, Tosic, Dusan, Kuncak, Viktor

Volltext

Automated generation and checking of verification conditions von Vujošević-Janičić Milena

Volltext bestellen

On Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments von Vujosevic-Janicic, Milena, Nikolic, Mladen, Tosic, Dusan, Kuncak, Viktor

Volltext bestellen

Soundness and Completeness of SPARQL Query Containment Solver SpeCS von Spasić, Mirko, Janičić, Milena Vujošević

Volltext bestellen

Soundness and Completeness of SPARQL Query Containment Solver SpeCS von Spasić, Mirko, Janičić, Milena Vujošević

Volltext

Random k-GD-Sat Model and its Phase Transition von Jelena Tomašević, Milena Vujošević-Janičić, Predrag Janičić

Volltext