Concepedia

Amelia Bădică

AB

Statistics

Publications

9

Citations

143

H-Index

9

Active since

2004

Affiliations

University of Craiova(Current)

Amelia Bădică is an author at University of Craiova specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceBusinessGame TheoryAuction TheoryFormal MethodsSoftware DesignMechanism DesignFormal Verification

Publications per year

2004–2022

9

Publications

9

An Overview of Smart Home Environments: Architectures, Technologies and Applications.

Costin Bădică, Marius Brezovan, Amelia Bădică · 2013 · 36 citations

Smart Devices, Smart Home Environments, Engineering +21

Role activity diagrams as finite state processes

Costin Bădică, Amelia Bădică, Valentin Litoiu · 2004 · 19 citations

Engineering, Role Activity Diagrams, Modeling Notation +20

The design and implementation of an agent-based auction service

Adriana Dobriceanu, Laurenţiu Bîscu, Amelia Bădică et al. · International Journal of Agent-Oriented Software Engineering · 2009 · 15 citations

Agent-based Auction Service, Agent-based Service, Electronic Auction +10

FSP and FLTL framework for specification and verification of middle-agents

Amelia Bădică, Costin Bădică · International Journal of Applied Mathematics and Computer Science · 2011 · 13 citations · Full text

Engineering, Verification, Software Engineering +19

DISTRIBUTED AGENT-BASED ONLINE AUCTION SYSTEM

Costin Bădică, Sorin Ilie, Alex Muscar et al. · Computing and Informatics / Computers and Artificial Intelligence · 2014 · 13 citations

Server Throughput, Electronic Auction, English Auctions +15

1–5 of 9