Amelia Badica

Orcid: 0000-0003-0137-9676

According to our database1, Amelia Badica authored at least 76 papers between 2003 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Exploring Usability of Reddit in Data Science and Knowledge Processing.
Scalable Comput. Pract. Exp., 2022

Generalized Zero-Shot Learning for Image Classification - Comparing Performance of Popular Approaches.
Inf., 2022

Exploring the Blocks World state space.
Concurr. Comput. Pract. Exp., 2022

Guest editorial - applications of intelligent systems.
Comput. Sci. Inf. Syst., 2022

Role of Intelligent Virtual Agents in Medical and Health Domains.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

Experiments with Solving Mountain Car Problem Using State Discretization and Q-Learning.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

Current Trends in AI-Based Educational Processes - An Overview.
Intelligent Techniques in the Educational Process (1), 2022

2021
Optimal Knockout Tournaments: Definition and Computation.
Proceedings of the Large-Scale Scientific Computing - 13th International Conference, 2021

On the Role of Blockchain in Evolving the Online Business Landscape.
Proceedings of the Conference on Information Communications Technology and Society, 2021

Multi-agent Spatial SIR-Based Modeling and Simulation of Infection Spread Management.
Proceedings of the Computational Science - ICCS 2021, 2021

Cascaded Anomaly Detection with Coarse Sampling in Distributed Systems.
Proceedings of the Big-Data-Analytics in Astronomy, Science, and Engineering, 2021

2020
Freight transportation broker agent based on constraint logic programming.
Evol. Syst., 2020

Block structured scheduling using constraint logic programming.
AI Commun., 2020

On the Role of Python in Programming-Related Courses for Computer Science and Engineering Academic Education.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

Quantifying Blocks World State Space.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2020

2019
Collective profitability in semi-competitive intermediation networks.
J. Intell. Fuzzy Syst., 2019

On Measuring Learning Success of Students with Disabilities in Virtual Environments.
Proceedings of the Eighth Workshop on Software Quality Analysis, 2019

Modeling Block Structured Project Scheduling with Resource Constraints.
Proceedings of the Large-Scale Scientific Computing - 12th International Conference, 2019

Optimizing Nash Social Welfare in Semi-Competitive Intermediation Networks.
Proceedings of the IEEE International Symposium on INnovations in Intelligent SysTems and Applications, 2019

Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming.
Proceedings of the Intelligent Distributed Computing XIII, 2019

Experimenting with facilitating collaborative travel recommendations.
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

2018
Multi-agent modelling and simulation of graph-based predator-prey dynamic systems: A BDI approach.
Expert Syst. J. Knowl. Eng., 2018

DEVS Modeling and Simulation Using BDI Agents: Preliminary Considerations.
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018

Usability and Quality Parameters for E-Learning Environments and Systems.
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis.
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

Greedy Heuristics for Automatic Synthesis of Efficient Block-Structured Scheduling Processes from Declarative Specifications.
Proceedings of the Artificial Intelligence Applications and Innovations, 2018

Collective Profitability of DAG-Based Selling-Buying Intermediation Processes.
Proceedings of the Intelligent Distributed Computing XII, 2018

2017
Formal framework for distributed swarm computing: abstract model and properties.
Soft Comput., 2017

Improvement of Requirements Engineering Course - Medical Software Case Study.
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason.
Proceedings of the 25th Euromicro International Conference on Parallel, 2017

Modeling and Optimization of Pickup and Delivery Problem Using Constraint Logic Programming.
Proceedings of the Large-Scale Scientific Computing - 11th International Conference, 2017

Declarative Representation and Solution of Vehicle Routing with Pickup and Delivery Problem.
Proceedings of the International Conference on Computational Science, 2017

Optimization of Freight Transportation Brokerage Using Agents and Constraints.
Proceedings of the Engineering Applications of Neural Networks, 2017

2016
Introduction to the Special Issue on "Engineering and Applications of Software Agents".
Informatica (Slovenia), 2016

Software Metrics for Agent Technologies and Possible Educational Usage.
Proceedings of the Fifth Workshop on Software Quality Analysis, 2016

Modeling and Enactment of Business Agents Using Jason.
Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 2016

Experiments with Multiple BDI Agents with Dynamic Learning Capabilities.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Simulation of Dynamic Systems Using BDI Agents: Initial Steps.
Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

Collective Profitability and Welfare in Selling-Buying Intermediation Processes.
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

2015
FSP Modeling of a Generic Distributed Swarm Computing Framework.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

An Approach of Temporal Difference Learning Using Agent-Oriented Programming.
Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

Elicitation of Business Process Knowledge: A University Use Case.
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014
Distributed Agent-Based Online Auction System.
Comput. Informatics, 2014

Agent-Based System for Brokering of Logistics Services - Initial Report.
Proceedings of the Intelligent Information and Database Systems - 6th Asian Conference, 2014

2013
An Overview of Smart Home Environments: Architectures, Technologies and Applications.
Proceedings of the Local Proceedings of the Sixth Balkan Conference in Informatics, 2013

2012
Information flow in a distributed agent-based online auction system.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012

A set-based approach to negotiation with concessions.
Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011
Enhanced Reputation Model with Forgiveness for E-Business Agents.
Int. J. Agent Technol. Syst., 2011

FSP and FLTL framework for specification and verification of middle-agents.
Int. J. Appl. Math. Comput. Sci., 2011

Distributed agent-based ant colony optimization for solving traveling salesman problem on a partitioned map.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Dynamic Negotiations in Multi-Agent Systems.
Proceedings of the 7th International Conference on ICT in Education, 2011

Dynamic Selection of Negotiation Protocol in Multi-agent Systems for Disaster Management.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

Formal Verification of Business Processes Represented as Role Activity Diagrams.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010
Reputation Model with Forgiveness Factor for Semi-competitive E-Business Agent Societies.
Proceedings of the Networked Digital Technologies - Second International Conference, 2010

2009
The design and implementation of an agent-based auction service.
Int. J. Agent Oriented Softw. Eng., 2009

A Process algebraic framework for service coordination.
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

2008
Formalizing Agent-Based English Auctions Using Finite State Process Algebra.
J. Univers. Comput. Sci., 2008

Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.
Proceedings of the Modelling, 2008

From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach.
Proceedings of the SYNASC 2008, 2008

Specification and Verification of an Agent-Based Auction Service.
Proceedings of the Information Systems Development, 2008

Modeling Interactions in Agent-Based English Auctions with Matchmaking Capabilities.
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods.
Proceedings of the Artificial Intelligence: Methodology, 2008

2007
L-wrappers: concepts, properties and construction.
Soft Comput., 2007

Middle-Agents Interactions as Finite State Processes: Overview and Example.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

Application of Logic Wrappers to Hierarchical Data Extraction from HTML.
Proceedings of the Progress in Artificial Intelligence, 2007

Using Logic Wrappers to Extract Hierarchical Data from HTML.
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

2006
A New Path Generalization Algorithm for HTML Wrapper Induction.
Proceedings of the Advances in Web Intelligence and Data Mining, 2006

Conceptual Architecture of a Multi-Agent System for News Syndication.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Mining Travel Resources on the Web Using L-Wrappers.
Proceedings of the Artificial Intelligence and Soft Computing, 2006

2005
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML.
Proceedings of the Database and XML Technologies, 2005

Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Learning Logic Wrappers for Information Extraction from the Web.
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005

Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming.
Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005

2004
Rule Learning for Feature Values Extraction from HTML Product Information Sheets.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

2003
Role Activity Diagrams as Finite State Processes.
Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003


  Loading...