Autori: Janicic Predrag
| 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 |
| Naslov | Geometry Constructions Language (Article) |
| Autori | Janicic Predrag |
| Info | JOURNAL OF AUTOMATED REASONING, (2010), vol. 44 br. 1-2, str. 3-24 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Instance-Based Selection of Policies for SAT Solvers (Proceedings Paper) |
| Autori | Nikolic Mladen Maric Filip M Janicic Predrag |
| Info | THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, (2009), vol. 5584 br. , str. 326-340 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Automatic verification of regular constructions in dynamic geometry systems (Proceedings Paper) |
| Autori | Janicic Predrag Quaresma Pedro |
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2007), vol. 4869 br. , str. 39-51 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Random kappa-GD-SAT model and its phase transition (Article) |
| Autori | Vujosevic-Janicic Milena M Tomasevic Jelena Janicic Predrag |
| Info | JOURNAL OF UNIVERSAL COMPUTER SCIENCE, (2007), vol. 13 br. 4 , Suppl. , str. 572 -591 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic (Proceedings Paper) |
| Autori | Janicic Predrag Bundy Alan |
| Info | Towards Mechanized Mathematical Assistants, (2007), vol. 4573 br. , str. 80-93 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Simple characterization of functionally complete one-element sets of propositional connectives (Article) |
| Autori | Maksimovic Petar Janicic Predrag |
| Info | MATHEMATICAL LOGIC QUARTERLY, (2006), vol. 52 br. 5, str. 498-504 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | GCLC - A tool for constructive euclidean geometry and more than that (Article) |
| Autori | Janicic Predrag |
| Info | MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, (2006), vol. 4151 br. , str. 58-73 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | System description: GCLCprover plus GeoThms (Article) |
| Autori | Janicic Predrag Quaresma Pedro |
| Info | AUTOMATED REASONING, PROCEEDINGS, (2006), vol. 4130 br. , str. 145-150 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Integrating dynamic geometry software, deduction systems, and theorem repositories (Article) |
| Autori | Quaresma Pedro Janicic Predrag |
| Info | MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, (2006), vol. 4108 br. , str. 280-294 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
