Search the dblp DataBase

Publications of Author

1. Predrag Janicic, Alan Bundy, Ian Green
   A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. [Citation Graph (0, 0)][DBLP]
   CADE, 1999, pp:127-141 [Conf]
   
2. Predrag Janicic, Pedro Quaresma
   System Description: GCLCprover + GeoThms. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:145-150 [Conf]
   
3. Filip Maric, Predrag Janicic
   argo-lib: A Generic Platform for Decision Procedures. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:213-217 [Conf]
   
4. Dejan Jovanovic, Predrag Janicic
   Logical Analysis of Hash Functions. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:200-215 [Conf]
   
5. Predrag Janicic
   GCLC - A Tool for Constructive Euclidean Geometry and More Than That. [Citation Graph (0, 0)][DBLP]
   ICMS, 2006, pp:58-73 [Conf]
   
6. Pedro Quaresma, Predrag Janicic
   Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:280-294 [Conf]
   
7. Predrag Janicic, Nenad Dedic, Goran Terzic
   On Different Models for Generating Random SAT Problems. [Citation Graph (0, 0)][DBLP]
   Computers and Artificial Intelligence, 2001, v:20, n:5, pp:- [Journal]
   
8. Mateja Jamnik, Predrag Janicic
   Learning Strategies for Mechanised Building of Decision Procedures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
   
9. Pedro Quaresma, Predrag Janicic
   GeoThms - a Web System for Euclidean Constructive Geometry. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:35-48 [Journal]
   
10. Predrag Janicic, Alan Bundy
    A General Setting for Flexibly Combining and Augmenting Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:3, pp:257-305 [Journal]
    
11. Petar Maksimovic, Predrag Janicic
    Simple characterization of functionally complete one-element sets of propositional connectives. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:5, pp:498-504 [Journal]
    
12. Andrija Tomovic, Predrag Janicic, Vlado Keselj
    n-Gram-based classification and unsupervised hierarchical clustering of genome sequences. [Citation Graph (0, 0)][DBLP]
    Computer Methods and Programs in Biomedicine, 2006, v:81, n:2, pp:137-153 [Journal]
    
13. Andrija Tomovic, Predrag Janicic
    A Variant of N-Gram Based Language Classification. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:410-421 [Conf]
    
14. Predrag Janicic, Alan Bundy
    Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:80-93 [Conf]
    
15. 
    Automatic Verification of Regular Constructions in Dynamic Geometry Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    URBiVA: Uniform Reduction to Bit-Vector Arithmetic. [Citation Graph (, )][DBLP]
    
    
17. 
    Instance-Based Selection of Policies for SAT Solvers. [Citation Graph (, )][DBLP]