Autori: Janicic Predrag
| Naslov | Logical analysis of hash functions (Article) |
| Autori | Jovanovic Dejan Janicic Predrag 
|
| Info | FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, (2005), vol. 3717 br. , str. 200-215 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | ARGO-LIB: A generic platform for decision procedures (Article) |
| Autori | Maric Filip M Janicic Predrag
|
| Info | AUTOMATED REASONING, PROCEEDINGS, (2004), vol. 3097 br. , str. 213-217 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | A general setting for flexibly combining and augmenting decision procedures (Article) |
| Autori | Janicic Predrag Bundy Alan
|
| Info | JOURNAL OF AUTOMATED REASONING, (2002), vol. 28 br. 3, str. 257-305 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | On different models for generating random SAT problems (Article) |
| Autori | Janicic Predrag Dedic N Terzic Goran
|
| Info | COMPUTING AND INFORMATICS, (2001), vol. 20 br. 5, str. 451-469 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | GD-SAT model and crossover line (Article) |
| Autori | Janicic Predrag
|
| Info | JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, (2001), vol. 13 br. 3, str. 181-198 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
