E-LIB Suche - Ergebnisse für: Janicic, Milena Vujosevic

1

AUTOCHECK: A Tool For Checking Compliance With Automotive C..:

, In: 2021 Zooming Innovation in Consumer Technologies Conference (ZINC),

Janicic, Milena Vujosevic ; Plavsic, Ognjen ; Brkusanin, Mirko. - p. 150-155 , 2021

Link: https://doi.org/10.1109/..

2

Verification supported refactoring of embedded sql:

Spasić, Mirko ; Janičić, Milena Vujošević
Software Quality Journal. 29 (2020) 3 - p. 629-665 , 2020

Link: https://doi.org/10.1007/..

3

SpeCS — SPARQL Query Containment Solver:

, In: 2020 Zooming Innovation in Consumer Technologies Conference (ZINC),

Spasic, Mirko ; Janicic, Milena Vujosevic - p. 31-35 , 2020

Link: https://doi.org/10.1109/..

4

Prototype implementation of segment assembling software:

Pesic, Djordje ; Misic, Marko ; Protic, Jelica.
Serbian Journal of Electrical Engineering. 15 (2018) 1 - p. 71-83 , 2018

Link: https://doi.org/10.2298/..

5

GraalSP: Polyglot, efficient, and robust machine learning-b..:

Čugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin.
Journal of Systems and Software. 213 (2024) - p. 112058 , 2024

Link: https://doi.org/10.1016/..

6

Solving the SPARQL query containment problem with SpeCS:

Spasić, Mirko ; Vujošević Janičić, Milena
Journal of Web Semantics. 76 (2023) - p. 100770 , 2023

Link: https://doi.org/10.1016/..

7

Soundness and Completeness of SPARQL Query Containment Solv..:

Spasić, Mirko ; Janičić, Milena Vujošević
http://arxiv.org/abs/2210.07083. , 2022

Link: http://arxiv.org/abs/221..

8

A novel approach to source code assembling in the field of ..:

Pesic, Dordje ; Vujosevic-Janicic, Milena ; Misic, Marko.
Computer Science and Information Systems. 21 (2024) 3 - p. 781-806 , 2024

Link: https://doi.org/10.2298/..

9

Regression verification for automated evaluation of student..:

Vujosevic-Janicic, Milena ; Maric, Filip
Computer Science and Information Systems. 17 (2020) 1 - p. 205-227 , 2020

Link: https://doi.org/10.2298/..

10

The learnability of the dimensional view of data and what t..:

Vujošević, Dušan ; Kovačević, Ivana ; Vujošević-Janičić, Milena
Aslib Journal of Information Management. 71 (2019) 1 - p. 38-53 , 2019

Link: https://doi.org/10.1108/..

11

Prototype implementation of segment assembling software:

Pešić Đorđe ; Mišić Marko ; Protić Jelica.
http://www.doiserbia.nb.rs/img/doi/1451-4869/2018/1451-48691801071P.pdf. , 2018

Link: https://doi.org/10.2298/..

12

Software verification and graph similarity for automated ev..:

Vujošević-Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan.
Information and Software Technology. 55 (2013) 6 - p. 1004-1016 , 2013

Link: https://doi.org/10.1016/..

13

Using simplex method in verifying software safety:

Vujosevic-Janicic, Milena ; Maric, Filip ; Tosic, Dusan
Yugoslav Journal of Operations Research; YUJOR. 19 (2009) 1 - p. 133-148 , 2009

Link: https://doi.org/10.2298/..

14

Statistical dependence of protein secondary structure on am..:

Zivkovic, Miodrag ; Malkov, Sasa ; Zaric, Snezana...
Chemical Industry and Chemical Engineering Quarterly. 12 (2006) 1 - p. 82-85 , 2006

Link: https://doi.org/10.2298/..

15

Automatsko generisanje i proveravanje uslova ispravnosti pr..:

Vujošević-Janičić, Milena
info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174021/RS//. , 2020

Link: https://nardus.mpn.gov.r..