COBISS Kooperativni online bibliografski sistem in servisi COBISS
dr. Aleš Časar [15672]
Reprezentativne bibliografske enote
ČLANKI IN DRUGI SESTAVNI DELI
1.01 Izvirni znanstveni članek
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.
ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Poštenostne omejitve v simboličnem
preverjanju modelov s CTL. 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. 39-42. ISBN
961-6062-14-X, ISBN 961-6062-15-8. [COBISS.SI-ID 4006934]
3.
BREZOČNIK, Zmago, ČASAR, Aleš, KAPUS, Tatjana. Efficient symbolic traversal algorithms
using partitioned transition relations. V: BREZOČNIK, Zmago (ur.), KAPUS, Tatjana
(ur.). Proceedings of the COST 247 International Workshop on Applied Formal Methods in System
Design, June 17 - 19, 1996, Maribor, Slovenia. Maribor: Faculty of Electrical Engineering and Computer Science, 1996. Str. 146-155.
ISBN 86-435-0155-7. [COBISS.SI-ID 2471702]
4.
ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Exploiting partitioned transition relations
for efficient symbolic model checking in CTL. V: Proceedings. The European Design and Test conference, March 11-14, 1996, Paris, France. Los Alamitos:
IEEE Computer Society Press, 1996. Str. 606. ISBN 0-8186-7423-7, ISBN 0-8186-7424-5,
ISBN 0-8186-7425-3. [COBISS.SI-ID 2471446]
5.
ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Simbolično preverjanje končnih avtomatov
s CTL. 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. 51-54. ISBN 961-6062-08-5,
ISBN 961-6062-09-3. [COBISS.SI-ID 2193430]
6.
ČASAR, Aleš, BREZOČNIK, Zmago. Simbolično preiskovanje prostora stanj končnih avtomatov.
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. Zv. a, str. 85-88. ISBN 961-6062-06-9,
ISBN 961-6062-07-7. [COBISS.SI-ID 7741444]
MONOGRAFIJE IN DRUGA ZAKLJUČENA DELA
2.09 Magistrsko delo
7.
ČASAR, Aleš. Verifikacija končnih avtomatov s simboličnim preverjanjem modelov : magistrsko delo. Maribor: [A. Časar], 1998. XXVI, 140 str., graf. prikazi. [COBISS.SI-ID 3701014]
2.11 Diplomsko delo
8.
ČASAR, Aleš. Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo. Maribor: [A. Časar], 1995. XVIII, 95 str. Fakulteta za elektrotehniko, računalništvo
in informatiko, Diplomska dela visokošolskega študija. Digitalna knjižnica Univerze v Mariboru – DKUM. [COBISS.SI-ID 1821718]
2.21 Programska oprema
9.
ČASAR, Aleš, MEOLIC, Robert, BREZOČNIK, Zmago. BDD programming package. Maribor: Faculty of Electrical Engineering and Computer Science, 1995. http://biddy.meolic.com/, Digitalna knjižnica Univerze v Mariboru – DKUM. [COBISS.SI-ID 3145750]