Čubrilo Mirko
Čubrilo Mirko
Faculty of organization and informatics Varazdin, Croatia
Verified email at foi.hr
TitleCited byYear
Ontology evaluation-comprising verification and validation
S Lovrencic, M Cubrilo
Central European Conference on Information and Intelligent Systems, 1, 2008
282008
Towards a general definition of biometric systems
M Schatten, M Baca, M Cubrilo
arXiv preprint arXiv:0909.2365, 2009
182009
A semantic wiki system based on f-logic
M Schatten, M Čubrilo, J Ševa
19th Central European Conference on Information and Intelligent Systems, 2008
122008
Modelling functional dependencies in databases using mathematical logic
A Lovrencic, M Cubrilo, T Kisasondi
2007 11th International Conference on Intelligent Engineering Systems, 307-312, 2007
122007
What were the last moves
M Maliković, M Čubrilo
International Review on Computers and Software 5 (1), 59-70, 2010
102010
Amalgamation of heterogeneous data sources using amalgamated annotated hilog
A Lovrenčić, M Čubrilo
3rd international IEEE Conference on Intelligent Engineering Systems (INES'99), 1999
71999
Resolving physical conflicts in multiagent systems
K Rabuzin, M Malekovic, M Cubrilo
2008 The Third International Multi-Conference on Computing in the Global …, 2008
62008
Ontology in Information Security
K Arbanas, M Čubrilo
Journal of Information and Organizational Sciences 39 (2), 107-136, 2015
52015
Monolingual dictionary semantic capturing using concept lattice
A Meštrović, M Čubrilo
Int. Rev. Comput. Softw. 6 (2), 173-184, 2011
52011
University Studies Ontology-Domain Modeling
S Lovrencic, M Cubrilo
2007 11th International Conference on Intelligent Engineering Systems, 55-58, 2007
52007
Internetska istraživanja
M Maliković
Sveučilišni priručnik, Filozofski fakultet u Rijeci, 2015
42015
Developing heuristics for solving retrograde chess problems
M Maliković
Fakultet organizacije i informatike, Sveučilište u Zagrebu, 2008
42008
Weather forecast data semantic analysis in f-logic
A Meštrović, S Martinčić-Ipšić, M Čubrilo
Journal of Information and Organizational Sciences 31 (1), 115-129, 2007
42007
Ontologies in the Higher Education Domain
S Lovrenčić, M Čubrilo
Proceedings of the 18th International Conference on Information and …, 2007
42007
Using biometric characteristics to increase its security
M Bača, M Čubrilo, K Rabuzin
Promet-Traffic & Transportation 19 (6), 353-359, 2007
42007
Managing understatements in legislation acts when developing legal ontologies
S Lovrencic, IJ Tomac
2006 International Conference on Intelligent Engineering Systems, 69-73, 2006
42006
Semantic Web data integration using F-logic
A Mestrovic, M Cubrilo
2006 International Conference on Intelligent Engineering Systems, 24-29, 2006
42006
The development of a network thesaurus with morpho-semantic word markups
M Orešković, M Čubrilo, M Essert
Proceedings of the XVII EURALEX International Congress: Lexicography and …, 2016
32016
Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3
F Marić, P Janičić, M Maliković
International Conference on Automated Deduction, 256-271, 2015
32015
Proving correctness of a KRK chess endgame strategy by SAT-based constraint solving
M Maliković, P Janičić
ICGA Journal 36 (2), 81-99, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20