Pregled po CROSBI profilu: Petar Knežević (CROSBI Profil: 15934, MBZ: 21376)

26.

Blašković, Bruno; Knežević, Petar; Randić, Mirko

Model checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Bratislava: Institute of Electrical and Electronics Engineers (IEEE), 2001. str. 532-535 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

27.

Blaskovic, B.; Dembitz, S.; Knezevic, P.

Model checking of concurrent system with SDL/sup --/ specification // Proceedings of 10th MELECON / Economides, C. (ur.).
Lahti: Institute of Electrical and Electronics Engineers (IEEE), 2000. str. 77-80 doi:10.1109/melcon.2000.880372 (predavanje, međunarodna recenzija, sažetak, znanstveni)

doi ieeexplore.ieee.org

28.

Blašković, Bruno; Dembitz, Šandor; Knežević, Petar; Randić, Mirko;

Linear Network Analyser Design with Heterogeneous Component Composition // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nikozija: Violaris Press Ltd, Nicosia, Cyprus, 2000. str. 89-92 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

29.

Blašković, Bruno; Dembitz, Šandor; Knežević, Petar;

Model Checking of Concurrent System with SDL-- Specification // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nikozija: Violaris Press Ltd, Nicosia, Cyprus, 2000. str. 77-80 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

30.

Blašković, Bruno; Knežević, Petar; Randić, Mirko.

Generic parser for (CO)4PE metamodel framework // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Beč: DAAAM International, Vienna, 2000. str. 029-030 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

31.

Knežević, Petar; Blašković, Bruno; Segarić, Krešimir;

An approach to build high available and high performance workload distribution system // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Beč: DAAAM International, Vienna, 2000. str. 231-232 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

32.

Blašković, Bruno; Knežević, Petar;

Concurrent Process Synthesis and Protocol Specification for Intelligent Network // Elektrotehniški vestnik, 66 (1999), 240-248 (međunarodna recenzija, članak, znanstveni)

33.

Blašković Bruno; Knežević, Petar; Randić, Mirko

Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1999. str. 153-162 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

34.

Blašković, Bruno; Knežević, Petar; Dembitz, Šandor

Communication Based Design of Parallel Programs // Annals of DAAAM for 1999 & Proceedings / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 1999. str. 49-50 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

35.

Dembitz, Šandor; Knežević, Petar; Sokele, Mladen

Five Years of Hascheck // International Conference on Software in Telecommunications and Computer Networks - SoftCOM ´99 / Rožić, Nikola ; Begušić, Dinko ; Pavelin, Ivan ; Burmaz, Branimir (ur.).
Split: FESB, Univesty of Split, 1999. str. 299-307 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

36.

Dembitz, Šandor; Knežević, Petar; Sokele, Mladen

Hascheck - The Croatian Academic Spelling Checker // Applications and Innovations in Expert Systems IV / Milne, Robert ; Macintosh, Ann ; Bremer, Max (ur.).
London : Berlin : Heidelberg : New York (NY) : Barcelona : Hong Kong: Springer, 1999. str. 184-197

37.

Blašković, B.; Knežević, P.; Segarić, K.

Workload Distribution in Internet/Intranet Environment // Proceedings of the Intl. Conf. on Software in Telecommunications and Computer Networks SoftCOM 98 / Rožić, N. ; Begušić, D. (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1998. str. 513-520 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

38.

Randić Mirko; Šimunić Mislav; Knežević Petar

Modelling Structure and Dynamic Behaviour of Web Pages Augmented with Dynamic HTML // Annals of DAAAM for 1998. & Proceeding of 9th International DAAAM Symposium / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 1998. str. 413-414 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

39.

Dembitz, Šandor; Knežević, Petar; Sokele, M.

Energy Aspects by Learning of an Automation // Proceedings of the 9th DAAM Symposium
Cluj - Napoca: DAAM, 1998. str. 161-162 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

40.

Dembitz, Šandor; Knežević, Petar; Sokele, M.

Learning Words: a Cognoelectrical Analogy // Pre-Proceedings of the AICS '98
Dublin: AICS, 1998. str. 19-21 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

41.

Knežević, Petar; Segarić, Krešimir

A method of centralized administration, users authorization, monitoring and control of services in computer networks // Proceedings of the MELECON '98
Tel Aviv: MELECON, 1998. str. 1366-1369 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

42.

Jurić, Josip; Bažant, Alen; Knežević, Petar

An Internet Service for the Visually Impaired // Proceedings of the SoftCOM'97
Split, 1997. str. 201-208 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

43.

Knežević, Petar; Trišić, S.

Interoperability between business processes and electronic commerce // Zbornik radova MIPRO '97
Opatija: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1997. str. 2.90-2.95 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

44.

Segarić, Krešimir; Knežević, Petar

Pristup centraliziranom nadzoru korištenja telematskih usluga // Zbornik radova MIPRO '97
Opatija: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1997. str. 2.84-2.89 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

45.

Knežević, Petar; Segarić, Krešimir

Centralization of Logging, Monitoring and Control of Processes in Wireless and Fixed Telecommunitacion Network // Proceedings ICECOM '97 / Bartolić, Juraj (ur.).
Dubrovnik, Hrvatska: Hrvatsko društvo za komunikacije, računarstvo, elektroniku, mjerenja I automatiku (KoREMA), 1997. str. 166-169 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)