Marina Bagic Babac 2019-09-26T13:23:32+00:00

Marina Bagic Babac, PhD

Marina Bagic Babac
Marina Bagic BabacPostdoc
Marina Bagić Babac is a postdoctoral researcher at the Telecommunications Department of the Faculty of Electrical Engineering and Computing, University of Zagreb. She received her Dipl.Ing. (2001), M.Sc. (2004) and Ph.D. (2009) degrees in Electrical Engineering from the Faculty of Electrical Engineering and Computing, University of Zagreb, as well as an M.S. (2008) degree in Journalism from the Faculty of Political Sciences, University of Zagreb.

Her teaching and research activities are in a field of social communications from both computer science and sociological perspectives. Since 2001, she has participated as a research associate in a number of national research projects and led a bilateral Croatian-Slovenian project „Formal Analysis of Advanced Protocols for Grid Infrastructure“. She co-authored over twenty scientific and professional papers in international journals and conference proceedings in the field of agent-based computing. Currently, she serves as a Programme Committee member and a reviewer in international conferences and journals.

She is a member of the IEEE Communications Society and KES Focus Group on Agent and Multi-agent Systems.

  • Ph.D. (2009, Electrical Engineering, University of Zagreb Faculty of Electrical Engineering and Computing)
  • M.S. (2008, Journalism, University of Zagreb Faculty of Political Sciences)
  • M.Sc. (2004, Electrical Engineering, University of Zagreb Faculty of Electrical Engineering and Computing)
  • Dipl.Ing. (2001, Electrical Engineering, University of Zagreb Faculty of Electrical Engineering and Computing)
  • social phenomena
  • complex network analysis
  • social and machine learning
  • multi-agent systems

Publications

Bagić Babac, M. & Podobnik, V. (2018) What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia. Information Technology & People, 31 (2), 327-347 doi:10.1108/ITP-08-2016-0200. https://www.bib.irb.hr/878782

Grčić, K., Bagić Babac, M. & Podobnik, V. (2017) Generating Politician Profiles based on Content Analysis of Social Network Datasets. Journal of universal computer science, 23 (3), 236-255. https://www.bib.irb.hr/873398

Bagić Babac, M. & Podobnik, V. (2016) 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 (6), 814-833 doi:10.1108/OIR-02-2016-0050. https://www.bib.irb.hr/823337

Bagić Babac, M. & Jevtić, D. (2014) AgentTest : A specification language for agent-based system testing. Neurocomputing, 146, 230-248 doi:10.1016/j.neucom.2014.04.060. https://www.bib.irb.hr/710853

Bagić Babac, M. & Jevtić, D. (2013) Creating TTCN-3 Test Suite from CPN Specification. Journal of Information and Organizational Sciences, 37 (1), 1-13. https://www.bib.irb.hr/634400

Bagić Babac, M. & Jevtić, D. (2013) Abstract Test Suite Specification for ACL Communicating Agents. Frontiers in Artificial Intelligence and Applications, 252, 245-254 doi:10.3233/978-1-61499-254-7-245. https://www.bib.irb.hr/631992

Bagić Babac, M. (2012) New Words from the Internet. Zaposlena, 163, 35-36. https://www.bib.irb.hr/620507

Bagić Babac, M. (2012) Electronic mail private or public issue?. Zaposlena, 161, 38-38. https://www.bib.irb.hr/593509

Bagić Babac, M. (2012) Behind the new technologies. Zaposlena, 160, 32-32. https://www.bib.irb.hr/583425

Bagić Babac, M. (2011) Cloud computing. Zaposlena, 158, 30-30. https://www.bib.irb.hr/583593

Bagić Babac, M. (2011) Today I'm working online. Zaposlena, 157, 36-36. https://www.bib.irb.hr/583592

Bagić Babac, M. (2011) e-shopping. Zaposlena, 156, 36-36. https://www.bib.irb.hr/583587

Bagić Babac, M. (2011) Write it on Facebook, please. Zaposlena, 155, 32-32. https://www.bib.irb.hr/583584

Bagić Babac, M. (2010) Telecommunications à la carte. Zaposlena, 154, 32-32. https://www.bib.irb.hr/583581

