mag. Svitan Gaborovič
št.: 03781

raziskovalec - upokojen

Raziskovalna dejavnost

Koda	Veda	Področje	Podpodročje
1.01.01	Naravoslovje	Matematika	Analiza

Ključne besede

matematična loga, teorija tipov, lambda račun, eliminacija reza, kategorična logika, toposi, kombinatorna logika, logika programiranja, funkcionalno programiranje, modeli računanja, semantika

Bibliografija Reprezentativne bibliografske enote | Osebna| COBISS+

vir: COBISS

vir: SICRIS

Vrednotenje (pravilnik)

Vrednotenje bibliografskih kazalcev raziskovalne uspešnosti po metodologiji ARIS

vir: COBISS

vir: ARIS

Podatki za razpise ARIS ( 12.01.2024 – Projektni razpis, arhiv )

Bibliografski kazalci uspešnosti za izvolitev v naziv

vir: COBISS

Citiranost Citiranost bibliografskih zapisov v COBIB.SI, ki so povezani z zapisi citatnih baz

vir: WoS

vir: Scopus

vir: COBISS

Baza	Povezani zapisi	Citati	Čisti citati	Povprečje čistih citatov
WoS	0	0	0	0
Scopus	3	0	0	0

Izobrazba

vir: ARIS

Stopnja izobrazbe	Strokovni naziv	Študijska smer	Fakulteta	Leto
Visoka šola	Univ. dipl. inž. matematike	Matematika	Univerza v Ljubljani, Fakul.za naravoslov. in tehn.	1974
Magisterij		Matematika	Sveučilište u Zagrebu, Prirodoslovno-matematički fak.	1984

Doktorske disertacije in druga zaključna dela Prikaži

vir: COBISS

Raziskovalni projekti ARIS Legenda

vir: ARIS

št.	Evidenčna št.	Naziv	Obdobje	Vodja	Štev. publikacij
1.	J2-7647	Napredne metode za kvantitativno izvrednotenje sledi težkih ionov v polimerih in polprevodnikih	1996 - 1998	dr. Radomir Ilić	1.740

Raziskovalni in infrastrukturni programi ARIS Legenda

vir: ARIS

št.	Evidenčna št.	Naziv	Obdobje	Vodja	Štev. publikacij
1.	P0-0503-0797	Optimizacija procesov v življenskem ciklu gradbenega objekta	2001 - 2003	dr. Danijel Rebolj	3.794