Marina Bagic Babac

According to our database, Marina Bagic Babac authored at least 22 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

2022

Application for data migration with complete data integrity.

Marina Bagic Babac, Sven Blagaic

Int. J. Syst. Syst. Eng., 2022

Opinion mining of online product reviews using a lexicon-based algorithm.

Ignacio Martín Borregón Musso, Marina Bagic Babac

Int. J. Data Anal. Tech. Strateg., 2022

2021

The Use of Deep Reinforcement Learning for Flying a Drone.

Sandro Domitran, Marina Bagic Babac

J. Inf. Sci. Eng., 2021

A Machine Learning Approach to Flight Control of a VTOL Tailsitter UAV.

Sandro Domitran, Marina Bagic Babac

Proceedings of the 44th International Convention on Information, 2021

2020

Resetting the Initial Conditions for Calculating Epidemic Spread: COVID-19 Outbreak in Italy.

Marina Bagic Babac, Vedran Mornar

IEEE Access, 2020

Predicting Dependency of Approval Rating Change from Twitter Activity and Sentiment Analysis.

Demijan Grgic, Mislav Karaula, Marina Bagic Babac, Vedran Podobnik

Proceedings of the Agents and Multi-Agent Systems: Technologies and Applications 2020, 2020

2018

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

2017

Generating Politician Profiles based on Content Analysis of Social Network Datasets.

Klara Grcic, Marina Bagic Babac, Vedran Podobnik

J. Univers. Comput. Sci., 2017

2016

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

2014

AgentTest: A specification language for agent-based system testing.

Marina Bagic Babac, Dragan Jevtic

Neurocomputing, 2014

2013

Abstract Test Suite Specification for ACL Communicating Agents.

Marina Bagic Babac, Dragan Jevtic

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

2010

Towards SDL Ontology.

Marina Bagic Babac, Marijan Kunstic

Int. J. Comput. Sci. Appl., 2010

SDL Ontology for Specifying Systems Based on Finite State Machines.

Marina Bagic Babac, Marijan Kunstic

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

2009

Verification of dynamic epistemic properties in multi-agent systems ; Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava.

Marina Bagic Babac

PhD thesis, 2009

Implementation of Epistemic Operators for Model Checking Multi-agent Systems.

Marina Bagic Babac, Marijan Kunstic

Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

2008

Verification of communication protocols in a multi-agent system.

Marina Bagic, Aleksandar Babac, Marijan Kunstic

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic.

Marina Bagic, Aleksandar Babac, Mojca Ciglaric

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007

Modelling Epistemic Properties for Specification and Verification of a Multi-agent System.

Marina Bagic, Mojca Ciglaric

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006

Verification of Intelligent Agents with ACTL for Epistemic Reasoning.

Marina Bagic, Marijan Kunstic

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), 29 November, 2006

2004

Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets.

Marina Bagic

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Formal infrastructure of multiagent system specified by Agent UML and Petri Nets.

Marijan Kunstic, Marina Bagic

Proceedings of the 2nd International Conference Computing, 2004