Search the dblp DataBase
Samira Sadaoui :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Samira Sadaoui , Pengzhou Yin Generalization for component reuse. [Citation Graph (0, 0)][DBLP ] ACM Southeast Regional Conference, 2004, pp:134-139 [Conf ] 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 ] Malek Mouhoub , Mujtaba Istihad , Samira Sadaoui Java with CREAM for Temporal Constraints. [Citation Graph (0, 0)][DBLP ] IASSE, 2004, pp:281-283 [Conf ] Samira Sadaoui Assistance in the Reuse of Formal Specifications. [Citation Graph (0, 0)][DBLP ] IASSE, 2003, pp:217-222 [Conf ] 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 ] Malek Mouhoub , Samira Sadaoui Improving Lotos Simulation Using Constraint Propagation. [Citation Graph (0, 0)][DBLP ] ICTAI, 2005, pp:137-142 [Conf ] 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 ] 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 ] 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 ] Bo Chen , Samira Sadaoui Specification and Verification of Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP ] SEKE, 2004, pp:300-305 [Conf ] Malek Mouhoub , Samira Sadaoui , Amrudee Sukpan Formal Description Techniques for CSPs and TCSPs. [Citation Graph (0, 0)][DBLP ] SEKE, 2004, pp:406-410 [Conf ] Samira Sadaoui , Sudhanshu Singh Implementation of CafeOBJ Specifications to Java Code. [Citation Graph (0, 0)][DBLP ] SEKE, 2006, pp:446-449 [Conf ] 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 ] Samira Sadaoui Composition of Structured Process Specifications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:5, pp:- [Journal ] 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 ] 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 ] 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 ] Winner Determination Based on Preference Elicitation Methods. [Citation Graph (, )][DBLP ] An Extended Concurrency Control Service for CORBA. [Citation Graph (, )][DBLP ] Dynamic Semi-Markovian Workload Modeling. [Citation Graph (, )][DBLP ] A Predictive Automatic Tuning Service for Object Pooling Based on Dynamic Markov Modeling. [Citation Graph (, )][DBLP ] Multi-Language Information Searching Tool. [Citation Graph (, )][DBLP ] Markovian workload modeling for Enterprise Application Servers. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs