Pregled po CROSBI profilu: Marina Bagić Babac (CROSBI Profil: 24297, MBZ: 250856)
Pronađeno 132 radova
-
101.Bagić Babac, MarinaModels 2010, Oslo // Mreža, 12/XV (2010), 26-26 (podatak o recenziji nije dostupan, članak, stručni)
-
102.Bagić Babac, Marina; Kunštić, Marijan; Jevtić, DraganTowards SDL Markup Language // 6th International Workshop on System Analysis and Modeling - SAM 2010
Oslo, 2010. str. 121-128 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
103.Bagić Babac, MarinaSmrzavanje i virusi // Zaposlena, 153 (2010), 32-32 (podatak o recenziji nije dostupan, članak, stručni)
-
104.Bagić Babac, MarinaSemantički web i ekonomija znanja // Zaposlena, 151 (2010), 30-30 (podatak o recenziji nije dostupan, članak, stručni)
-
105.Bagić Babac, Marina; Kunštić, MarijanMapping SDL Specification Fundamentals to Core SDL Ontology // Journal of Communications and Software and Systems, 6 (2010), 1; 18-30 (međunarodna recenzija, članak, znanstveni)
-
106.Bagić Babac, MarinaInformacija je moć // Zaposlena, 152 (2010), 40-40 (podatak o recenziji nije dostupan, članak, stručni)
-
107.Bagić Babac, Marina; Kunštić, Marijan; Jevtić, DraganDescribing Layered Communication Architecture in SDL Markup Language // Journal of information and organizational sciences, 34 (2010), 1; 1-16 (međunarodna recenzija, članak, znanstveni)
-
108.Bagić Babac, Marina; Kunštić, MarijanSDL Ontology for Specifying Systems based on Finite State Machines // Advances in Intelligent and Soft Computing, 71 (2010), 509-517 (međunarodna recenzija, članak, znanstveni)
-
109.Bagić Babac, Marina; Kunštić, MarijanTowards SDL Ontology // International journal of computer science and applications, 7 (2010), 1; 23-44 (međunarodna recenzija, članak, znanstveni)
-
110.Bagić Babac, MarinaProgramski agenti // Infotrend, 9 (2009), 173; 48-49 (podatak o recenziji nije dostupan, članak, stručni)
-
111.Bagić Babac, Marina; Kunštić, MarijanImplementation of Epistemic Operators for Model Checking Multi-agent Systems // Lecture Notes in Computer Science, 5796 (2009), 217-228 (međunarodna recenzija, članak, znanstveni)
-
112.Bagić Babac, MarinaVerification of dynamic epistemic properties in multi-agent systems, 2009., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb
-
113.Bagić, Marina; Babac, Aleksandar; Ciglarič, MojcaVerifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic // Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008 / Masoud Mohammadian (ur.).
Los Alamitos (CA) : Washington D.C. : Tokyo: IEEE Computer Society, 2008. str. 470-475 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
114.Bagić, Marina; Babac, Aleksandar; Kunštić, MarijanVerification of Communication Protocols in a Multi-agent System // Proceedings of the Fifth International Conference on Soft Computing as Transdisciplinary Science and Technology / Chbeir, R. ; Badr, Y ; Abraham, A. ; Laurent, D. ; Ferri, F. (ur.).
Cergy-Pontoise: ACM/IEEE, 2008. str. 286-291 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
115.Bagić, MarinaInformacijski sustavi za potporu upravljanju odnosima s kupcima, 2008., diplomski rad, Fakultet političkih znanosti, Zagreb
-
116.Bagić, Marina; Ciglarič, MojcaModelling Epistemic Properties for Specification and Verification of a Multi-agent System // Proceedings of the 2007 International Conference on Software Engineering Research and Practice SERP 2007 / Hamid R. Arabnia, Hassan Reza (ur.).
Las Vegas (NV): CSREA Press, 2007. str. 197-202 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
117.Bagić, Marina; Ciglarič, MojcaSpecification and Verification of Knowledge in a Multi-agent System // Proceedings of the 16th IASTED International Conference APPLIED SIMULATION AND MODELLING / F. De Felice (ur.).
Anaheim : Calgary : Zurich: ACTA Press, 2007. str. 168-173 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
118.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) -
119.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) -
120.Marina BagićNegativna energija 21. stoljeća // Vjesnik : hrvatski politički dnevnik, 2290 (2005), 14-14 (podatak o recenziji nije dostupan, komentar, ostalo)
-
121.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) -
122.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) -
123.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) -
124.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) -
125.Marina BagićMože li Zapad ikako promijeniti prirodni put Istoka // Vjesnik : hrvatski politički dnevnik, 1979 (2004), 12-12 (podatak o recenziji nije dostupan, komentar, ostalo)
