Amelia Badica

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 39

Top Topics

Greedy Heuristics

Constraint Logic Programming

Top Venues

Publications

Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ion Ciora, Maria Ganzha, Marcin Paprzycki
Solving the Mountain Car Problem Using Genetic Algorithms. LSSC (2023)
Jan Sawicki, Maria Ganzha, Marcin Paprzycki, Amelia Badica
Exploring Usability of Reddit in Data Science and Knowledge Processing. Scalable Comput. Pract. Exp. 23 (1) (2022)
Mirjana Ivanovic, Costin Badica, Amelia Badica
Role of Intelligent Virtual Agents in Medical and Health Domains. INISTA (2022)
Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ion Ciora
Exploring the Blocks World state space. Concurr. Comput. Pract. Exp. 34 (14) (2022)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Doina Logofatu
Experiments with Solving Mountain Car Problem Using State Discretization and Q-Learning. ACIIDS (1) (2022)
Amelia Badica, Costin Badica, Vladimir Kurbalija, Ladjel Bellatreche, Mirjana Ivanovic
Guest editorial - applications of intelligent systems. Comput. Sci. Inf. Syst. 19 (1) (2022)
Elie Saad, Marcin Paprzycki, Maria Ganzha, Amelia Badica, Costin Badica, Stefka Fidanova, Ivan Lirkov, Mirjana Ivanovic
Generalized Zero-Shot Learning for Image Classification - Comparing Performance of Popular Approaches. Inf. 13 (12) (2022)
Amelia Badica, Costin Badica, Marek Bolanowski, Stefka Fidanova, Maria Ganzha, Stanislav Harizanov, Mirjana Ivanovic, Ivan Lirkov, Marcin Paprzycki, Andrzej Paszkiewicz, Kacper Tomczyk
Cascaded Anomaly Detection with Coarse Sampling in Distributed Systems. BDA (Astronomy, Science, and Engineering) (2021)
Amelia Badica, Costin Badica, Maria Ganzha, Mirjana Ivanovic, Marcin Paprzycki
Multi-agent Spatial SIR-Based Modeling and Simulation of Infection Spread Management. ICCS (3) (2021)
Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ion Ciora, Doina Logofatu
Optimal Knockout Tournaments: Definition and Computation. LSSC (2021)
Sabin-Mihai Simionescu, Amelia Badica, Costin Badica, Maria Ganzha, Marcin Paprzycki
On the Role of Blockchain in Evolving the Online Business Landscape. ICTAS (2021)
Amelia Badica, Costin Badica, Mirjana Ivanovic
Block structured scheduling using constraint logic programming. AI Commun. 33 (1) (2020)
Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ion Ciora, Felix Petcusin
Quantifying Blocks World State Space. INISTA (2020)
Costin Badica, Florin Leon, Amelia Badica
Freight transportation broker agent based on constraint logic programming. Evol. Syst. 11 (3) (2020)
Costin Badica, Amelia Badica, Mirjana Ivanovic, Ionut Dorinel Muraretu, Daniela Popescu, Cristinel Ungureanu
On the Role of Python in Programming-Related Courses for Computer Science and Engineering Academic Education. WorldCIST (3) (2020)
Amelia Badica, Costin Badica, Doina Logofatu, Ion Buligiu, Liviu Ciora
Modeling Block Structured Project Scheduling with Resource Constraints. LSSC (2019)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Doina Logofatu
Collective profitability in semi-competitive intermediation networks. J. Intell. Fuzzy Syst. 37 (6) (2019)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Doina Logofatu
Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming. IDC (2019)
Mirjana Ivanovic, Amelia Badica, Maria Ganzha, Marcin Paprzycki, Costin Badica, Aleksandra Klasnja-Milicevic
On Measuring Learning Success of Students with Disabilities in Virtual Environments. SQAMIA (2019)
Arkadiusz Zaluski, Maria Ganzha, Marcin Paprzycki, Costin Badica, Amelia Badica, Mirjana Ivanovic, Stefka Fidanova, Ivan Lirkov
Experimenting with facilitating collaborative travel recommendations. ICSTCC (2019)
Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ion Ciora, Maria Ganzha, Mirjana Ivanovic, Marcin Paprzycki
Optimizing Nash Social Welfare in Semi-Competitive Intermediation Networks. INISTA (2019)
Mirjana Ivanovic, Aleksandra Klasnja-Milicevic, Maria Ganzha, Amelia Badica, Marcin Paprzycki, Costin Badica
Usability and Quality Parameters for E-Learning Environments and Systems. SQAMIA (2018)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Doina Logofatu
Collective Profitability of DAG-Based Selling-Buying Intermediation Processes. IDC (2018)
Amelia Badica, Costin Badica, Ion Buligiu, Mirjana Ivanovic, Maria Ganzha, Marcin Paprzycki
On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis. SQAMIA (2018)
Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ciora
DEVS Modeling and Simulation Using BDI Agents: Preliminary Considerations. WIMS (2018)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Daniela Danciulescu
Multi-agent modelling and simulation of graph-based predator-prey dynamic systems: A BDI approach. Expert Syst. J. Knowl. Eng. 35 (5) (2018)
Amelia Badica, Costin Badica, Daniela Danciulescu, Doina Logofatu
Greedy Heuristics for Automatic Synthesis of Efficient Block-Structured Scheduling Processes from Declarative Specifications. AIAI (2018)
Amelia Badica, Costin Badica, Florin Leon, Ion Buligiu
Modeling and Optimization of Pickup and Delivery Problem Using Constraint Logic Programming. LSSC (2017)
Mirjana Ivanovic, Amelia Badica, Maria Ganzha, Costin Badica, Marcin Paprzycki
Improvement of Requirements Engineering Course - Medical Software Case Study. SQAMIA (2017)
Amelia Badica, Costin Badica, Florin Leon, Lucian Luncean
Declarative Representation and Solution of Vehicle Routing with Pickup and Delivery Problem. ICCS (2017)
Amelia Badica, Costin Badica, Catalina Sitnikov, Florin Leon
A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason. PDP (2017)
Amelia Badica, Costin Badica
Formal framework for distributed swarm computing: abstract model and properties. Soft Comput. 21 (17) (2017)
Amelia Badica, Costin Badica, Florin Leon, Daniela Danciulescu
Optimization of Freight Transportation Brokerage Using Agents and Constraints. EANN (2017)
Amelia Badica, Costin Badica, Maria Ganzha, Mirjana Ivanovic, Marcin Paprzycki
Experiments with Multiple BDI Agents with Dynamic Learning Capabilities. PAAMS (Workshops) (2016)
Amelia Badica, Zoran Budimac
Introduction to the Special Issue on "Engineering and Applications of Software Agents". Informatica (Slovenia) 40 (1) (2016)
Mirjana Ivanovic, Marcin Paprzycki, Maria Ganzha, Costin Badica, Amelia Badica
Software Metrics for Agent Technologies and Possible Educational Usage. SQAMIA (2016)
Amelia Badica, Costin Badica, Florin Leon, Ionut Buligiu
Modeling and Enactment of Business Agents Using Jason. SETN (2016)
Amelia Badica, Costin Badica, Marius Brezovan, Mirjana Ivanovic
Simulation of Dynamic Systems Using BDI Agents: Initial Steps. IDC (2016)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Ionut Buligiu
Collective Profitability and Welfare in Selling-Buying Intermediation Processes. ICCCI (2) (2016)
Amelia Badica, Costin Badica, Marius Brezovan
FSP Modeling of a Generic Distributed Swarm Computing Framework. IDC (2015)
Amelia Badica, Costin Badica, Mirjana Ivanovic, Dejan Mitrovic
An Approach of Temporal Difference Learning Using Agent-Oriented Programming. CSCS (2015)
Amelia Badica, Costel Ionascu, Carmen Radu
Elicitation of Business Process Knowledge: A University Use Case. BCI (2015)
Lucian Luncean, Costin Badica, Amelia Badica
Agent-Based System for Brokering of Logistics Services - Initial Report. ACIIDS (2) (2014)
Costin Badica, Sorin Ilie, Alex Muscar, Amelia Badica, Liviu Sandu, Raluca Sbora, Maria Ganzha, Marcin Paprzycki
Distributed Agent-Based Online Auction System. Comput. Informatics 33 (3) (2014)
Costin Badica, Marius Brezovan, Amelia Badica
An Overview of Smart Home Environments: Architectures, Technologies and Applications. BCI (Local) (2013)
Sorin Ilie, Costin Badica, Amelia Badica, Liviu Sandu, Raluca Sbora, Maria Ganzha, Marcin Paprzycki
Information flow in a distributed agent-based online auction system. WIMS (2012)
Costin Badica, Amelia Badica
A set-based approach to negotiation with concessions. BCI (2012)
Amelia Badica, Costin Badica, Sorin Ilie, Alex Muscar, Mihnea Scafes
Dynamic Selection of Negotiation Protocol in Multi-agent Systems for Disaster Management. ICCCI (2) (2011)
Costin Badica, Mihnea Scafes, Sorin Ilie, Amelia Badica, Alex Muscar
Dynamic Negotiations in Multi-Agent Systems. ICTERI (2011)
Sorin Ilie, Amelia Badica, Costin Badica
Distributed agent-based ant colony optimization for solving traveling salesman problem on a partitioned map. WIMS (2011)
Radu Burete, Amelia Badica, Costin Badica, Florin Moraru
Enhanced Reputation Model with Forgiveness for E-Business Agents. Int. J. Agent Technol. Syst. 3 (1) (2011)
Amelia Badica, Costin Badica
FSP and FLTL framework for specification and verification of middle-agents. Int. J. Appl. Math. Comput. Sci. 21 (1) (2011)
Amelia Badica, Costin Badica
Formal Verification of Business Processes Represented as Role Activity Diagrams. FedCSIS (2011)
Radu Burete, Amelia Badica, Costin Badica
Reputation Model with Forgiveness Factor for Semi-competitive E-Business Agent Societies. NDT (2) (2010)
Adriana Dobriceanu, Laurentiu Biscu, Amelia Badica, Costin Badica
The design and implementation of an agent-based auction service. Int. J. Agent Oriented Softw. Eng. 3 (2/3) (2009)
Amelia Badica, Costin Badica, Elvira Popescu, Mihnea Scafes
A Process algebraic framework for service coordination. SACI (2009)
Amelia Badica, Costin Badica
Modeling Interactions in Agent-Based English Auctions with Matchmaking Capabilities. IDC (2008)
Amelia Badica, Costin Badica
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods. AIMSA (2008)
Amelia Badica, Costin Badica
From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach. SYNASC (2008)
Amelia Badica, Costin Badica
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP. MSVVEIS (2008)
Amelia Badica, Costin Badica
Specification and Verification of an Agent-Based Auction Service. ISD (2008)
Amelia Badica, Costin Badica
Formalizing Agent-Based English Auctions Using Finite State Process Algebra. J. Univers. Comput. Sci. 14 (7) (2008)
Amelia Badica, Costin Badica, Elvira Popescu
Application of Logic Wrappers to Hierarchical Data Extraction from HTML. EPIA Workshops (2007)
Costin Badica, Amelia Badica, Elvira Popescu, Ajith Abraham
L-wrappers: concepts, properties and construction. Soft Comput. 11 (8) (2007)
Amelia Badica, Costin Badica
Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra. KES-AMSTA (2007)
Amelia Badica, Costin Badica, Elvira Popescu
Using Logic Wrappers to Extract Hierarchical Data from HTML. AWIC (2007)
Amelia Badica, Costin Badica, Valentin Litoiu
Middle-Agents Interactions as Finite State Processes: Overview and Example. WETICE (2007)
Iuliana Dogaru, Amelia Badica, Costin Badica
Conceptual Architecture of a Multi-Agent System for News Syndication. SYNASC (2006)
Elvira Popescu, Amelia Badica, Costin Badica
Mining Travel Resources on the Web Using L-Wrappers. ICAISC (2006)
Costin Badica, Amelia Badica
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML. XSym (2005)
Costin Badica, Maria Teodorescu, Cosmin Stoica Spahiu, Amelia Badica, Chris Fox
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. SYNASC (2005)
Costin Badica, Elvira Popescu, Amelia Badica
Learning Logic Wrappers for Information Extraction from the Web. SAINT Workshops (2005)
Costin Badica, Amelia Badica, Elvira Popescu
Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming. AWIC (2005)
Costin Badica, Amelia Badica
Rule Learning for Feature Values Extraction from HTML Product Information Sheets. RuleML (2004)
Costin Badica, Amelia Badica, Valentin Litoiu
Role Activity Diagrams as Finite State Processes. ISPDC (2003)