Bagić Babac, M. (2010) Models 2010, Oslo. Mreža, 12/XV, 26-26. https://www.bib.irb.hr/511337

Bagić Babac, M. (2010) Computer break out. Zaposlena, 153, 32-32. https://www.bib.irb.hr/481163

Bagić Babac, M. (2010) Sematic web and economy of knowledge. Zaposlena, 151, 30-30. https://www.bib.irb.hr/475757

Bagić Babac, M. & Kunštić, M. (2010) Mapping SDL Specification Fundamentals to Core SDL Ontology. Journal of Communications and Software and Systems, 6 (1), 18-30. https://www.bib.irb.hr/475517

Bagić Babac, M. (2010) The Power of Information. Zaposlena, 152, 40-40. https://www.bib.irb.hr/475086

Bagić Babac, M., Kunštić, M. & Jevtić, D. (2010) Describing Layered Communication Architecture in SDL Markup Language. Journal of Information and Organizational Sciences, 34 (1), 1-16. https://www.bib.irb.hr/475084

Bagić Babac, M. & Kunštić, M. (2010) SDL Ontology for Specifying Systems based on Finite State Machines. Advances in Intelligent and Soft Computing, 71, 509-517. https://www.bib.irb.hr/471011

Bagić Babac, M. & Kunštić, M. (2010) Towards SDL Ontology. International Journal of Computer Science and Applications, 7 (1), 23-44. https://www.bib.irb.hr/471003

Bagić Babac, M. (2009) Software agents. Infotrend, 9 (173), 48-49. https://www.bib.irb.hr/440744

Bagić Babac, M. & Kunštić, M. (2009) Implementation of Epistemic Operators for Model Checking Multi-agent Systems. Lecture Notes in Computer Science, 5796, 217-228. https://www.bib.irb.hr/429825

Marina Bagić (2005) Negative energy of 21st century. Vjesnik : hrvatski politički dnevnik, 2290, 14-14. https://www.bib.irb.hr/441147

Marina Bagić (2004) West influence to the East. Vjesnik : hrvatski politički dnevnik, 1979, 12-12. https://www.bib.irb.hr/441139

Marina Bagić (2004) Scientists in Croatian society. Vjesnik : hrvatski politički dnevnik, 1961, 10-10. https://www.bib.irb.hr/441135

Bagić, M. (2004) Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. Lecture Notes in Computer Science, 3292, 842-853. https://www.bib.irb.hr/240594

Matetić, S. & Bagić Babac, M. (2013) Model-based Verification of the SIP Invite Scenario. U: Biljanović, P. (ur.)36th International Convention MIPRO 2013 Proceedings. https://www.bib.irb.hr/632901

Bagić Babac, M. & Jevtić, D. (2012) Modeliranje transportnih tokova obojenom Petrijevom mrežom. U: P. BIljanović (ur.)MIPRO 2012. https://www.bib.irb.hr/581726

Bagić Babac, M., Kunštić, M. & Jevtić, D. (2010) Towards SDL Markup Language. U: 6th International Workshop on System Analysis and Modeling - SAM 2010. https://www.bib.irb.hr/486088

Bagić, M., Babac, A. & Ciglarič, M. (2008) Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic. U: Masoud Mohammadian (ur.)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. https://www.bib.irb.hr/389490

Bagić, M., Babac, A. & Kunštić, M. (2008) Verification of Communication Protocols in a Multi-agent System. U: Chbeir, R., Badr, Y., Abraham, A., Laurent, D. & Ferri, F. (ur.)Proceedings of the Fifth International Conference on Soft Computing as Transdisciplinary Science and Technology. https://www.bib.irb.hr/370134

Bagić, M. & Ciglarič, M. (2007) Modelling Epistemic Properties for Specification and Verification of a Multi-agent System. U: Hamid R. Arabnia, H. (ur.)Proceedings of the 2007 International Conference on Software Engineering Research and Practice SERP 2007. https://www.bib.irb.hr/312200

Bagić, M. & Ciglarič, M. (2007) Specification and Verification of Knowledge in a Multi-agent System. U: F. De Felice (ur.)Proceedings of the 16th IASTED International Conference APPLIED SIMULATION AND MODELLING. https://www.bib.irb.hr/312175

