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
57.75
A''
0
A'
0
A1/2
30.16
CI10
53
CImax
19
h10
4
A1
0.17
A3
0
Data for the last 5 years (citations for the last 10 years) on July 2, 2024; A3 for period 2018-2022 (update for tender in 2023: NO)
Data for ARIS tenders ( 21.05.2024 – Target research programmes, archive )
Database Linked records Citations Pure citations Average pure citations
WoS 41  38  5.43 
Scopus 13  81  71  5.46 
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 
Doctor's 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)   1996 - 1998  PhD Zmago Brezočnik 
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)   2001 - 2003  PhD Zdravko Kačič 
Views history
Favourite