Researchers
Marić, Filip
Type
Date issued
Results 1-20 of 68
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Рачунарство и информатика 1 - уџбеник - за први разред гимназије | Марић, Филип   | Text book | Mp. category will be shown later |
| 2025 | Рачунарство и информатика 2 - уџбеник - за други разред гимназије | Марић, Филип ; Машуловић, Драган | Text book | Mp. category will be shown later |
| 2025 | Readable automated proofs of ruler and compass constructions | Marinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip | Article | 22M22 |
| 2025 | Formal Verification of a Fail-Safe Cross-Chain Bridge | Maric, Filip ; Scholz, Bernhard; Subotić, Pavle | Conference Paper | Mp. category will be shown later |
| 2025 | Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity | Markovic, Jelena ; Maric, Filip M | Article | 22M22 |
| 2024 | Рачунарство и информатика 1 - уџбеник за први разред гимназије | Марић, Филип | Text book | Mp. category will be shown later |
| 2024 | Konstrukcija i analiza algoritama | Marinkovic, Vesna ; Marić, Filip | Text book | Mp. category will be shown later |
| 2024 | Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számára | Marić, Filip ; Zečević, Anđelka | Text book | Mp. category will be shown later |
| 2024 | Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnázia | Marić, Filip ; Mandić, Svetlana | Text book | Mp. category will be shown later |
| 2024 | Towards Automated Readable Proofs of Ruler and Compass Constructions | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Article | Mp. category will be shown later |
| 2024 | Компютърни науки и информатика 3 - учебник за трети клас на гимназиите | Марић, Филип ; Мандић, Светлана | Text book | Mp. category will be shown later |
| 2024 | Компютърни науки и информатика 1 - учебник за първи клас на гимназиите | Марић, Филип | Text book | Mp. category will be shown later |
| 2024 | Компютърни науки и информатика 2 - учебник за втори клас на гимназиите | Марић, Филип ; Машуловић, Драган | Text book | Mp. category will be shown later |
| 2024 | Interactive textbook for algorithms and data structures | Marinković, Vesna ; Marić, Filip | Article | Mp. category will be shown later |
| 2023 | Рачунарство и информатика 2 - уџбеник за други разред гимназије (4. изд.) | Марић, Филип ; Машуловић, Драган | Text book | Mp. category will be shown later |
| 2023 | Formalization, Automatization and Visualization of Hyperbolic Geometry | Maric, Filip M | Conference Paper | Mp. category will be shown later |
| 2023 | Рачунарство и информатика 3 - уџбеник за трећи разред гимназије (2. изд.) | Марић, Филип ; Мандић, Светлана | Text book | Mp. category will be shown later |
| 2023 | Automated triangle constructions in hyperbolic geometry | Marinkovic, Vesna ; Sukilovic, Tijana ; Maric, Filip M | Article | 22M22 |
| 2023 | Рачунарство и информатика 4 - уџбеник за четврти разред гимназије | Марић, Филип ; Зечевић, Анђелка | Text book | Mp. category will be shown later |
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification | Bankovic, Milan M ; Drecun, Ivan ; Maric, Filip M | Article | 21M21 |