Истраживачи
Janičić, Predrag
Година
Резултати 41-60 од 60
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2007 | Automatic verification of regular constructions in dynamic geometry systems | Janicic, Predrag   ; Quaresma, Pedro | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Random kappa-GD-SAT model and its phase transition | Vujošević-Janičić, Milena M ; Tomašević, Jelena ; Janičić, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | A variant of N-gram based language classification | Tomović, A.; Janičić, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | GeoThms - a Web System for Euclidean Constructive Geometry | Quaresma, P.; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic | Janicic, Predrag ; Bundy, Alan | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | n-Gram-based classification and unsupervised hierarchical clustering of genome sequences | Tomovic, Andrija; Janicic, Predrag ; Keselj, V | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | Simple characterization of functionally complete one-element sets of propositional connectives | Maksimović, Petar; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | System description: GCLCprover plus GeoThms | Janicic, Predrag ; Quaresma, Pedro | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | Integrating dynamic geometry software, deduction systems, and theorem repositories | Quaresma, Pedro; Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | GCLC - A tool for constructive euclidean geometry and more than that | Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2005 | Logical analysis of hash functions | Jovanovic, Dejan; Janicic, Predrag | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2004 | Constructions, instructions, interactions | Djorić, Mirjana ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | WINGCLC - A workbench for formally describing figures | Janičić, Predrag ; Trajković, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | Learning strategies for mechanised building of decision procedures | Jamnik, M.; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2002 | A General Setting for Flexibly Combining and Augmenting Decision Procedures | Janicic, Predrag ; Bundy, Alan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2001 | On different models for generating random SAT problems | Janicic, Predrag ; Dedic, N; Terzic, Goran | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2001 | GD-SAT model and crossover line | Janicic, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2000 | Ugradnja procedura odlučivanja u sisteme za automatsko rezonovanje | Janičić, Predrag | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1999 | A framework for the flexible integration of a class of decision procedures into theorem provers | Janičić, Predrag ; Bundy, A.; Green, I. | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |