Predrag Janičić - Concepedia

Author

Predrag Janičić

University of Belgrade ORCID

Also Known As

Janicic, Predrag, Janičić, Predrag, Predrag Janicic, Predrag Janičić

Publications

844

Citations

H-Index

Concepts

All Affiliations

University of Belgrade University of Coimbra Centre National de la Recherche Scientifique Université de Strasbourg

About

Predrag Janičić is an author at University of Belgrade specializing in engineering, geometry, and geometric modeling.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	273
2	Natural Sciences	4	4	108
3	Education	3	3	40
4	Medicine	1	1	98
5	Computer Engineering	1	1	21

Predrag Janičić

Publications

452

Citations

H-Index

Page 1

	Year	Citations
Automated Theorem Proving in GeoGebra: Current Achievements Francisco Botana, Markus Hohenwarter, Predrag Janičić, Journal of Automated Reasoning Integral GeometryEngineeringGeometryAutomated ReasoningAutomated Proof	2015	101
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences Andrija Tomović, Predrag Janičić, Vlado Kešelj Computer Methods and Programs in Biomedicine BioinformaticsMolecular EcologyGeneticsSequence AnalysisComputational Biology	2006	98
The Area Method Predrag Janičić, Julien Narboux, Pedro Quaresma Journal of Automated Reasoning Numerical AnalysisGeometric ModelingEngineeringArea MeasurementNatural Sciences	2010	62
Geometry Constructions Language Predrag Janičić Journal of Automated Reasoning Geometric ModelingGeometry Constructions LanguageArchitectural DesignSyntaxFinite Geometry	2009	44
Simple algorithm portfolio for SAT Mladen Nikolić, Filip Marić, Predrag Janičić Artificial Intelligence Review EngineeringAlgorithm DesignSat SolvingComputational ComplexityComputer Science	2011	28
GeoThms — a Web System for Euclidean Constructive Geometry Pedro Quaresma, Predrag Janičić Electronic Notes in Theoretical Computer Science EngineeringEuclidean Constructive GeometryGeometryGeometrical ContentAutomated Proof	2007	23
URSA: A System for Uniform Reduction to SAT Predrag Janičić Logical Methods in Computer Science EngineeringComputer-aided VerificationSoftware EngineeringComputational ComplexitySoftware Analysis	2012	21
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry Sana Stojanović, Julien Narboux, Predrag Janičić Annals of Mathematics and Artificial Intelligence EngineeringAutomated ReasoningVerificationReadable ProofsFormal Methods	2015	21
Formalization and Implementation of Algebraic Methods in Geometry Filip Marić, Ivan Petrović, Danijela Petrović, Electronic Proceedings in Theoretical Computer Science EngineeringAlgebraic StructureGeometryEducationAutomated Proof	2012	17
A General Setting for Flexibly Combining and Augmenting Decision Procedures Predrag Janičić, Alan Bundy Journal of Automated Reasoning	2002	14

Page 1