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č.
0
A''
0
A'
0
A1/2
0
CI10
3
CImax
3
h10
1
A1
0
A3
0
Podatki za zadnjih 5 let (citati za zadnjih 10 let) na dan
12. oktober 2025;
Podatki za izračun ocene A3 se nanašajo na obdobje
2020-2024
Bibliografski kazalci uspešnosti za izvolitev v naziv
| Baza | Povezani zapisi | Citati | Čisti citati | Povprečje čistih citatov |
|---|---|---|---|---|
| WoS | 1 | 4 | 4 | 4 |
| Scopus | 2 | 7 | 7 | 3,5 |
Doktorske disertacije in druga zaključna dela
Prikaži
Pridobivanje rezultatov je v teku
Raziskovalni projekti ARIS
Legenda
| št. | Evidenčna št. | Naziv | Obdobje | Vodja | Štev. publikacij |
|---|---|---|---|---|---|
| 1. | L2-5373 |
|
1.1.2003 - 31.12.2005 |
|
5.972 |
| 2. | J2-7643 |
|
1.1.1996 - 30.6.2001 |
|
2.577 |
| 3. | L2-8732 |
|
1.1.1997 - 31.12.1999 |
|
2.802 |
| 4. | L2-8675 |
|
1.1.1997 - 31.12.1999 |
|
3.101 |
| 5. | J2-7253 |
|
1.1.1995 - 30.6.1998 |
|
3.405 |
| 6. | J2-7270 |
|
1.1.1995 - 30.6.1998 |
|
9.401 |
Raziskovalni in infrastrukturni programi ARIS
Legenda
| št. | Evidenčna št. | Naziv | Obdobje | Vodja | Štev. publikacij |
|---|---|---|---|---|---|
| 1. | P2-0209 |
|
1.1.2004 - 31.12.2008 |
|
7.060 |
Nimamo soglasja raziskovalca za objavo drugih podatkov.