Automated theorem proving in GeoGebra: Current achievements F Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ... Journal of Automated Reasoning 55, 39-59, 2015 | 147 | 2015 |

n-Gram-based classification and unsupervised hierarchical clustering of genome sequences A Tomović, P Janičić, V Kešelj Computer methods and programs in biomedicine 81 (2), 137-153, 2006 | 109 | 2006 |

The area method: a recapitulation P Janicic, J Narboux, P Quaresma Journal of Automated Reasoning 48 (4), 489-532, 2012 | 82 | 2012 |

GCLC—a tool for constructive euclidean geometry and more than that P Janičić Mathematical Software-ICMS 2006: Second International Congress on …, 2006 | 81 | 2006 |

Instance-based selection of policies for SAT solvers M Nikolić, F Marić, P Janičić Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 62 | 2009 |

Logical analysis of hash functions D Jovanović, P Janičić Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 60 | 2005 |

Geometry constructions language P Janičić Journal of Automated Reasoning 44, 3-24, 2010 | 58 | 2010 |

System description: Gclcprover+ geothms P Janičić, P Quaresma Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 51 | 2006 |

A coherent logic based geometry theorem prover capable of producing formal and readable proofs S Stojanović, V Pavlović, P Janičić Automated Deduction in Geometry: 8th International Workshop, ADG 2010 …, 2011 | 46 | 2011 |

Simple algorithm portfolio for SAT M Nikolić, F Marić, P Janičić Artificial Intelligence Review 40 (4), 457-465, 2013 | 42 | 2013 |

The area method: a recapitulation P Janičić, J Narboux, P Quaresma Journal of Automated Reasoning 48 (4), 489-532, 2012 | 42 | 2012 |

URSA: a system for uniform reduction to SAT P Janicic Logical Methods in Computer Science 8, 2012 | 35 | 2012 |

Geothms—a web system for Euclidean constructive geometry P Quaresma, P Janičić Electronic Notes in Theoretical Computer Science 174 (2), 35-48, 2007 | 32 | 2007 |

Automatic verification of regular constructions in dynamic geometry systems P Janičić, P Quaresma Automated Deduction in Geometry: 6th International Workshop, ADG 2006 …, 2007 | 31 | 2007 |

Constructions, instructions, interactions M Djorić, P Janičić Teaching Mathematics and its Applications 23 (2), 69-88, 2004 | 31 | 2004 |

Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry SS Đurđević, J Narboux, P Janičić Annals of Mathematics and Artificial Intelligence 74 (3-4), 249-269, 2015 | 27 | 2015 |

Formalization and implementation of algebraic methods in geometry F Marić, I Petrović, D Petrović, P Janičić arXiv preprint arXiv:1202.4831, 2012 | 27 | 2012 |

Integrating dynamic geometry software, deduction systems, and theorem repositories P Quaresma, P Janičić Mathematical Knowledge Management: 5th International Conference, MKM 2006 …, 2006 | 25 | 2006 |

A general setting for flexibly combining and augmenting decision procedures P Janičić, A Bundy Journal of Automated Reasoning 28, 257-305, 2002 | 24 | 2002 |

Matematicka logika u racunarstvu P Janicic Elektronsko izdanje 5 (10), 2008 | 23 | 2008 |