Nalaganje ...
Raziskovalna dejavnost
| Koda | Veda | Področje | Podpodročje |
|---|---|---|---|
| 1.01.05 | Naravoslovje | Matematika | Teorija grafov |
| 2.07.07 | Tehnika | Računalništvo in informatika | Inteligentni sistemi - programska oprema |
Ključne besede
omrežja pogojev, grafi, nipergrafi, logika, teorija modelov, avtomatično dokazovanje, preverjanje dokazov, teorija kategorij
Upoš. tč.
80
A''
0
A'
0
A1/2
80
CI10
3
CImax
3
h10
1
A1
0,26
A3
0
Podatki za zadnjih 5 let (citati za zadnjih 10 let) na dan
22. september 2026;
Podatki za izračun ocene A3 se nanašajo na obdobje
2021-2025
Bibliografski kazalci uspešnosti za izvolitev v naziv
| Baza | Povezani zapisi | Citati | Čisti citati | Povprečje čistih citatov |
|---|---|---|---|---|
| WoS | 2 | 4 | 4 | 2 |
| Scopus | 3 | 7 | 7 | 2,33 |
Doktorske disertacije in druga zaključna dela
Prikaži
Pridobivanje rezultatov je v teku
Raziskovalni projekti ARIS
Legenda
| št. | Evidenčna št. | Naziv | Obdobje | Zadnji vodja obdobja | Štev. publikacij |
|---|---|---|---|---|---|
| 1. | L2-5373 |
|
1.1.2003 - 31.12.2005 |
|
6.209 |
| 2. | J2-7643 |
|
1.1.1996 - 30.6.2001 |
|
2.749 |
| 3. | L2-8732 |
|
1.1.1997 - 31.12.1999 |
|
2.955 |
| 4. | L2-8675 |
|
1.1.1997 - 31.12.1999 |
|
3.268 |
| 5. | J2-7253 |
|
1.1.1995 - 30.6.1998 |
|
3.578 |
| 6. | J2-7270 |
|
1.1.1995 - 30.6.1998 |
|
9.788 |
Raziskovalni in infrastrukturni programi ARIS
Legenda
| št. | Evidenčna št. | Naziv | Obdobje | Zadnji vodja obdobja | Štev. publikacij |
|---|---|---|---|---|---|
| 1. | P2-0209 |
|
1.1.2004 - 31.12.2008 |
|
7.455 |
Nimamo soglasja raziskovalca za objavo drugih podatkov.