Amelia Badica
Amelia Badica
Verified email at edu.ucv.ro
Title
Cited by
Cited by
Year
An Overview of Smart Home Environments: Architectures, Technologies and Applications.
C Badica, M Brezovan, A Badica
BCI (Local) 78, 2013
472013
Role Activity Diagrams as Finite State Processes.
C Badica, A Badica, V Litoiu
ISPDC, 15-22, 2003
282003
A new formal IDEF-based modelling of business processes
C Badica, A Badica, V Litoiu
Proc. of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, 535-549, 2003
252003
The design and implementation of an agent-based auction service
A Dobriceanu, L Biscu, A Badica, C Badica
International Journal of Agent-Oriented Software Engineering 3 (2-3), 116-134, 2009
202009
Integrating role activity diagrams and hybrid IDEF for business process modeling using MDA
C Badica, M Teodorescu, C Spahiu, A Badica, C Fox
Seventh International Symposium on Symbolic and Numeric Algorithms for …, 2005
162005
Agent-based system for brokering of logistics services–initial report
L Luncean, C Bădică, A Bădică
Asian Conference on Intelligent Information and Database Systems, 485-494, 2014
152014
Distributed Agent-Based Online Auction System.
C Badica, S Ilie, A Muscar, A Badica, L Sandu, R Sbora, M Ganzha, ...
Comput. Informatics 33 (3), 518-552, 2014
14*2014
Specification and verification of an agent-based auction service
A Badica, C Badica
Information systems development, 239-248, 2009
142009
Formal verification of business processes as role activity diagrams
A Bădică, C Bădică
2011 Federated Conference on computer science and information systems …, 2011
132011
FSP and FLTL framework for specification and verification of middle-agents
A Badica, C Badica
International Journal of Applied Mathematics and Computer Science 21 (1), 9, 2011
132011
Rule learning for feature values extraction from HTML product information sheets
C Bădică, A Bădică
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2004
122004
An approach of temporal difference learning using agent-oriented programming
A Badica, C Badica, M Ivanovic, D Mitrovic
2015 20th International Conference on Control Systems and Computer Science …, 2015
112015
Distributed agent-based ant colony optimization for solving traveling salesman problem on a partitioned map
S Ilie, A Bădică, C Bădică
Proceedings of the International Conference on Web Intelligence, Mining and …, 2011
112011
Formalizing agent-based english auctions using finite state process algebra
A Bădică, C Bădică
Journal of Universal Computer Science 14 (7), 1118-1135, 2008
112008
L-wrappers: concepts, properties and construction-A declarative approach to data extraction from web sources
C Badica, A Badica, E Popescu, A Abraham
Soft Computing 11 (8), 753-772, 2007
112007
Middle-agents interactions as finite state processes: Overview and example
A Badica, C Badica, V Litoiu
16th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2007
102007
Multi‐agent modelling and simulation of graph‐based predator–prey dynamic systems: A BDI approach
A Bădică, C Bădică, M Ivanović, D Dănciulescu
Expert Systems 35 (5), e12263, 2018
92018
Declarative representation and solution of vehicle routing with pickup and delivery problem
A Bădică, C Bădică, F Leon, L Luncean
Procedia Computer Science 108, 958-967, 2017
92017
Modeling and enactment of business agents using Jason
A Bădică, C Bădică, F Leon, I Buligiu
Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 1-10, 2016
92016
Enhanced reputation model with forgiveness for e-business agents
R Burete, A Badica, C Badica, F Moraru
International Journal of Agent Technologies and Systems (IJATS) 3 (1), 11-26, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20