COBISS Co-operative Online Bibliographic system & services COBISS
PhD Robert Meolic [17878]
Representative bibliographic units
ARTICLES AND OTHER COMPONENT PARTS
1.01 Original scientific article
1.
MEOLIC, Robert, BREZOČNIK, Zmago. Flexible job shop scheduling using zero-suppressed
binary decision diagrams. Advances in production engineering & management. Dec. 2018, vol. 13, no. 4, str. 373-388, ilustr. ISSN 1854-6250. http://www.dlib.si/details/URN:NBN:SI:doc-PG9NG4XQ, DOI: 10.14743/apem2018.4.297. [COBISS.SI-ID 21875734]
2.
MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. ACTLW - an action-based computation
tree logic with unless operator. Information sciences. [Print ed.]. 2008, vol. 178, iss. 6, str. 1542-1557. ISSN 0020-0255. http://dx.doi.org/10.1016/j.ins.2007.10.023, Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 12047638]
3.
MEOLIC, Robert, FANTECHI, Alessandro, GNESI, Stefania. Witness and counterexample
automata for ACTL. In: DE FRUTOS-ESCRIG, David (ed.), NÚÑEZ, Manuel (ed.). Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG
6.1 international conference, Madrid, Spain, September 2004 : proceedings. Berlin: Springer, cop. 2004. Vok. 3235, str. 259-275. Lecture notes in computer
science, vol. 3235. ISBN 3-540-23252-4. ISSN 0302-9743. [COBISS.SI-ID 9120534]
1.03 Other scientific articles
4.
MEOLIC, Robert. The Biddy BDD package. Journal of open source software. 2019, vol. 4, no. 34, str. 1-4. ISSN 2475-9066. DOI: 10.21105/joss.01189. [COBISS.SI-ID 22134294]
1.08 Published scientific conference contribution
5.
DIJK, Tom van, WILLE, Robert, MEOLIC, Robert. Tagged BDDs: combining reduction rules
from different decision diagram types. In: STEWART, Daryl (ed.), WEISSENBACHER, Georg
(ed.). Proceedings of the 17th Conference on Formal method in computer-aided design (FMCAD
2017). Wien: [s. n.], 2017. Str. 108-115, ilustr. http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/fmcad17_proceedings.pdf. [COBISS.SI-ID 21072662]
6.
MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. Computing testing equivalence with
binary decision diagrams. In: ZAJC, Baldomir (ed.). 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]
7.
MEOLIC, Robert, BREZOČNIK, Zmago. Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD.
In: ZAJC, Baldomir (ed.), SOLINA, Franc (ed.). 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]
MONOGRAPHS AND OTHER COMPLETED WORKS
2.08 Doctoral dissertation
8.
MEOLIC, Robert. Akcijska logika dreves izvajanj z operatorjem unless : doktorska disertacija. Maribor: [R. Meolic], 2005. XXVI, 170 str., ilustr. Fakulteta za elektrotehniko,
računalništvo in informatiko, Doktorske disertacije. Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 9981718]
2.09 Master's thesis
9.
MEOLIC, Robert. Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko delo. Maribor: [R. Meolic], 1999. XXII, 208 str., graf. prikazi. Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 4972822]
2.11 Undergraduate thesis
10.
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. Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 1821974]