1. Research with MATF

Marić, Filip

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Marić, Filip
Variants
Marić, F.
Maric, F.
 
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

262
checked on Apr 29, 2025

Works indexed in
SCOPUSTM

29
checked on Apr 29, 2025

Publications

Results 21-40 of 47 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
212021Рачунарство и информатика 1 - уџбеник за први разред гимназијеMarić, Filip 
222021Számítástechnika és informatika 1 - tankönyv a gimnáziumok 1. osztályaMarić, Filip 
232021Рачунарство и информатика 3 - уџбеник за трећи разред гимназијеMarić, Filip ; Мандић, Светлана
2430-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Ðurdević, Sana
251-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip 
261-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, MiodragM22
271-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
2815-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip 
291-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoМ22
302018An Incremental Simplex Algorithm with Unsatisfiable Core GenerationMarić, Filip ; Spasić, Mirko ; Thiemann, René
311-Jan-201770 years of the mathematical society of SerbiaAndrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle 
321-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
331-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
341-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M22
3513-Sep-2012Formalization of incremental simplex algorithm by stepwise refinementSpasić, Mirko ; Marić, Filip 
3617-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, Bojan
372012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
388-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
3912-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
4010-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33