Autori: Janicic Predrag
| Naslov | Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry (Article) |
| Autori | Stojanovic-Djurdjevic Sana Narboux Julien Janicic Predrag 
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 249-269 |
| Projekat | Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12]; Ministry of Science of Serbia [ON174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
     |
| Naslov | Automated Theorem Proving in GeoGebra: Current Achievements (Article) |
| Autori | Botana Francisco Hohenwarter Markus Janicic Predrag Kovacs Zoltan Petrovic Ivan Recio Tomas Weitzhofer Simon
|
| Info | JOURNAL OF AUTOMATED REASONING, (2015), vol. 55 br. 1, str. 39-59 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | A Vernacular for Coherent Logic (Proceedings Paper) |
| Autori | Stojanovic Sana N Narboux Julien Bezem Marc Janicic Predrag
|
| Info | INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, (2014), vol. 8543 br. , str. 388-403 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving (Article) |
| Autori | Malikovic Marko Janicic Predrag
|
| Info | ICGA JOURNAL, (2013), vol. 36 br. 2, str. 81-99 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Ursa: a System for Uniform Reduction to Sat (Article) |
| Autori | Janicic Predrag
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2012), vol. 8 br. 3, str. - |
| Projekat | Serbian Ministry of Science grant [174021]; SNF grant SCOPES [IZ73Z0_127979/1] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | The Area Method A Recapitulation (Article) |
| Autori | Janicic Predrag Narboux Julien Quaresma Pedro
|
| Info | JOURNAL OF AUTOMATED REASONING, (2012), vol. 48 br. 4, str. 489-532 |
| Projekat | Ministry of Science of Serbia[144030]; ANR |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Proceedings Paper) |
| Autori | Stojanovic Sana N Pavlovic Vesna N Janicic Predrag
|
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2011), vol. 6877 br. , str. 201-220 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Formalization of Abstract State Transition System for Sat (Article) |
| Autori | Maric Filip M Janicic Predrag
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2011), vol. 7 br. 3, str. - |
| Projekat | Serbian Ministry of Science[174021]; SNF[SCOPES IZ73Z0_127979/1] |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | URBiVA: Uniform Reduction to Bit-Vector Arithmetic (Proceedings Paper) |
| Autori | Maric Filip M Janicic Predrag
|
| Info | AUTOMATED REASONING, (2010), vol. 6173 br. , str. 346-352 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
