Autori: Janicic Predrag
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science 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 |
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal Correctness Proof for DPLL Procedure (Article) |
| Autori | Maric Filip M Janicic Predrag |
| Info | INFORMATICA, (2010), vol. 21 br. 1, str. 57-78 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
