Autori: Janicic Predrag
| Naslov | Geometry Constructions Language (Article) |
| Autori | Janicic Predrag 
|
| Info | JOURNAL OF AUTOMATED REASONING, (2010), vol. 44 br. 1-2, str. 3-24 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | n-Gram-based classification and unsupervised hierarchical clustering of genome sequences (Article) |
| Autori | Tomovic Andrija Janicic Predrag Keselj V
|
| Info | COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, (2006), vol. 81 br. 2, str. 137-153 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
