Pregled po CROSBI profilu: Marijan Kunštić (CROSBI Profil: 18269, MBZ: 24710)
Pronađeno 86 radova
-
26.Bagić, Marina; Kunštić, MarijanVerification of Intelligent Agents with ACTL for Epistemic Reasoning // Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006) / Masoud Mohammadian (ur.).
Canberra: Institute of Electrical and Electronics Engineers (IEEE), 2006. str. 76-82 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
27.Dragun, NenadIzvođenje baze znanja iz baza podataka u sustavu upravljanja telekomunikacijskom mrežom, 2006., magistarski rad, Fakultet elektrotehnike i računarstva, Zagreb
-
28.Bagić, Marina; Kunštić, MarijanVerification of Intelligent Agents with ACTL for Epistemic Reasoning // Book of Abstracts of International Conference on Computational Intelligence for Modelling, Control and Automation Jointly with International Conference on Intelligent Agents Web Technologies and International Commerce / Mohammadian, M. (ur.).
Sydney: University of Canberra, Australija, 2006. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
29.Jevtić, Dragan; Kunštić, Marijan; Matijašević, StjepanLoad Protection Model based on Intelligent Agent Regulation // Lecture notes in computer science, 4251 (2006), 284-291 doi:10.1007/11892960_35 (međunarodna recenzija, članak, znanstveni)
-
30.Bagić, Marina; Kunštić, MarijanFormal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems // The 2006 European Simulation and Modelling Conference / Nketsa, A., Paludetto, M., Bertelle, C. (ur.).
Toulouse: EUROSIS-ETI, 2006. str. 328-332 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
31.Bagić, Marina; Kunštić, MarijanFormal Modelling of Intelligent Agents used in Parallel Distributed Systems // Proceedings of the 5th International Conference on Artificial Intelligence and Digital Communications, Research Notes in Artificial Intelligence and Data Communications / Tandareanu, N. (ur.).
Craiova: Reprograph, 2005. str. 77-83 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
32.Jevtić, Dragan; Kunštić, Marijan; Oužecki, DenisThe Effect of Alteration in Service Environments with Distributed Intelligent Agents // Lecture notes in computer science, 3683 (2005), 16-22 doi:10.1007/11553939_3 (međunarodna recenzija, članak, znanstveni)
-
33.Bagić, Marina; Kunštić, MarijanModeling of Inter-Agent Communication by Encapsulating the Negotiation Functionalities in ACL Messages // Proceedings on The 3rd International Conference on Computing, Communications and Control Technologies CCCT '05 / H.-W. Chu, M.J. Savoie, B. Sanchez, S.-M. Hong (ur.).
Austin (TX): International Institute of Informatics and Systemics, 2005. str. 137-142 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
34.Topolnik, MarkoOkružje za razvoj telekomunikacijske programske podrške zasnovano na jeziku XML, 2005., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb
-
35.Bagić, Marina; Kunštić, MarijanFormal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System // Proceedings of the 8th International Conference on Telecommunications ConTEL 2005 / Gledec, Jezic (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2005. str. 633-638 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
36.Kunštić, Marijan; Bagić, MarinaVerification and validation of multiagent system specified by agent UML // Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on
Damask: Institute of Electrical and Electronics Engineers (IEEE), 2004. str. 487-488 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
37.Bagić, MarinaFormalni model specifikacije pokretnih telekomunikacijskih agenata, 2004., magistarski rad, Fakultet elktrotehnike i računarstva, Zagreb
-
38.Kunštić, Marijan; Bagić, MarinaFormal infrastructure of multiagent system specified by Agent UML and Petri Nets // Proceedings of the 2004 International Conference on Computing, Communications and Control Technologies (CCCT'04) / Chu, Hsing-Wei (ur.).
Austin (TX): IIIS, 2004. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
39.Randić, Mirko; Kunštić, Marijan; Blašković, BrunoObject by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading // Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference / Matijašević, Maja ; Pejčinović, Branimir ; Tomšić, Željko ; Butković, Željko (ur.).
Zagreb: The Institute of Electrical and Electronics Engineers, 2004. str. 727-730 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
40.Kunštić, Marijan; Jukić, Oliver; Oblak, AndražSNMP protocol as base for alarm and data collecting system in telecommunication network management process // Proceedings on International Conference on Software, Telecommunications and Computer Networks SoftCOM 2003 / Rožić, Nikola ; Begušić, Dinko (ur.).
Split, 2003. str. 386-389 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
41.Bažant, Alen; Gledec, Gordan; Ilić, Željko; Ježić, Gordan; Kos, Mladen; Kunštić, Marijan; Lovrek, Ignac; Matijašević, Maja; Mikac, Branko; Sinković, VjekoslavOsnovne arhitekture mreža / Bažant, Alen (ur.).
Zagreb: Element, 2003 -
42.Kunštić, Marijan; Bažant, AlenOsnove upravljanja mrežom // Osnovne arhitekture mreža / Bažant, Alen (ur.).
Zagreb: Sveučilište u Zagrebu, 2003. -
43.Jevtić, Dragan; Kunštić, Marijan; Jerković, NenadThe Intelligent Agent-Based Control of Service Processing Capacity // Lecture notes in computer science, 2774 (2003), 668-674 doi:10.1007/978-3-540-45226-3_92 (međunarodna recenzija, članak, znanstveni)
-
44.Kunštić, Marijan; Bagić, MarinaDevelopment of formal infrastructure for perception of intelligent agents as problem solvers // Proceedings, Volume |||, Computer, Communication and Control Techonologies / Hsing-Wei Chu, Jose Ferrer, Juan M. Pineda (ur.).
Orlando (FL), 2003. str. 65-69 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
45.Kunštić, Marijan; Jukić, Oliver; Bagić, MarinaDefinition of formal infrastructure for perception of intelligent agents as problem solvers // Proceedings on 2002 International Conference on Software, Telecommunications and Computer Networks / Nikola Rožić, Dinko Begušić (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 2002. str. 9-12 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
46.Jevtić, Dragan; Kunštić, Marijan; Čunko, KrešimirTraffic-Dependent Routing Based on Self-adaptation // Conference Proceedings of the KES'2002 : Sixth International Conference on Knowledge-Based Intelligent Information and Engineering Systems / Damiani, Ernesto ; Jain, L.C. ; Howlett, Robert J. (ur.).
Amsterdam: IOS, 2002. str. 184-188 (poster, cjeloviti rad (in extenso), znanstveni) -
47.Bagić, MarinaVerifikacija specifikacije procesa programskom simulacijom, 2001., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
-
48.Jevtić, Dragan; Kunštić, MarijanCommunication Service Optimization by Self-tranined and Distributed Agent Pools // Frontiers in Artificial Intelligence and Applications, 69 (2001), 2; 929-933 (podatak o recenziji nije dostupan, članak, znanstveni)
-
49.Upravljanje telekomunikacijskom mrežom - TMN / Kunštić, Marijan (ur.). Rijeka: Hrvatska udruga za mikroprocesorske, procesne i informacijske sustave, mikroelektroniku i elektroniku, 2000 (zbornik)
-
50.Maloku, Naim; Frey-Pučko, Marieto; Kunštić, MarijanGeneration on Feasible Test Cases for Communication Protocols // Proceedings VITEL 2000 / XX (ur.).
Ljubljana, 2000. (poster, sažetak, znanstveni)
