Costin Badica

According to our database1, Costin Badica
  • authored at least 150 papers between 2003 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System.
Proceedings of the Synergies Between Knowledge Engineering and Software Engineering, 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

Evaluating the effect of voting methods on ensemble-based classification.
Proceedings of the IEEE International Conference on INnovations in Intelligent SysTems and Applications, 2017

Agent-Based Computing in the Internet of Things: A Survey.
Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017

Multiagent Coalition Structure Optimization by Quantum Annealing.
Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017

Role of Non-Axiomatic Logic in a Distributed Reasoning Environment.
Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017

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

Reviewers Classification in an Online Community of Romanian Tourists.
Proceedings of the Joint Proceedings of the 1st Workshop on Temporal Dynamics in Digital Libraries (TDDL 2017), 2017

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

Agent-based system for highway gasoline price negotiations.
Proceedings of the 8th Balkan Conference in Informatics, 2017

2016
Jason Interpreter, Enterprise Edition.
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

Paxos-based weighted argumentation framework approach to distributed consensus.
Proceedings of the International Symposium on INnovations in Intelligent SysTems and Applications, 2016

A comparison between Jason and F# programming languages for the enactment of business agents.
Proceedings of the International Symposium on INnovations in Intelligent SysTems and Applications, 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

A Freight Brokering System Architecture Based on Web Services and Agents.
Proceedings of the Exploring Services Science - 7th International Conference, 2016

Fault-Tolerance in XJAF Agent Middleware.
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

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

2015
Intelligent Distributed Processing Methods for Big Data.
J. UCS, 2015

Semantic interoperability for automated enterprises.
Enterprise IS, 2015

Emotional agents - state of the art and applications.
Comput. Sci. Inf. Syst., 2015

Preface to the Special Issue on Intelligent Distributed Computing.
Computing and Informatics, 2015

Complex Network Analysis of a Tourism Content Sharing Network.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Scrutable Multi-agent Hazard Rescue System.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 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

Initial evaluation of an ontology for transport brokering.
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining.
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

Tourist review analytics using complex networks.
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014
Introduction to the Special Issue on Modeling and Simulation Applications of Software Agents.
Scalable Computing: Practice and Experience, 2014

Applying Saaty's Multicriterial Decision Making Approach in Grid Resource Management.
ITC, 2014

Monadic Foundations for Promises in Jason.
ITC, 2014

Special issue on computational collective intelligence.
Neurocomputing, 2014

Agent reasoning on the web using web services?
Comput. Sci. Inf. Syst., 2014

Distributed Agent-Based Online Auction System.
Computing and Informatics, 2014

Bringing Paxos Consensus in Multi-agent Systems.
Proceedings of the 4th International Conference on Web Intelligence, 2014

Delivering the multiagent technology to end-users through the web.
Proceedings of the 4th International Conference on Web Intelligence, 2014

Foreword to WASA Workshop.
Proceedings of the 4th International Conference on Web Intelligence, 2014

Semantic Modeling of Information for Freight Transportation Broker.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Relating the Opinion Holder and the Review Accuracy in Sentiment Analysis of Tourist Reviews.
Proceedings of the Knowledge Science, Engineering and Management, 2014

Complex Networks' Analysis Using an Ontology-Based Approach: Initial Steps.
Proceedings of the Knowledge Science, Engineering and Management, 2014

Role of Agent Middleware in Teaching Distributed Network Application Development.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014

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

2013
Multi-agent approach to distributed ant colony optimization.
Sci. Comput. Program., 2013

Multi-Agent Distributed Framework for Swarm Intelligence.
Proceedings of the International Conference on Computational Science, 2013

Enabling agent reasoning over the web.
Proceedings of the Balkan Conference in Informatics, 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
Multi-Agent Systems, Ontologies and Negotiation for Dynamic Service Composition in Multi-Organizational Environmental Management.
Proceedings of the Software Agents, Agent Systems and Their Applications, 2012

Preface to the Special Issue on intelligent distributed computing.
Concurrency and Computation: Practice and Experience, 2012

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

Desiderata for research in web intelligence, mining and semantics.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012

Ubiquitous Multi-agent Environmental Hazard Management.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Exploring the Design Space of a Declarative Framework for Automated Negotiation: Initial Considerations.
Proceedings of the Artificial Intelligence Applications and Innovations, 2012

Towards Characterizing Distributed Complex Situation Assessment as Workflows in Loosely Coupled Systems.
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

Optimizing Communication Costs in ACODA Using Simulated Annealing: Initial Experiments.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Using Jason to Develop Declarative Prototypes of Automated Negotiations.
Proceedings of the Local Proceedings of the Fifth Balkan Conference in Informatics, 2012, 2012

Method for Optimizing Communication Costs in ACODA Using Simulated Annealing.
Proceedings of the Local Proceedings of the Fifth Balkan Conference in Informatics, 2012, 2012

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

2011
Special issue: Agent Based Computing: From Model to Implementation.
Multiagent and Grid Systems, 2011

Creating a Personalized Artificial Intelligence Course: WELSA Case Study.
IJISSC, 2011

Enhanced Reputation Model with Forgiveness for E-Business Agents.
IJATS, 2011

Guest Editorial.
International Journal on Artificial Intelligence Tools, 2011

Software agents: Languages, tools, platforms.
Comput. Sci. Inf. Syst., 2011

FSP and FLTL framework for specification and verification of middle-agents.
Applied Mathematics and Computer Science, 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

