|
Search the dblp DataBase
Nima Kaveh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nima Kaveh
Using Model Checking to Detect Deadlocks in Distributed Object Systems. [Citation Graph (0, 0)][DBLP] EDO, 2000, pp:116-128 [Conf]
- Wolfgang Emmerich, Nima Kaveh
Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model. [Citation Graph (0, 0)][DBLP] ICSE, 2002, pp:691-692 [Conf]
- Nima Kaveh
Model Checking Distributd Objects Design. [Citation Graph (0, 0)][DBLP] ICSE, 2001, pp:793-794 [Conf]
- Nima Kaveh, Wolfgang Emmerich
Validating Distributed Object and Component Designs. [Citation Graph (0, 0)][DBLP] SFM, 2003, pp:63-91 [Conf]
- Wolfgang Emmerich, Nima Kaveh
Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2001, pp:311-312 [Conf]
- Nima Kaveh, Wolfgang Emmerich
Deadlock detection in distribution object systems. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2001, pp:44-51 [Conf]
Search in 0.001secs, Finished in 0.001secs
|