Loading...
PhD Robert Meolic

PhD Robert Meolic
no.: 17878 source: ARIS

researcher – active in research organisation
Foreign language skills
Research activity

Code Science Field Subfield
1.01.03  Natural sciences and mathematics  Mathematics  Numerical and computer mathematics 
2.07.03  Engineering sciences and technologies  Computer science and informatics  Programming technologies - software 
Keywords
Formal verification of systems, concurrent systems, process algebras, binary decision diagrams, temporal logics, communication protocols, telecommunications
Points
32.61
A''
0
A'
0
A1/2
30.16
CI10
56
CImax
21
h10
4
A1
0.11
A3
0.23
Data for the last 5 years (citations for the last 10 years) on October 15, 2025; Data for score A3 calculation refer to period 2020-2024 (2023)
Data for ARIS tenders ( 23.05.2022 – Target research programmes, archive )
Database Linked records Citations Pure citations Average pure citations
WoS 45  42 
Scopus 13  86  76  5.85 
Education
source: ARIS
Level of education Professional title Study subject Faculty Year
  B. Sc.   Computer Science  SI University of Maribor, Faculty of Electrical Engineering and Computer Science 1995 
Master's degree  M. Sc.   Computer Science  SI University of Maribor, Faculty of Electrical Engineering and Computer Science 1999 
Doctoral degree  Ph. D.     SI University of Maribor, Faculty of Electrical Engineering and Computer Science 2005 
Doctoral dissertations and other final papers Show
Obtaining results now
source: COBISS
Employments
source: ARIS
Type of employment Research org. Research group Date of employment Position Role Title
Full time employment (100%, RD:90%)  Operato d.o.o.  Raziskovalna skupina Operato (Slovene)  3/1/2021  Information manager  Researcher  Senior Research Associate 
Research projects Legend
source: ARIS
no. Code Title Period Head No. of publications
1. J2-7495  Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov (Slovene)   1/1/1996 - 12/31/1998  PhD Zmago Brezočnik   1,197 
ARIS research and infrastructure programmes Legend
source: ARIS
no. Code Title Period Head No. of publications
1. P0-0503-0796  Napredne metode v telekomunikacijah (Slovene)   1/1/1999 - 12/31/2003 PhD Zdravko Kačič   4,505 
Views history
Favourite