What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia
Social Data Analytics: Representativeness of Social Datasets and Examples from the Political Domain
Generating Politician Profiles based on Content Analysis of Social Network Datasets
Why does Social Data Mining Matter? Generating Insights about Influence, Trust and Sentiments on the Web
A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football
The role of social networking technologies in eLearning and eTeaching
AgentTest : A specification language for agent-based system testing
Creating TTCN-3 Test Suite from CPN Specification
Model-based Verification of the SIP Invite Scenario
Abstract Test Suite Specification for ACL Communicating Agents
New Words from the Internet
Electronic mail private or public issue?
Behind the new technologies
Modeliranje transportnih tokova obojenom Petrijevom mrežom
Cloud computing
Today I'm working online
e-shopping
Write it on Facebook, please
Telecommunications à la carte
Models 2010, Oslo
Towards SDL Markup Language
Computer break out
Sematic web and economy of knowledge
Mapping SDL Specification Fundamentals to Core SDL Ontology
The Power of Information
Describing Layered Communication Architecture in SDL Markup Language
SDL Ontology for Specifying Systems based on Finite State Machines
Towards SDL Ontology
Software agents
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
Verification of dynamic epistemic properties in multi-agent systems
Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic
Verification of Communication Protocols in a Multi-agent System
CRM Information Systems
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System
Specification and Verification of Knowledge in a Multi-agent System
Verification of Intelligent Agents with ACTL for Epistemic Reasoning
Formal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems
Negative energy of 21st century
Formal Modelling of Intelligent Agents used in Parallel Distributed Systems
Modeling of Inter-Agent Communication by Encapsulating the Negotiation Functionalities in ACL Messages
Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System
Verification and validation of multiagent system specified by agent UML
West influence to the East
Scientists in Croatian society
Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets
Formal model for specification of mobile telecommunications agents
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets
Development of formal infrastructure for perception of intelligent agents as problem solvers
Definition of formal infrastructure for perception of intelligent agents as problem solvers
Verification of process specification by programme simulation
Biography
Marina Bagić Babac is an Assistant Professor at Department of Applied Computing. She actively conducts scientific research in the field of social computing, studying human behaviour from social media data, and models algorithms applicable in various domains of machine learning and natural language processing.
She graduated from the Department of Telecommunications of the Faculty of Electrical Engineering and Computing with an emphasis on scientific research. During the last semester, she worked at STROM Telecom in Prague as a C / C ++ programmer.
She obtained her Master's in Science degree with the thesis "Formal Model for Specifications of Mobile Telecommunication Agents" and a Doctor of Philosophy with a doctoral dissertation "Verification of Dynamic Epistemic Properties in Multi-Agent Systems". During her postgraduate studies, she studied at the Faculty of Electrical Engineering, Computing and Informatics, University of Maribor and at the Faculty of Computing and Informatics, University of Ljubljana.
At the Faculty of Political Science, she obtained a Master's degree in journalism (Press and Public Relations).
Teaching duties
University undergraduate
- Algorithms and Data Structures (Lecturers)
- BSc Thesis (Lecturers)
- BSc Thesis (Lecturers)
- BSc Thesis (Lecturers)
- BSc Thesis (Lecturers)
- Introduction to Programming (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
University graduate
- Natural Language Processing (Lecturer in charge)
- Operations Research (Lecturer in charge)
- Project (Lecturers)
Postgraduate doctoral study programme
- Operational research (Lecturer in charge)
- Social networking and computing (Lecturer in charge)
Competences
-
Systems, man, and cybernetics
Natural languages Natural language processing Sentiment analysis Emotion recognition Affective computing -
Computational and artificial intelligence
Machine learning Statistical learning Predictive models -
Computers and information processing
Crowdsourcing Social computing Network theory (graphs) Data acquisition User-generated content Data analysis Data collection Data integration Data preprocessing Text processing Crowdsourcing Social computing Data mining Text analysis Text mining -
Mathematics
Machine learning algorithms Statistical analysis