Concepedia

Predrag Janičić

PJ

12

Publications

452

Citations

11

H-Index

2002

Active since

Affiliations

University of Belgrade(Current)

University of Coimbra

Centre National de la Recherche Scientifique

Université de Strasbourg

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

Top concepts

EngineeringGeometryComputer ScienceGeometry ModelingAutomated ReasoningNatural SciencesComputational GeometryEducationFormal MethodsFormal Verification

Publications per year

2002–2019

12

Publications

12

Automated Theorem Proving in GeoGebra: Current Achievements

Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 101 citations

Integral Geometry, Engineering, Geometry +4

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 · 2006 · 98 citations

Bioinformatics, Molecular Ecology, Genetics +9

The Area Method

Predrag Janičić, Julien Narboux, Pedro Quaresma · Journal of Automated Reasoning · 2010 · 62 citations · Full text

Numerical Analysis, Geometric Modeling, Engineering +7

Geometry Constructions Language

Predrag Janičić · Journal of Automated Reasoning · 2009 · 44 citations

Geometric Modeling, Geometry Constructions Language, Architectural Design +5

Simple algorithm portfolio for SAT

Mladen Nikolić, Filip Marić, Predrag Janičić · Artificial Intelligence Review · 2011 · 28 citations

Engineering, Algorithm Design, Sat Solving +4

Rows per page

1–5 of 12