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 21-40 of 73 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
211-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
222021Számítástechnika és informatika - tankönyv a gimnáziumok 2. osztályaMarić, Filip ; Mašulović, Dragan
232021Računalstvo i informatika 2 - udžbenik za drugi razred gimnazijeMarić, Filip ; Mašulović, Dragan
242021Výpočtová technika a informatika 1 - učebnica pre prvý ročník gymnáziaMarić, Filip 
252021Рачунарство и информатика 1 - уџбеник за први разред гимназијеMarić, Filip 
262021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztályaMarić, Filip 
272021Рачунарство и информатика 3 - уџбеник за трећи разред гимназијеMarić, Filip ; Мандић, Светлана
282021Számítástechnika és informatika - tankönyv a gimnáziumok 2. osztálya számáraMarić, Filip ; Mašulović, Dragan
292021Faradžev Read-type enumeration of non-isomorphic CC systemsBanković, Milan ; Marić, Filip M23
302021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztálya számáraMarić, Filip 
312021Рачунарство и информатика 2 - уџбеник за други разред гимназије (2. изд.)Marić, Filip ; Машуловић, Драган
322021Automatsko rešavanje konstruktivnih problema u apsolutnoj i hiperboličkoj geometrijiMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M64
3330-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Djurdjević. Sana M33
341-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, MiodragM22
351-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
361-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip M33
172020Рачунарство и информатика 2 - уџбеник за други разред гимназијеMarić, Filip ; Mашуловић, Драган
1815-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip M22
191-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoM22
202019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике [2. изд]Šćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip