Autori: Maric Filip M
| Naslov | Towards Automated Readable Proofs ofRuler and Compass Constructions (Proceedings Paper) |
| Autori | Marinkovic Vesna Sukilovic Tijana  Maric Filip M
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2024), vol. br. 398, str. - |
| Ispravka | Web of Science Članak Elečas |
     |
| Naslov | Towards Automated Readable Proofs of Ruler and Compass Constructions (Proceedings Paper) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 11-20 |
| Ispravka | Web of Science Članak Elečas |
|
|
| Naslov | Formalization, Automatization and Visualization of Hyperbolic Geometry (Proceedings Paper) |
| Autori | Maric Filip M
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 2-2 |
| Ispravka | Web of Science Elečas |
|
|
| Naslov | Automated triangle constructions in hyperbolic geometry (Article) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. 91 br. 6, str. 821-849 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the University of Belgrade, Faculty of Mathematics [451-03-47/2023-01/s200104]; Science Fund of the Republic of Serbia [7744592]; Integrability and Extremal Problems in Mechanics, Geometry and Combinatorics - MEGIC |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | A Proof System for Graph (Non)-Isomorphism Verification (Article) |
| Autori | Bankovic Milan M Drecun Ivan Maric Filip M
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2021), vol. 19 br. 1, str. - |
| Projekat | Serbian Ministry of Science [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Faradzev Read-type enumeration of non-isomorphic CC systems (Article) |
| Autori | Bankovic Milan M Maric Filip M
|
| Info | COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, (2021), vol. 97 br. , str. - |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Formalization of the Poincare Disc Model of Hyperbolic Geometry (Article) |
| Autori | Simic Danijela Maric Filip M Boutry Pierre
|
| Info | JOURNAL OF AUTOMATED REASONING, (2021), vol. 65 br. 1, str. 31-73 |
| Projekat | Serbian Ministry of Education and Science [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Verifying Faradzev-Read Type Isomorph-Free Exhaustive Generation (Proceedings Paper) |
| Autori | Maric Filip M
|
| Info | AUTOMATED REASONING, PT II, (2020), vol. 12167 br. , str. 270-287 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Teaching graduate students how to review research articles and respond to reviewer comments (Review; Book Chapter) |
| Autori | Bankovic Milan M Filipovic Vladimir J Graovac Jelena B Hadzi-Puric Jelena Z ... Kartelj Aleksandar A Kovacevic Jovana J Korolija Nenad Kotlar Milos Krdzavac Nenad B Maric Filip M Malkov Sasa N Milutinovic Veljko M Mitic Nenad S Miskovic Stefan Z Nikolic Mladen Pavlovic-Lazetic Gordana M Simic Danijela Stojanovic-Djurdjevic Sana Vujicic-Stankovic Stasa Vujosevic-Janicic Milena M Zivkovic Miodrag V
|
| Info | ADVANCES IN COMPUTERS, VOL 116, (2020), vol. 116 br. , str. 1-63 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Regression Verification for Automated Evaluation of Students Programs (Article) |
| Autori | Vujosevic-Janicic Milena M Maric Filip M
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2020), vol. 17 br. 1, str. 205-227 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
