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

Publications

Results 1-19 of 19 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
11-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
222-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
32024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
41-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
51-Jan-2023A Proof System for Graph (non)-Isomorphism VerificationBanković, Milan ; Drecun, Ivan ; Marić, Filip M21
61-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
72021Faradžev Read-type enumeration of non-isomorphic CC systemsBanković, Milan ; Marić, Filip M23
81-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
91-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
1015-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip 
111-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoМ22
121-Jan-201770 years of the mathematical society of SerbiaAndrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle 
131-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
141-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M22
158-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
1612-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
171-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag 
181-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
191-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24