| 2012 | ||
|---|---|---|
| c23 | Sadra Abedinzadeh, Samira Sadaoui: Agent Trust Management Based on Human Plausible Reasoning: Application to Web Search. SocialCom/PASSAT 2012: 760-765 | |
| 2011 | ||
| c22 | Farnaz Ghavamifar, Samira Sadaoui, Malek Mouhoub: Preference Elicitation and Winner Determination in Multi-Attribute Auctions. FLAIRS Conference 2011 | |
| c21 | ||
| 2010 | ||
| c20 | Farnaz Ghavamifar, Samira Sadaoui, Malek Mouhoub: Winner Determination Based on Preference Elicitation Methods. Canadian Conference on AI 2010: 332-335 | |
| c19 | Sadra Abedinzadeh, Samira Sadaoui: A Rough Set Approach to Agent Trust Management. SocialCom/PASSAT 2010: 1064-1071 | |
| 2009 | ||
| j6 | Samira Sadaoui, Malek Mouhoub, Bo Chen: An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs. International Journal of Software Engineering and Knowledge Engineering 19(6): 765-789 (2009) | |
| c18 | Nima Sharifimehr, Samira Sadaoui: Markovian workload modeling for Enterprise Application Servers. C3S2E 2009: 161-168 | |
| 2008 | ||
| c17 | Nima Sharifimehr, Samira Sadaoui: An Extended Concurrency Control Service for CORBA. Australian Software Engineering Conference 2008: 330-337 | |
| c16 | ||
| p1 | Samira Sadaoui, Malek Mouhoub, Xiaofeng Li: An OCL-Based CSP Specification and Solving Tool. New Challenges in Applied Intelligence Technologies 2008: 235-244 | |
| 2007 | ||
| j5 | Malek Mouhoub, Samira Sadaoui: Solving Incremental Satisfiability. International Journal on Artificial Intelligence Tools 16(1): 139-147 (2007) | |
| c15 | ||
| c14 | Nima Sharifimehr, Samira Sadaoui: A Predictive Automatic Tuning Service for Object Pooling Based on Dynamic Markov Modeling. ICSOFT (ISDM/EHST/DC) 2007: 38-45 | |
| 2006 | ||
| j4 | Samira Sadaoui, Pengzhou Yin: Generalization and Instantiation for Component Reuse. International Journal of Software Engineering and Knowledge Engineering 16(2): 175-200 (2006) | |
| c13 | Samira Sadaoui, Nima Sharifimehr: A Novel Object Pool Service for Distributed Systems. OTM Conferences (2) 2006: 1757-1771 | |
| c12 | Samira Sadaoui, Sudhanshu Singh: Implementation of CafeOBJ Specifications to Java Code. SEKE 2006: 446-449 | |
| 2005 | ||
| j3 | Bo 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) | |
| c11 | Malek Mouhoub, Samira Sadaoui: Improving Lotos Simulation Using Constraint Propagation. ICTAI 2005: 137-142 | |
| 2004 | ||
| j2 | Samira Sadaoui: Assistance in the Reuse of Formal Specifications. I. J. Comput. Appl. 11(4): 234-245 (2004) | |
| c10 | Samira Sadaoui, Pengzhou Yin: Generalization for component reuse. ACM Southeast Regional Conference 2004: 134-139 | |
| c9 | Malek Mouhoub, Mujtaba Istihad, Samira Sadaoui: Java with CREAM for Temporal Constraints. IASSE 2004: 281-283 | |
| c8 | Malek Mouhoub, Samira Sadaoui: Systematic versus Non-systematic Methods for Solving Incremental Satisfiability. IEA/AIE 2004: 543-551 | |
| c7 | Malek Mouhoub, Samira Sadaoui, Xinkai Feng: A New Branch and Bound Method for Incremental Satisfiability Problem. International Conference on Computational Intelligence 2004: 424-427 | |
| c6 | ||
| c5 | Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Formal Description Techniques for CSPs and TCSPs. SEKE 2004: 406-410 | |
| 2003 | ||
| j1 | Samira Sadaoui: Composition of Structured Process Specifications. Electr. Notes Theor. Comput. Sci. 82(5): 132-143 (2003) | |
| c4 | ||
| c3 | Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Chronological Backtracking Versus Formal Methods for Solving CSPs. IC-AI 2003: 270-275 | |
| c2 | Samira Sadaoui, Angela Mlynarski, Elspeth Nickle: Software Reuse: An Overview. Software Engineering Research and Practice 2003: 840-846 | |
| 1996 | ||
| c1 | Pierre Marquis, Samira Sadaoui: A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509 | |
Colors in the list of coauthors
Last update Wed May 22 14:28:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page