Autori: Maric Filip M
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
| Autori | Janicic Predrag Maric Filip M Malikovic Marko |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points (Article) |
| Autori | Maric Filip M |
| Info | JOURNAL OF AUTOMATED REASONING, (2019), vol. 62 br. 3, str. 301-329 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Preface (Proceedings Paper) |
| Autori | Botana Francisco Brucker Achim Hasek Roman Maric Filip M Neuper Walther Pech Pavel Quaresma Pedro Santos Vanda Schreiner Wolfgang Wolff Burkhart |
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2018), vol. br. 267, str. - |
| Ispravka | ISI/Web of Science Elečas Citati: ISI/Web of Science Scopus |
| Naslov | meSAT: Multiple Encodings of CSP to SAT (Proceedings Paper) |
| Autori | Stojadinovic Mirko S Maric Filip M |
| Info | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, (2015), vol. 9255 br. , str. 741-741 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Proceedings Paper) |
| Autori | Maric Filip M Janicic Predrag Malikovic Marko |
| Info | AUTOMATED DEDUCTION - CADE-25, (2015), vol. 9195 br. , str. 256-271 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Formalizing complex plane geometry (Article) |
| Autori | Maric Filip M Petrovic Danijela |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 271-308 |
| Projekat | Serbian Ministry of Education and Science [ON174021]; Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | meSAT: multiple encodings of CSP to SAT (Article) |
| Autori | Stojadinovic Mirko S Maric Filip M |
| Info | CONSTRAINTS, (2014), vol. 19 br. 4, str. 380-403 |
| Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Simple algorithm portfolio for SAT (Article) |
| Autori | Nikolic Mladen Maric Filip M Janicic Predrag |
| Info | ARTIFICIAL INTELLIGENCE REVIEW, (2013), vol. 40 br. 4, str. 457-465 |
| Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
