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 28, 2026

Works indexed in
SCOPUSTM

32
checked on Feb 28, 2026

Publications

Results 21-40 of 46 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
212021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztálya számáraMarić, Filip 
222021Рачунарство и информатика 2 - уџбеник за други разред гимназије (2. изд.)Marić, Filip ; Машуловић, Драган
232021Automatsko rešavanje konstruktivnih problema u apsolutnoj i hiperboličkoj geometrijiMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M64
2430-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Djurdjević. Sana M33
251-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip M33
262020Рачунарство и информатика 2 - уџбеник за други разред гимназијеMarić, Filip ; Mашуловић, Драган
272019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике [2. изд]Šćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
282019Методичка збирка алгоритамских задатака са решењима - C# - основни нивоMarić, Filip ; Alimpić, Nina; Vasiljević, Nebojša; Vugdelija, Milan; Vuković, Duša; Đurišić, Miodrag; Marinković, Vesna ; Matković, Stanka; Hadži-Purić, Jelena; Čabarkapa, Milan
292019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издањеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
302017Рачунарство и информатика 4 : уџбеник за четврти разред гимназијеMarić, Filip ; Marinković, Vesna 
312016Информатика 3 - уџбеник за трећи разред гимназије [1. изд.]Marić, Filip 
322016Информатика 1 - уџбеник за први разред гимназије [3. изд.]Marić, Filip 
332015meSAT: Multiple Encodings of CSP to SATStojadinović, Mirko; Marić, Filip M34
342015Информатика 2 - уџбеник за други разред гимназије [1. izd.]Marić, Filip ; Trajković, Srđan; Trifunović, Duško; Kljajić, Ivan; Gračanin, Olivera
3513-Sep-2012Formalization of incremental simplex algorithm by stepwise refinementSpasić, Mirko ; Marić, Filip M33
3617-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, BojanM33
372012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
382012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30
3910-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
402010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33