The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Samira Sadaoui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samira Sadaoui, Pengzhou Yin
    Generalization for component reuse. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference, 2004, pp:134-139 [Conf]
  2. Pierre Marquis, Samira Sadaoui
    A New Algorithm for Computing Theory Prime Implicates Compilations. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:504-509 [Conf]
  3. Malek Mouhoub, Mujtaba Istihad, Samira Sadaoui
    Java with CREAM for Temporal Constraints. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:281-283 [Conf]
  4. Samira Sadaoui
    Assistance in the Reuse of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    IASSE, 2003, pp:217-222 [Conf]
  5. Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan
    Chronological Backtracking Versus Formal Methods for Solving CSPs. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2003, pp:270-275 [Conf]
  6. Malek Mouhoub, Samira Sadaoui
    Improving Lotos Simulation Using Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2005, pp:137-142 [Conf]
  7. Malek Mouhoub, Samira Sadaoui
    Systematic versus Non-systematic Methods for Solving Incremental Satisfiability. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2004, pp:543-551 [Conf]
  8. Malek Mouhoub, Samira Sadaoui, Xinkai Feng
    A New Branch and Bound Method for Incremental Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Intelligence, 2004, pp:424-427 [Conf]
  9. Samira Sadaoui, Nima Sharifimehr
    A Novel Object Pool Service for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2006, pp:1757-1771 [Conf]
  10. Bo Chen, Samira Sadaoui
    Specification and Verification of Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:300-305 [Conf]
  11. Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan
    Formal Description Techniques for CSPs and TCSPs. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:406-410 [Conf]
  12. Samira Sadaoui, Sudhanshu Singh
    Implementation of CafeOBJ Specifications to Java Code. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:446-449 [Conf]
  13. Samira Sadaoui, Angela Mlynarski, Elspeth Nickle
    Software Reuse: An Overview. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:840-846 [Conf]
  14. Samira Sadaoui
    Composition of Structured Process Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:5, pp:- [Journal]
  15. Malek Mouhoub, Samira Sadaoui
    Solving Incremental Satisfiability. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2007, v:16, n:1, pp:139-147 [Journal]
  16. Bo Chen, Samira Sadaoui
    A Generic Formal Framework For Constructing Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:1, pp:61-85 [Journal]
  17. Samira Sadaoui, Pengzhou Yin
    Generalization and Instantiation for Component Reuse. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:2, pp:175-200 [Journal]

  18. Winner Determination Based on Preference Elicitation Methods. [Citation Graph (, )][DBLP]


  19. An Extended Concurrency Control Service for CORBA. [Citation Graph (, )][DBLP]


  20. Dynamic Semi-Markovian Workload Modeling. [Citation Graph (, )][DBLP]


  21. A Predictive Automatic Tuning Service for Object Pooling Based on Dynamic Markov Modeling. [Citation Graph (, )][DBLP]


  22. Multi-Language Information Searching Tool. [Citation Graph (, )][DBLP]


  23. Markovian workload modeling for Enterprise Application Servers. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002