Formal infrastructure of multiagent system specified by Agent UML and Petri Nets. - Marijan Kunstic; Marina Bagic (CCCT (2), 2004)

Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. - Marina Bagic (OTM Workshops, 2004)

Verification of Intelligent Agents with ACTL for Epistemic Reasoning. - Marina Bagic; Marijan Kunstic (CIMCA/IAWTIC, 2006)

Modelling Epistemic Properties for Specification and Verification of a Multi-agent System. - Marina Bagic; Mojca Ciglaric (Software Engineering Research and Practice, 2007)

Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic. - Marina Bagic; Aleksandar Babac; Mojca Ciglaric (CIMCA/IAWTIC/ISE, 2008)

Verification of communication protocols in a multi-agent system. - Marina Bagic; Aleksandar Babac; Marijan Kunstic (CSTST, 2008)

Implementation of Epistemic Operators for Model Checking Multi-agent Systems. - Marina Bagic Babac; Marijan Kunstic (ICCCI, 2009)

Verification of dynamic epistemic properties in multi-agent systems ; Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava. - Marina Bagic Babac (2009)

SDL Ontology for Specifying Systems Based on Finite State Machines. - Marina Bagic Babac; Marijan Kunstic (PAAMS (Special Sessions and Workshops), 2010)

Towards SDL Ontology. - Marina Bagic Babac; Marijan Kunstic (Int. J. Comput. Sci. Appl., 2010)

Abstract Test Suite Specification for ACL Communicating Agents. - Marina Bagic Babac; Dragan Jevtic (KES-AMSTA, 2013)

AgentTest: A specification language for agent-based system testing. - Marina Bagic Babac; Dragan Jevtic (Neurocomputing, 2014)

A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football. - Marina Bagic Babac; Vedran Podobnik (Online Inf. Rev., 2016)

Generating Politician Profiles based on Content Analysis of Social Network Datasets. - Klara Grcic; Marina Bagic Babac; Vedran Podobnik (J. Univers. Comput. Sci., 2017)

What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia. - Marina Bagic Babac; Vedran Podobnik (Inf. Technol. People, 2018)

Predicting Dependency of Approval Rating Change from Twitter Activity and Sentiment Analysis. - Demijan Grgic; Mislav Karaula; Marina Bagic Babac; Vedran Podobnik (KES-AMSTA, 2020)

Resetting the Initial Conditions for Calculating Epidemic Spread: COVID-19 Outbreak in Italy. - Marina Bagic Babac; Vedran Mornar (IEEE Access, 2020)

A Machine Learning Approach to Flight Control of a VTOL Tailsitter UAV. - Sandro Domitran; Marina Bagic Babac (MIPRO, 2021)

The Use of Deep Reinforcement Learning for Flying a Drone. - Sandro Domitran; Marina Bagic Babac (J. Inf. Sci. Eng., 2021)

Opinion mining of online product reviews using a lexicon-based algorithm. - Marina Bagic Babac; Ignacio Martín Borregón Musso (Int. J. Data Anal. Tech. Strateg., 2022)

Application for data migration with complete data integrity. - Marina Bagic Babac; Sven Blagaic (Int. J. Syst. Syst. Eng., 2022)

Detecting Deception Using Natural Language Processing and Machine Learning in Datasets on COVID-19 and Climate Change. - Barbara Brzic; Ivica Boticki; Marina Bagic Babac (Algorithms, 2023)

Developing a data pipeline solution for big data processing. - Ivona Lipovac; Marina Bagic Babac (Int. J. Data Min. Model. Manag., 2024)

Effect of Private Deliberation: Deception of Large Language Models in Game Play. - Kristijan Poje; Mario Brcic; Mihael Kovac; Marina Bagic Babac (Entropy, 2024)

Comparing Machine Learning Models for Sentiment Analysis and Rating Prediction of Vegan and Vegetarian Restaurant Reviews. - Sanja Hanic; Marina Bagic Babac; Gordan Gledec; Marko Horvat 001 (Comput., 2024)

Analysis of the Impact of the Collateral Funds in Payment Channel Networks. - Ana Marija Eres; Marina Bagic Babac (IEEE Access, 2025)

Transformer-Based Approach for Solving Mathematical Problems Using Automatic Speech Recognition. - Ante Grgurevic; Marina Bagic Babac (IEEE Access, 2025)