1. Research with MATF

Marić, Filip

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Marić, Filip
Variants
Marić, F.
Maric, F.
 
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

281
checked on Feb 15, 2026

Works indexed in
SCOPUSTM

32
checked on Feb 15, 2026

Publications

Results 61-73 of 73 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
6110-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
621-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21a
632010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33
649-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
651-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip M21
661-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
672009ТeX and LaTeXMarić, Filip M50
682009Formalizacija, implementacija i primene SAT rešavačaMarić, Filip M70
691-Jan-2005Automatic construction of surface modelMarić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško
702005Numeričke metode : zbirka zadataka kroz C, Fortran i MatlabRadunović, Desanka P; Samardžić, Aleksandar B; Marić, Filip 
711-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag M33
721-Jan-2003CCD microscopy - Image analysis by group for intelligent systems (GIS)Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub
73-Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip