Follow
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
582013
Role Activity Diagrams as Finite State Processes.
C Badica, A Badica, V Litoiu
ISPDC, 15-22, 2003
292003
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
272003
The design and implementation of an agent-based auction service.
A Dobriceanu, L Biscu, A Badica, C Badica
Int. J. Agent Oriented Softw. Eng. 3 (2/3), 116-134, 2009
202009
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
172014
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
172005
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
15*2014
FSP and FLTL framework for specification and verification of middle-agents
A Bădică, C Bădică
Zielona Góra: Uniwersytet Zielonogórski, 2011
152011
Specification and verification of an agent-based auction service
A Badica, C Badica
Information systems development, 239-248, 2009
152009
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
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
122016
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
122007
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 Badica, C Badica
Journal of Universal Computer Science 14 (7), 1118-1135, 2008
112008
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
102018
Usability and quality parameters for e-learning environments and systems
M Ivanović, AK MILICEVIĆ, M Ganzha, A BĂDICĂ, M Paprzycki, ...
CEUR Workshop Proceedings, 2018
102018
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
102017
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
The system can't perform the operation now. Try again later.
Articles 1–20