Bagić, M. & Kunštić, M. (2006) Verification of Intelligent Agents with ACTL for Epistemic Reasoning. U: Masoud Mohammadian (ur.)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). https://www.bib.irb.hr/870582

Bagić, M. & Kunštić, M. (2006) Formal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems. U: Nketsa, A., Paludetto, M., Bertelle, C. (ur.)The 2006 European Simulation and Modelling Conference. https://www.bib.irb.hr/290239

Bagić, M. & Kunštić, M. (2005) Formal Modelling of Intelligent Agents used in Parallel Distributed Systems. U: Tandareanu, N. (ur.)Proceedings of the 5th International Conference on Artificial Intelligence and Digital Communications, Research Notes in Artificial Intelligence and Data Communications. https://www.bib.irb.hr/240598

Bagić, M. & Kunštić, M. (2005) Modeling of Inter-Agent Communication by Encapsulating the Negotiation Functionalities in ACL Messages. U: H.-W. Chu, M.J. Savoie, B. Sanchez, S.-M. Hong (ur.)Proceedings on The 3rd International Conference on Computing, Communications and Control Technologies CCCT '05. https://www.bib.irb.hr/201090

Bagić, M. & Kunštić, M. (2005) Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System. U: Gledec, J. (ur.)Proceedings of the 8th International Conference on Telecommunications ConTEL 2005. https://www.bib.irb.hr/196917

Kunštić, M. & Bagić, M. (2004) Verification and validation of multiagent system specified by agent UML. U: Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on. https://www.bib.irb.hr/871835

Kunštić, M. & Bagić, M. (2004) Formal infrastructure of multiagent system specified by Agent UML and Petri Nets. U: Chu, H. (ur.)Proceedings of the 2004 International Conference on Computing, Communications and Control Technologies (CCCT'04). (https://www.bib.irb.hr/154739). https://www.bib.irb.hr/154739

Kunštić, M. & Bagić, M. (2003) Development of formal infrastructure for perception of intelligent agents as problem solvers. U: Hsing-Wei Chu, Jose Ferrer, Juan M. Pineda (ur.)Proceedings, Volume |||, Computer, Communication and Control Techonologies. (https://www.bib.irb.hr/119440). https://www.bib.irb.hr/119440

Kunštić, M., Jukić, O. & Bagić, M. (2002) Definition of formal infrastructure for perception of intelligent agents as problem solvers. U: Nikola Rožić, D. (ur.)Proceedings on 2002 International Conference on Software, Telecommunications and Computer Networks. (https://www.bib.irb.hr/120194). https://www.bib.irb.hr/120194

Bagić Babac, M., Štriga, D. & Podobnik, V. (2017) Social Data Analytics: Representativeness of Social Datasets and Examples from the Political Domain. U: Lončarić, S. (ur.)Proceedings of the 2nd International Workshop on Data Science (IWDS 2017). https://www.bib.irb.hr/1051013

Bagić Babac, M., Štriga, D., Smailović, V. & Podobnik, V. (2016) Why does Social Data Mining Matter? Generating Insights about Influence, Trust and Sentiments on the Web. U: Lončarić, S. (ur.)Proceedings of the 1st International Workshop on Data Science (IWDS 2016). https://www.bib.irb.hr/1051007

Podobnik, V. & Bagić Babac, M. (2015) The role of social networking technologies in eLearning and eTeaching. U: Proceedings of the 10th EcoMedia European Education Conference. https://www.bib.irb.hr/823535

Bagić Babac, M. (2009) 'Verification of dynamic epistemic properties in multi-agent systems', doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb. https://www.bib.irb.hr/392561

Bagić, M. (2008) 'CRM Information Systems', diplomski rad, Fakultet političkih znanosti, Zagreb. https://www.bib.irb.hr/368534

Bagić, M. (2004) 'Formal model for specification of mobile telecommunications agents', magistarski rad, Fakultet elktrotehnike i računarstva, Zagreb. https://www.bib.irb.hr/195649

Bagić, M. (2001) 'Verification of process specification by programme simulation', diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb. https://www.bib.irb.hr/257658

Invited talks

Skip to content