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

284
checked on May 21, 2026

Works indexed in
SCOPUSTM

32
checked on May 21, 2026

Publications

Results 1-20 of 74 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
12026Informatika a výpočtová technika 4 - učebnica - pre štvrtý ročník gymnáziaMarić, Filip ; Zečević, Anđelka
14216-May-2025Formal Verification of a Fail-Safe Cross-Chain BridgeMarić, Filip ; Scholz, Bernhard; Subotić, PavleM33
1431-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
1441-Jan-2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarković, Jelena ; Marić, Filip M22
1452025Unapređivanje razumevanja dokaza teorema pomoću interaktivnih dokazivačaStojanović-Đurđević. Sana ; Urošević, Andrija ; Marić, Filip M64
14622-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
1472024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
1482024Kompjut'rni nauki i informatika 3 - učebnik za treti klas na gimnaziteMarić, Filip ; Mandić, Svetlana
1492024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip ; Mandić, Svetlana
1502024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
1512024Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számáraMarić, Filip ; Zečević, Anđelka
1522024Formalization, Automatization and Visualization of Hyperbolic GeometryMarić, Filip M31
1532024Interaktivni udžbenik iz oblasti algoritama i struktura podatakaMarić, Filip ; Marinković, Vesna M34
1541-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
1551-Jan-2023A Proof System for Graph (non)-Isomorphism VerificationBanković, Milan ; Drecun, Ivan ; Marić, Filip M21
1562023Рачунарство и информатика 2 - уџбеник за други разред гимназије (4. изд)Marić, Filip ; Mašulović, Dragan
1572023Рачунарство и информатика 4 - уџбеник за четврти разред гимназијеMarić, Filip ; Zečević, Anđelka
1582023Рачунарство и информатика 3 - уџбеник за трећи разред гимназије (2. изд.)Marić, Filip ; Mandić, Svetlana
1592023Edukativni sistemi za automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Marić, Filip M64
1602022Programiranje 2 - osnove programiranja kroz programski jezik CJaničić, Predrag ; Marić, Filip