( en | de | ru )

 

Disambiguation of "Maric, Filip"

Author of the publication

copydeleteadd this publication to your clipboard
Regression verification for automated evaluation of students programs.

, and . Comput. Sci. Inf. Syst., 17 (1): 205-227 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dejan Maric

Hans-Michael Maric

Adriana Maric

Sascha Maric

Niko Maric

 

Other publications of authors with the same name

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture., , and . CoRR, (2018)Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3., , and . CADE, volume 9195 of Lecture Notes in Computer Science, page 256-271. Springer, (2015)URBiVA: Uniform Reduction to Bit-Vector Arithmetic., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 346-352. Springer, (2010)Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning., , and . CoRR, (2020)Formalization and Implementation of Modern SAT Solvers.. J. Autom. Reason., 43 (1): 81-119 (2009)Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points.. J. Autom. Reason., 62 (3): 301-329 (2019)Robot arm teleoperation via RGBD sensor palm tracking., , , , and . MIPRO, page 1093-1098. IEEE, (2016)Regression verification for automated evaluation of students programs., and . Comput. Sci. Inf. Syst., 17 (1): 205-227 (2020)Automated triangle constructions in hyperbolic geometry., , and . Ann. Math. Artif. Intell., 91 (6): 821-849 (December 2023)A Riemannian metric for geometry-aware singularity avoidance by articulated robots., , , , and . Robotics Auton. Syst., (2021)