Autori: Janicic Predrag
| 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 | 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 | 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 | 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 | 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 |
