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

262
checked on Apr 29, 2025

Works indexed in
SCOPUSTM

29
checked on Apr 29, 2025

Publications

Results 41-47 of 47 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
411-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21
429-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
431-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
441-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
451-Jan-2005Automatic construction of surface modelMarić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško
461-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag M33
471-Jan-2003CCD microscopy - Image analysis by group for intelligent systems (GIS)Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub