The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Predrag Janicic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.015secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002