dblp.uni-trier.dewww.uni-trier.de

Samira Sadaoui

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
23EENima Sharifimehr, Samira Sadaoui: An Extended Concurrency Control Service for CORBA. Australian Software Engineering Conference 2008: 330-337
22 Nima Sharifimehr, Samira Sadaoui: Dynamic Semi-Markovian Workload Modeling. ICEIS (1) 2008: 125-130
21EESamira Sadaoui, Malek Mouhoub, Xiaofeng Li: An OCL-Based CSP Specification and Solving Tool. New Challenges in Applied Intelligence Technologies 2008: 235-244
2007
20EESamira Sadaoui, Siritorn Srisodsai: Multi-Language Information Searching Tool. ICSEA 2007: 49
19 Nima Sharifimehr, Samira Sadaoui: A Predictive Automatic Tuning Service for Object Pooling Based on Dynamic Markov Modeling. ICSOFT (ISDM/EHST/DC) 2007: 38-45
18EEMalek Mouhoub, Samira Sadaoui: Solving Incremental Satisfiability. International Journal on Artificial Intelligence Tools 16(1): 139-147 (2007)
2006
17EESamira Sadaoui, Nima Sharifimehr: A Novel Object Pool Service for Distributed Systems. OTM Conferences (2) 2006: 1757-1771
16 Samira Sadaoui, Sudhanshu Singh: Implementation of CafeOBJ Specifications to Java Code. SEKE 2006: 446-449
15EESamira Sadaoui, Pengzhou Yin: Generalization and Instantiation for Component Reuse. International Journal of Software Engineering and Knowledge Engineering 16(2): 175-200 (2006)
2005
14EEMalek Mouhoub, Samira Sadaoui: Improving Lotos Simulation Using Constraint Propagation. ICTAI 2005: 137-142
13EEBo Chen, Samira Sadaoui: A Generic Formal Framework For Constructing Agent Interaction Protocols. International Journal of Software Engineering and Knowledge Engineering 15(1): 61-85 (2005)
2004
12EESamira Sadaoui, Pengzhou Yin: Generalization for component reuse. ACM Southeast Regional Conference 2004: 134-139
11 Malek Mouhoub, Mujtaba Istihad, Samira Sadaoui: Java with CREAM for Temporal Constraints. IASSE 2004: 281-283
10EEMalek Mouhoub, Samira Sadaoui: Systematic versus Non-systematic Methods for Solving Incremental Satisfiability. IEA/AIE 2004: 543-551
9 Malek Mouhoub, Samira Sadaoui, Xinkai Feng: A New Branch and Bound Method for Incremental Satisfiability Problem. International Conference on Computational Intelligence 2004: 424-427
8 Bo Chen, Samira Sadaoui: Specification and Verification of Agent Interaction Protocols. SEKE 2004: 300-305
7 Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Formal Description Techniques for CSPs and TCSPs. SEKE 2004: 406-410
6 Samira Sadaoui: Assistance in the Reuse of Formal Specifications. I. J. Comput. Appl. 11(4): 234-245 (2004)
2003
5 Samira Sadaoui: Assistance in the Reuse of Formal Specifications. IASSE 2003: 217-222
4 Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Chronological Backtracking Versus Formal Methods for Solving CSPs. IC-AI 2003: 270-275
3 Samira Sadaoui, Angela Mlynarski, Elspeth Nickle: Software Reuse: An Overview. Software Engineering Research and Practice 2003: 840-846
2EESamira Sadaoui: Composition of Structured Process Specifications. Electr. Notes Theor. Comput. Sci. 82(5): (2003)
1996
1 Pierre Marquis, Samira Sadaoui: A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509

Coauthor Index

1Bo Chen [8] [13]
2Xinkai Feng [9]
3Mujtaba Istihad [11]
4Xiaofeng Li [21]
5Pierre Marquis [1]
6Angela Mlynarski [3]
7Malek Mouhoub [4] [7] [9] [10] [11] [14] [18] [21]
8Elspeth Nickle [3]
9Nima Sharifimehr [17] [19] [22] [23]
10Sudhanshu Singh [16]
11Siritorn Srisodsai [20]
12Amrudee Sukpan [4] [7]
13Pengzhou Yin [12] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)