Costin Badica
Orcid: 0000-0001-8480-9867Affiliations:
- University of Craiova, Department of Computers and Information Technology, Romania
According to our database1,
Costin Badica
authored at least 243 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Optimization of IOTA Tangle Cumulative Weight Calculation Using Depth-First and Iterative Deepening Search Algorithms.
Vietnam. J. Comput. Sci., May, 2024
J. Inf. Telecommun., January, 2024
Fully decentralized privacy-enabled Federated Learning system based on Byzantine-resilient consensus protocol.
Simul. Model. Pract. Theory, 2024
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Leveraging Open Source Large Language Models to generate datasets from existing field-specific texts.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Towards More Explainable and Traceable AI: Gray-boxed Design in a Case of Microservice Allocation.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Benefits of Agent-Oriented Transitioning from Monolithic To Service-Based Architectures.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2024
Dynamic Stacking Optimization in Unpredictable Environments: A Focus on Crane Scheduling.
Proceedings of the Artificial Intelligence Applications and Innovations, 2024
Proceedings of the 28th International Conference on System Theory, Control and Computing, 2024
Literature Books Recommender System using Collaborative Filtering and Multi-Source Reviews.
Proceedings of the 19th Conference on Computer Science and Intelligence Systems, 2024
2023
Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes.
Simul. Model. Pract. Theory, September, 2023
Proceedings of the 22nd RoEduNet Conference: Networking in Education and Research, 2023
Proceedings of the Large-Scale Scientific Computations - 14th International Conference, 2023
Proceedings of the Intelligent Distributed Computing XVI, 2023
Proceedings of the Intelligent Distributed Computing XVI, 2023
Proceedings of the Advances in Computational Collective Intelligence, 2023
Proceedings of the Computational Collective Intelligence - 15th International Conference, 2023
Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023
2022
Digital Image Evolution of Artwork Without Human Evaluation Using the Example of the Evolving Mona Lisa Problem.
Vietnam. J. Comput. Sci., 2022
Simul. Model. Pract. Theory, 2022
Generalized Zero-Shot Learning for Image Classification - Comparing Performance of Popular Approaches.
Inf., 2022
Concurr. Comput. Pract. Exp., 2022
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022
Towards an Integrated Retrieval System to Semantically Match CVs, Job Descriptions and Curricula.
Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022
Proceedings of the Intelligent Distributed Computing XV, 2022
Proceedings of the Intelligent Distributed Computing XV, 2022
A Review of the Impact of Convolutional Neural Networks in the Process of Renal Cancer Diagnosis.
Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022
Proceedings of the Computational Science - ICCS 2022, 2022
An Implementation of Depth-First and Breadth-First Search Algorithms for Tip Selection in IOTA Distributed Ledger.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 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
Intelligent Techniques in the Educational Process (1), 2022
2021
Optimizing Regularized Multiple Linear Regression Using Hyperparameter Tuning for Crime Rate Performance Prediction.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021
Improving Students' Performance by Interpretable Explanations using Ensemble Tree-Based Approaches.
Proceedings of the 15th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2021
Proceedings of the Large-Scale Scientific Computing - 13th International Conference, 2021
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2021
Proceedings of the Conference on Information Communications Technology and Society, 2021
Explainable Collaborative Filtering Recommendations Enriched with Contextual Information.
Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021
Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes.
Proceedings of the Computational Collective Intelligence - 13th International Conference, 2021
Multi-agent Spatial SIR-Based Modeling and Simulation of Infection Spread Management.
Proceedings of the Computational Science - ICCS 2021, 2021
Proceedings of the Big-Data-Analytics in Astronomy, Science, and Engineering, 2021
2020
Vietnam. J. Comput. Sci., 2020
CAAVI-RICS model for observing the security of distributed IoT and edge computing systems.
Simul. Model. Pract. Theory, 2020
Future Gener. Comput. Syst., 2020
Study on population dynamics for triple-linked food chain using a simulation-based approach.
Evol. Syst., 2020
Evol. Syst., 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
Proceedings of the 19th RoEduNet Conference: Networking in Education and Research, 2020
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2020
Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc.
Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020
Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020
An Experimental Comparison of Implementations of Dijkstra's Single Source Shortest Path Algorithm Using Different Priority Queues Data Structures.
Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
J. Intell. Fuzzy Syst., 2019
Expressing multiagent coalition structure problems for optimisation by quantum annealing.
Enterp. Inf. Syst., 2019
J. Comput. Inf. Technol., 2019
A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture.
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019
Proceedings of the Eighth Workshop on Software Quality Analysis, 2019
CAAVI-RICS Model for Analyzing the Security of Fog Computing Systems: Authentication.
Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019
Proceedings of the Large-Scale Scientific Computing - 12th International Conference, 2019
Proceedings of the IEEE International Symposium on INnovations in Intelligent SysTems and Applications, 2019
Proceedings of the Intelligent Distributed Computing XIII, 2019
Proceedings of the Intelligent Distributed Computing XIII, 2019
Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming.
Proceedings of the Intelligent Distributed Computing XIII, 2019
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019
Augmenting Multi-agent Negotiation in Interconnected Freight Transport Using Complex Networks Analysis.
Proceedings of the Computational Science - ICCS 2019, 2019
A Hybrid Approach for the Fighting Game AI Challenge: Balancing Case Analysis and Monte Carlo Tree Search for the Ultimate Performance in Unknown Environment.
Proceedings of the Engineering Applications of Neural Networks, 2019
Anomaly Detection Procedures in a Real World Dataset by Using Deep-Learning Approaches.
Proceedings of the Intelligent Information and Database Systems - 11th Asian Conference, 2019
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
Multi-agent modelling and simulation of graph-based predator-prey dynamic systems: A BDI approach.
Expert Syst. J. Knowl. Eng., 2018
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018
A Simulation-Based Analysis of Interdependent Populations in a Dynamic Ecological Environment.
Proceedings of the Artificial Intelligence Applications and Innovations, 2018
Greedy Heuristics for Automatic Synthesis of Efficient Block-Structured Scheduling Processes from Declarative Specifications.
Proceedings of the Artificial Intelligence Applications and Innovations, 2018
Proceedings of the Intelligent Distributed Computing XII, 2018
Proceedings of the Intelligent Distributed Computing XII, 2018
Proceedings of the Computational Collective Intelligence - 10th International Conference, 2018
2017
Soft Comput., 2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017
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
Proceedings of the IEEE International Conference on INnovations in Intelligent SysTems and Applications, 2017
Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017
Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017
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
Proceedings of the Joint Proceedings of the 1st Workshop on Temporal Dynamics in Digital Libraries (TDDL 2017), 2017
Proceedings of the Engineering Applications of Neural Networks, 2017
Proceedings of the 8th Balkan Conference in Informatics, 2017
2016
Proceedings of the Fifth Workshop on Software Quality Analysis, 2016
Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 2016
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
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
Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016
Proceedings of the Exploring Services Science - 7th International Conference, 2016
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016
2015
J. Univers. Comput. Sci., 2015
Int. J. Comput. Commun. Control, 2015
Comput. Informatics, 2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015
Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015
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 Comput. Pract. Exp., 2014
Applying Saaty's Multicriterial Decision Making Approach in Grid Resource Management.
Inf. Technol. Control., 2014
Proceedings of the 4th International Conference on Web Intelligence, 2014
Proceedings of the 4th International Conference on Web Intelligence, 2014
Proceedings of the 4th International Conference on Web Intelligence, 2014
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
Proceedings of the Knowledge Science, Engineering and Management, 2014
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014
Proceedings of the Intelligent Information and Database Systems - 6th Asian Conference, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the International Conference on Computational Science, 2013
Proceedings of the 19th International Conference on Control Systems and Computer Science, 2013
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
Concurr. Comput. Pract. Exp., 2012
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012
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
Proceedings of the Local Proceedings of the Fifth Balkan Conference in Informatics, 2012, 2012
Proceedings of the Local Proceedings of the Fifth Balkan Conference in Informatics, 2012, 2012
Proceedings of the Balkan Conference in Informatics, 2012, 2012
2011
Multiagent Grid Syst., 2011
Int. J. Inf. Syst. Soc. Chang., 2011
Int. J. Agent Technol. Syst., 2011
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
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
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
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
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
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011
ICT solutions supporting collaborative information acquisition, situation assessment and decision making in contemporary environmental management problems: the DIADEM approach.
Proceedings of the Innovations in Sharing Environmental Observations and Information: Proceedings of the 25th International Conference on Informatics for Environmental Protection, 2011
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the Workshop on Applications of Software Agents, 2011
2010
Scalable Comput. Pract. Exp., 2010
Informatica (Slovenia), 2010
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
Int. J. Agent Oriented Softw. Eng., 2009
Int. J. Agent Oriented Softw. Eng., 2009
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response.
Proceedings of the Modelling, 2009
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
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
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009
2008
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008
Scalable Comput. Pract. Exp., 2008
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
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
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Rule Representation, 2008
Proceedings of the Information Systems Development, 2008
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
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007
J. Univers. Comput. Sci., 2007
IEEE Distributed Syst. Online, 2007
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
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
Proceedings of the Advances in Intelligent and Distributed Computing, 2007
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
Proceedings of the Progress in Artificial Intelligence, 2007
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007
2006
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
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
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006
Proceedings of the Artificial Intelligence and Soft Computing, 2006
Proceedings of the Artificial Intelligence and Soft Computing, 2006
2005
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
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005
Proceedings of the Parallel Computing Technologies, 2005
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
Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005
2004
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004
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
Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003