Software Framework for Agent-Based Games and Simulations.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

JADE-based distributed Ant Colony Optimization on a computer cluster.
Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2011

Rule-Based Distributed and Agent Systems.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Agents in Grid System - Design and Implementation.
Proceedings of the Large-Scale Scientific Computing - 8th International Conference, 2011

Using Negotiation for Dynamic Composition of Services in Multi-organizational Environmental Management.
Proceedings of the Environmental Software Systems. Frameworks of eEnvironment, 2011

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

Augmenting Semantics to Distributed Agents Logs - Enabling Graphical After Action Analysis of Federated Agents Logs.
Proceedings of the KEOD 2011, 2011

Computing Equilibria for Constraint-based Negotiation Games with Interdependent Issues.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

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

A Functional Approach to Agent Development: Research Agenda.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Experiments with Protocols for Service Negotiation.
Proceedings of the Workshop on Applications of Software Agents, 2011

2010
Selected Papers from workshops ACSys2009 and IDC'2009.
Scalable Computing: Practice and Experience, 2010

Intelligent distributed information systems.
Inf. Sci., 2010

Accommodating Learning Styles in an Adaptive Educational System.
Informatica (Slovenia), 2010

Editor's Introduction to the Special Issue on E-Service Intelligence.
Informatica (Slovenia), 2010

Guest Editorial.
Comput. Sci. Inf. Syst., 2010

Framework for Performance Evaluation of Service Negotiations in Agent Systems.
Proceedings of the Modelling, 2010

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

Design and Implementation of a Service Negotiation Framework for Collaborative Disaster Management Applications.
Proceedings of the 2nd International Conference on Intelligent Networking and Collaborative Systems, 2010

Effectiveness of Solving Traveling Salesman Problem Using Ant Colony Optimization on Distributed Multi-Agent Middleware.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Distributed Multi-agent System for Solving Traveling Salesman Problem Using Ant Colony Optimization.
Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

2009
Adaptability in an agent-based virtual organisation.
IJAOSE, 2009

The design and implementation of an agent-based auction service.
IJAOSE, 2009

Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response.
Proceedings of the Modelling, 2009

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

Conceptual Framework for Design of Service Negotiation in Disaster Management Applications.
Proceedings of the Advances in Practical Multi-Agent Systems, 2009

Distributed Goal-Oriented Reasoning Engine for Multi-agent Systems: Initial Implementation.
Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

WELSA: An Intelligent and Adaptive Web-Based Educational System.
Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Handling Dynamic Networks Using Ant Colony Optimization on a Distributed Architecture.
Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

Providing Personalized Courses in a Web-Supported Learning Environment.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

One-to-Many Monotonic Concession Negotiation Protocol.
Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008
On Human Resource Adaptability in an Agent-Based Virtual Organization.
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Learning Objects' Architecture and Indexing in WELSA Adaptive Educational System.
Scalable Computing: Practice and Experience, 2008

Formalizing Agent-Based English Auctions Using Finite State Process Algebra.
J. UCS, 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

Analyzing Learners' Interaction with an Educational Hypermedia System: A Focus on Learning Styles.
Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Special track on Mobile Agents and Systems: editorial message.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Semi-automatic Composition of Geospatial Web Services Using JBoss Rules.
Proceedings of the Rule Representation, 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

Relations between Learning Style and Learner Behavior in an Educational Hypermedia System: An Exploratory Study.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

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

2007
Developing a Model Agent-based E-Commerce System.
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

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

Implementing Rule-Based Automated Price Negotiation in an Agent System.
J. UCS, 2007

Manufacturing and Control: Putting Agents to Work.
IEEE Distributed Systems Online, 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

Rules for Learner Modeling and Adaptation Provisioning in an Educational Hypermedia System.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary Considerations.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 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

Description and Organization of Instructional Resources in an Adaptive Educational System Focused on Learning Styles.
Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Considerations on the Design and Implementation of an Agent-Based Auction Service.
Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Towards a Unified Learning Style Model in Adaptive Educational Systems.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Adding a Declarative Representation of Negotiation Mechanisms to an Agent-Based Negotiation Service.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

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

Agent-Based Adaptive Learning Provisioning in a Virtual Organization.
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 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

Using Rules and R2ML for Modeling Negotiation Mechanisms in E-Commerce Agent Systems.
Proceedings of the Trends in Enterprise Application Architecture, 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

Design Considerations for a Negotiation Component in a Model E-commerce Agent System.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Implementing rule-based mechanisms for agent-based price negotiations.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Managing Information and Time Flow in an Agent-Based E-Commerce System.
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

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

Rule-Based Automated Price Negotiation: Overview and Experiment.
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

Two Approaches to Code Mobility in an Agent-based E-commerce System.
Proceedings of the International Enformatika Conference, 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

Mobile Agents in a Multi-Agent E-Commerce System.
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

Rule-Based Framework for Automated Negotiation: Initial Implementation.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Experimenting with a Multi-agent E-Commerce Environment.
Proceedings of the Parallel Computing Technologies, 2005

UML Models of Agents in a Multi-Agent E-Commerce System.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Developing a jade-based multi-agent e-commerce environment.
Proceedings of the AC 2005, 2005

Combining Rule-Based and Plug-in Components in Agents for Flexible Dynamic Negotiations.
Proceedings of the Multi-Agent Systems and Applications IV, 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

Verification of Multiple Input/Multiple Output Business Processes.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models.
Proceedings of the Advances in Information Systems, Third International Conference, 2004

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


  Loading...