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

277
checked on Oct 3, 2025

Works indexed in
SCOPUSTM

32
checked on Oct 3, 2025

Publications

Results 1-20 of 32 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
116-May-2025Formal Verification of a Fail-Safe Cross-Chain BridgeMarić, Filip ; Scholz, Bernhard; Subotić, PavleM33
22024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip ; Mandić, Svetlana
32024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
42024Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számáraMarić, Filip ; Zečević, Anđelka
52024Formalization, Automatization and Visualization of Hyperbolic GeometryMarić, Filip M31
62023Рачунарство и информатика 2 - уџбеник за други разред гимназије (4. изд)Marić, Filip ; Mašulović, Dragan
72023Рачунарство и информатика 4 - уџбеник за четврти разред гимназијеMarić, Filip ; Zečević, Anđelka
82023Рачунарство и информатика 3 - уџбеник за трећи разред гимназије (2. изд.)Marić, Filip ; Mandić, Svetlana
92022Programiranje 2 - osnove programiranja kroz programski jezik CJaničić, Predrag ; Marić, Filip 
1030-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
112021Számítástechnika és informatika - tankönyv a gimnáziumok 2. osztályaMarić, Filip ; Mašulović, Dragan
122021Računalstvo i informatika 2 - udžbenik za drugi razred gimnazijeMarić, Filip ; Mašulović, Dragan
132021Výpočtová technika a informatika 1 - učebnica pre prvý ročník gymnáziaMarić, Filip 
142021Рачунарство и информатика 1 - уџбеник за први разред гимназијеMarić, Filip 
152021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztályaMarić, Filip 
162021Рачунарство и информатика 3 - уџбеник за трећи разред гимназијеMarić, Filip ; Мандић, Светлана
172021Számítástechnika és informatika - tankönyv a gimnáziumok 2. osztálya számáraMarić, Filip ; Mašulović, Dragan
182021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztálya számáraMarić, Filip 
192021Рачунарство и информатика 2 - уџбеник за други разред гимназије (2. изд.)Marić, Filip ; Машуловић, Драган
2030-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Djurdjević. Sana M33