Na FER-u postoji više zaposlenika s imenom

    doc. dr. sc. Marina Bagić Babac

    Docent, Zavod za primijenjeno računarstvo

      Izvorni znanstveni i pregledni radovi u CC časopisima
     

    1. Grčić, Klara; Bagić Babac, Marina; Podobnik, Vedran.
    Generating Politician Profiles based on Content Analysis of Social Network Datasets. // Journal of universal computer science. 23 (2017) , 3; 236-255 (članak, znanstveni).

    2. Bagić Babac, Marina; Podobnik, Vedran.
    A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football. // Online information Review. 40 (2016) , 6; 814-833 (članak, znanstveni).

    3. Bagić Babac, Marina; Jevtić, Dragan.
    AgentTest : A specification language for agent-based system testing. // Neurocomputing. 146 (2014) ; 230-248 (članak, znanstveni).
     
      Znanstveni radovi u drugim časopisima
     

    1. Bagić Babac, Marina; Jevtić, Dragan.
    Abstract Test Suite Specification for ACL Communicating Agents. // Frontiers in Artificial Intelligence and Applications. 252 (2013) ; 245-254 (članak, znanstveni).

    2. Bagić Babac, Marina; Jevtić, Dragan.
    Creating TTCN-3 Test Suite from CPN Specification. // Journal of Information and Organizational Sciences. 37 (2013) , 1; 1-13 (članak, znanstveni).

    3. Bagić Babac, Marina; Kunštić, Marijan.
    Towards SDL Ontology. // International Journal of Computer Science and Applications. 7 (2010) , 1; 23-44 (članak, znanstveni).

    4. Bagić Babac, Marina; Kunštić, Marijan.
    SDL Ontology for Specifying Systems based on Finite State Machines. // Advances in Intelligent and Soft Computing. 71 (2010) ; 509-517 (članak, znanstveni).

    5. Bagić Babac, Marina; Kunštić, Marijan.
    Mapping SDL Specification Fundamentals to Core SDL Ontology. // Journal of Communications and Software and Systems. 6 (2010) , 1; 18-30 (članak, znanstveni).

    6. Bagić Babac, Marina; Kunštić, Marijan; Jevtić, Dragan.
    Describing Layered Communication Architecture in SDL Markup Language. // Journal of Information and Organizational Sciences. 34 (2010) , 1; 1-16 (članak, znanstveni).

    7. Bagić Babac, Marina; Kunštić, Marijan.
    Implementation of Epistemic Operators for Model Checking Multi-agent Systems. // Lecture Notes in Computer Science. 5796 (2009) ; 217-228 (članak, znanstveni).

    8. Bagić, Marina.
    Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. // Lecture Notes in Computer Science. 3292 (2004) ; 842-853 (članak, znanstveni).
     
      Ostali radovi u drugim časopisima
     

    1. Bagić Babac, Marina.
    Što se krije iza novih tehnologija. // Zaposlena. 160 (2012) ; 32-32 (članak, stručni).

    2. Bagić Babac, Marina.
    Elektronička pošta privatna ili javna stvar?. // Zaposlena. 161 (2012) ; 38-38 (članak, stručni).

    3. Bagić Babac, Marina.
    Internetske jezikolomije. // Zaposlena. 163 (2012) ; 35-36 (ostalo, ostalo).

    4. Bagić Babac, Marina.
    Napiši mi to na Facebooku. // Zaposlena. 155 (2011) ; 32-32 (članak, stručni).

    5. Bagić Babac, Marina.
    e-kupovanje. // Zaposlena. 156 (2011) ; 36-36 (članak, stručni).

    6. Bagić Babac, Marina.
    Danas ne idem u ured, radit ću online. // Zaposlena. 157 (2011) ; 36-36 (članak, stručni).

    7. Bagić Babac, Marina.
    Računala u oblacima. // Zaposlena. 158 (2011) ; 30-30 (članak, stručni).

    8. Bagić Babac, Marina.
    Informacija je moć. // Zaposlena. 152 (2010) ; 40-40 (članak, stručni).

    9. Bagić Babac, Marina.
    Semantički web i ekonomija znanja. // Zaposlena. 151 (2010) ; 30-30 (članak, stručni).

    10. Bagić Babac, Marina.
    Smrzavanje i virusi. // Zaposlena. 153 (2010) ; 32-32 (članak, stručni).

    11. Bagić Babac, Marina.
    Models 2010, Oslo. // Mreža. 12/XV (2010) ; 26-26 (članak, stručni).

    12. Bagić Babac, Marina.
    Telekomunikacije à la carte. // Zaposlena. 154 (2010) ; 32-32 (članak, stručni).

    13. Bagić Babac, Marina.
    Programski agenti. // Infotrend. 9 (2009) , 173; 48-49 (članak, stručni).

    14. Marina Bagić.
    Negativna energija 21. stoljeća. // Vjesnik : hrvatski politički dnevnik. 2290 (2005) ; 14-14 (komentar, ostalo).

    15. Marina Bagić.
    Nove ideje gledaju sa strahom, skepsom i nevjericom. // Vjesnik : hrvatski politički dnevnik. 1961 (2004) ; 10-10 (komentar, ostalo).

    16. Marina Bagić.
    Može li Zapad ikako promijeniti prirodni put Istoka. // Vjesnik : hrvatski politički dnevnik. 1979 (2004) ; 12-12 (komentar, ostalo).
     
      Radovi u postupku objavljivanja
     

    1. Bagić Babac, Marina; Podobnik, Vedran.
    What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia. // Information Technology & People. (2017) (prihvaćen za objavljivanje).
     
      Znanstveni radovi u zbornicima skupova s međunar.rec.
     

    1. Matetić, Siniša; Bagić Babac, Marina.
    Model-based Verification of the SIP Invite Scenario // 36th International Convention MIPRO 2013 Proceedings / Biljanović, P. (ur.).
    Rijeka : Croatian Society for Information and Communication Technology, Electronics and Microelectronics - MIPRO, 2013. 1079-1084 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    2. Bagić Babac, Marina; Kunštić, Marijan; Jevtić, Dragan.
    Towards SDL Markup Language // 6th International Workshop on System Analysis and Modeling - SAM 2010.
    Oslo, 2010. 121-128 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    3. Bagić, Marina; Babac, Aleksandar; Ciglarič, Mojca.
    Verifying 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, California, Washington, Tokyo : IEEE Computer Society, 2008. 470-475 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    4. Bagić, Marina; Babac, Aleksandar; Kunštić, Marijan.
    Verification 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. 286-291 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    5. Bagić, Marina; Ciglarič, Mojca.
    Specification 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. 168-173 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    6. Bagić, Marina; Ciglarič, Mojca.
    Modelling 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 Nevada : CSREA Press, 2007. 197-202 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    7. Bagić, Marina; Kunštić, Marijan.
    Formal 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. 328-332 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    8. Bagić, Marina; Kunštić, Marijan.
    Verification 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 : IEEE, 2006. 76-82 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    9. Bagić, Marina; Kunštić, Marijan.
    Formal 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 : FER, 2005. 633-638 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    10. Bagić, Marina; Kunštić, Marijan.
    Modeling 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 : International Institute of Informatics and Systemics, 2005. 137-142 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    11. Bagić, Marina; Kunštić, Marijan.
    Formal 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. 77-83 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    12. Kunštić, Marijan; Bagić, Marina.
    Formal 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 : IIIS, 2004. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    13. Kunštić, Marijan; Bagić, Marina.
    Verification and validation of multiagent system specified by agent UML // Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on.
    Damask : IEEE, 2004. 487-488 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    14. Kunštić, Marijan; Bagić, Marina.
    Development 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, 2003. 65-69 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

    15. Kunštić, Marijan; Jukić, Oliver; Bagić, Marina.
    Definition 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 : University of Split, FESB, 2002. 9-12 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
     
      Drugi radovi u zbornicima skupova s recenzijom
     

    1. Bagić Babac, Marina; Jevtić, Dragan.
    Modeliranje transportnih tokova obojenom Petrijevom mrežom // MIPRO 2012 / P. BIljanović (ur.).
    Rijeka : Croatian Society for Information and Communication Technology, Electronics and Microelectronics - MIPRO, 2012. 1102-1105 (predavanje,domaća recenzija,objavljeni rad,stručni).
     
      Sažeci u zbornicima skupova
     

    1. Podobnik, Vedran; Bagić Babac, Marina.
    The role of social networking technologies in eLearning and eTeaching // Proceedings of the 10th EcoMedia European Education Conference.
    (pozvano predavanje,sažetak,stručni).
     
      Disertacije
     

    1. Bagić Babac, Marina.
    Verification of dynamic epistemic properties in multi-agent systems / doktorska disertacija.
    Zagreb : Fakultet elektrotehnike i računarstva, 28.04.2009. 2009., 132 str. Voditelj: Kunštić, Marijan.
     
      Magistarski radovi
     

    1. Bagić, Marina.
    Formalni model specifikacije pokretnih telekomunikacijskih agenata / magistarski rad.
    Zagreb : Fakultet elktrotehnike i računarstva, 03.12. 2004., 103 str. Voditelj: Kunštić, Marijan.
     
      Diplomski radovi
     

    1. Bagić, Marina.
    Informacijski sustavi za potporu upravljanju odnosima s kupcima / diplomski rad.
    Zagreb : Fakultet političkih znanosti, 15.10.2008. 2008., 42 str. Voditelj: Prelog, Nenad.

    2. Bagić, Marina.
    Verifikacija specifikacije procesa programskom simulacijom / diplomski rad.
    Zagreb : Fakultet elektrotehnike i računarstva, 16.05. 2001., 105 str. Voditelj: Kunštić, Marijan.
     
      Vođenje disertacija, magistarskih i diplomskih radova
     

    1. Ergović, Hrvoje.
    Integracija i modeliranje procesa pomoću obojene Petrijeve mreže / završni rad - diplomski/integralni studij.
    Zagreb : Fakultet elektrotehnike i računarstva, 03.07 2012, 52 str. Voditelj: Jevtić, Dragan.

    2. Gradečak, Hrvoje.
    Modeliranje procesa pomoću obojene Petrijeve mreže / završni rad - diplomski/integralni studij.
    Zagreb : Fakultet elektrotehnike i računarstva, 03.07 2012, 55 str. Voditelj: Jevtić, Dragan.
     

    Životopis

    Marina Bagić Babac diplomirala je 2001. na Zavodu za telekomunikacije Fakulteta elektrotehnike i računarstva s naglaskom na znanstveno istraživački rad. Tijekom zadnjeg semestra studija radila je u STROM Telecomu u Pragu i u Zagrebu kao C/C++ programerka.  

    Znanstveni magisterij završila je 2004. s temom "Formalni model specifikacije pokretnih telekomunikacijskih agenata", a doktorsku disertaciju obranila 2009. s temom "Verification of dynamic epistemic properties in multi-agent systems". Tijekom poslijediplomskog studija usavršavala se na Fakulteti za elektrotehniko, računalništvo in informatiko, Univerza v Mariboru te na Fakulteti za računalništvo in informatiko, Univerza v Ljubljani.

    Na Fakultetu političkih znanosti diplomirala je novinarstvo (smjerovi Tisak i Odnosi s javnošću) te stekla zvanje diplomiranog novinara.

    Nastava

    Sveučilišni preddiplomski

    Sveučilišni diplomski

    Profesionalni interesi i članstva

    • Complex network analysis
    • Machine learning
    • Behavioural Operational Research

    Osobni podaci

    Godina diplomiranja:
    2001.
    Godina magistriranja:
    2004.
    Godina doktoriranja:
    2009.
    Na zavodu od:
    2001.