dr. Robert Meolic [17878]

1. ČASAR, Aleš, MEOLIC, Robert, BREZOČNIK, Zmago, HORVAT, Bogomir. Predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafi. Elektrotehniški vestnik. [Slovenska tiskana izd.]. 59 (1992), 5 ; str. 299-307. ISSN 0013-5852. [COBISS.SI-ID 4599556]

1.08 Objavljeni znanstveni prispevek na konferenci

2. MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. Computing testing equivalence with binary decision diagrams. V: ZAJC, Baldomir (ur.). Zbornik sedme Elektrotehniške in računalniške konference ERK '98, 24. - 26. september 1998, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1998. Zv. b, str. 51-54. ISBN 961-6062-14-X, ISBN 961-6062-15-8. [COBISS.SI-ID 4007190]

3. MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. Verifying a Bounded Retransmission Protocol using VIS. V: ZAJC, Baldomir (ur.). Zbornik šeste Elektrotehniške in računalniške konference ERK '97, 25. - 27. september 1997, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1997. Str. b/15-18. ISBN 961-6062-11-5, ISBN 961-6062-12-3. [COBISS.SI-ID 3084310]

4. MEOLIC, Robert, BREZOČNIK, Zmago. Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD. V: ZAJC, Baldomir (ur.), SOLINA, Franc (ur.). Zbornik pete Elektrotehniške in računalniške konference ERK '96, 19. - 21. september 1996, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1996. Str. b/11-14. ISBN 961-6062-08-5, ISBN 961-6062-09-3. [COBISS.SI-ID 2199318]

5. MEOLIC, Robert, BREZOČNIK, Zmago. Predstavitev slik z binarnimi odločitvenimi grafi. V: SOLINA, Franc (ur.), ZAJC, Baldomir (ur.). Zbornik četrte Elektrotehniške in računalniške konference ERK '95, 25. - 27. september 1995, Portorož, Slovenija. Ljubljana: Slovenska sekcija IEEE, 1995. B, str. 111-114. ISBN 961-6062-06-9, ISBN 961-6062-07-7. [COBISS.SI-ID 7885316]

MONOGRAFIJE IN DRUGA ZAKLJUČENA DELA

2.11 Diplomsko delo

6. MEOLIC, Robert. Uporaba urejenih odločitvenih grafov pri računalniški obdelavi logičnih funkcij : diplomsko delo. Maribor: [R. Meolic], 1995. 98 str., ilustr. Fakulteta za elektrotehniko, računalništvo in informatiko, Diplomska dela visokošolskega študija. https://dk.um.si/IzpisGradiva.php?id=67113, https://dk.um.si/IzpisGradiva.php?id=67113. [COBISS.SI-ID 1821974]

2.21 Programska oprema

7. ČASAR, Aleš, MEOLIC, Robert, BREZOČNIK, Zmago. BDD programming package. Maribor: Faculty of Electrical Engineering and Computer Science, 1995. http://biddy.meolic.com/, https://dk.um.si/IzpisGradiva.php?id=35076. [COBISS.SI-ID 3145750]

IZVEDENA DELA (DOGODKI)

3.13 Organiziranje znanstvenih in strokovnih sestankov

8. BREZOČNIK, Zmago, BALAN, Filip Samo, ČASAR, Aleš, DUGONIK, Bogdan, HORVAT, Bogomir, JAGODIČ, Marko, KAPUS, Tatjana, KRUŠČIČ, Andrej, MEOLIC, Robert, FREY-PUČKO, Marjeta, ŠTRAKL, Marjan. COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19, 1996, Maribor, Slovenia. 1996. [COBISS.SI-ID 3155478]