Samira Sadaoui Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sadra Abedinzadeh, Samira Sadaoui: Agent Trust Management Based on Human Plausible Reasoning: Application to Web Search. SocialCom/PASSAT 2012: 760-765
2011
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Farnaz Ghavamifar, Samira Sadaoui, Malek Mouhoub: Preference Elicitation and Winner Determination in Multi-Attribute Auctions. FLAIRS Conference 2011
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Wei Jiang: An offer evaluation system based on buyers' interests. SAC 2011: 1713-1714
2010
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Farnaz Ghavamifar, Samira Sadaoui, Malek Mouhoub: Winner Determination Based on Preference Elicitation Methods. Canadian Conference on AI 2010: 332-335
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sadra Abedinzadeh, Samira Sadaoui: A Rough Set Approach to Agent Trust Management. SocialCom/PASSAT 2010: 1064-1071
2009
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nima Sharifimehr, Samira Sadaoui: Markovian workload modeling for Enterprise Application Servers. C3S2E 2009: 161-168
2008
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nima Sharifimehr, Samira Sadaoui: An Extended Concurrency Control Service for CORBA. Australian Software Engineering Conference 2008: 330-337
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nima Sharifimehr, Samira Sadaoui: Dynamic Semi-Markovian Workload Modeling. ICEIS (1) 2008: 125-130
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Malek Mouhoub, Xiaofeng Li: An OCL-Based CSP Specification and Solving Tool. New Challenges in Applied Intelligence Technologies 2008: 235-244
2007
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui: Solving Incremental Satisfiability. International Journal on Artificial Intelligence Tools 16(1): 139-147 (2007)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Siritorn Srisodsai: Multi-Language Information Searching Tool. ICSEA 2007: 49
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Pengzhou Yin: Generalization and Instantiation for Component Reuse. International Journal of Software Engineering and Knowledge Engineering 16(2): 175-200 (2006)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Nima Sharifimehr: A Novel Object Pool Service for Distributed Systems. OTM Conferences (2) 2006: 1757-1771
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Sudhanshu Singh: Implementation of CafeOBJ Specifications to Java Code. SEKE 2006: 446-449
2005
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui: Improving Lotos Simulation Using Constraint Propagation. ICTAI 2005: 137-142
2004
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui: Assistance in the Reuse of Formal Specifications. I. J. Comput. Appl. 11(4): 234-245 (2004)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Pengzhou Yin: Generalization for component reuse. ACM Southeast Regional Conference 2004: 134-139
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Mujtaba Istihad, Samira Sadaoui: Java with CREAM for Temporal Constraints. IASSE 2004: 281-283
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui: Systematic versus Non-systematic Methods for Solving Incremental Satisfiability. IEA/AIE 2004: 543-551
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui, Xinkai Feng: A New Branch and Bound Method for Incremental Satisfiability Problem. International Conference on Computational Intelligence 2004: 424-427
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bo Chen, Samira Sadaoui: Specification and Verification of Agent Interaction Protocols. SEKE 2004: 300-305
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Formal Description Techniques for CSPs and TCSPs. SEKE 2004: 406-410
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui: Composition of Structured Process Specifications. Electr. Notes Theor. Comput. Sci. 82(5): 132-143 (2003)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui: Assistance in the Reuse of Formal Specifications. IASSE 2003: 217-222
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan: Chronological Backtracking Versus Formal Methods for Solving CSPs. IC-AI 2003: 270-275
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samira Sadaoui, Angela Mlynarski, Elspeth Nickle: Software Reuse: An Overview. Software Engineering Research and Practice 2003: 840-846
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierre Marquis, Samira Sadaoui: A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509

Coauthor Index

1Sadra Abedinzadeh
[c23] [c19]
2Bo Chen
[j6] [j3] [c6]
3Xinkai Feng
[c7]
4Farnaz Ghavamifar
[c22] [c20]
5Mujtaba Istihad
[c9]
6Wei Jiang
[c21]
7Xiaofeng Li
[p1]
8Pierre Marquis
[c1]
9Angela Mlynarski
[c2]
10Malek Mouhoub
[c22] [c20] [j6] [p1] [j5] [c11] [c9] [c8] [c7] [c5] [c3]
11Elspeth Nickle
[c2]
12Nima Sharifimehr
[c18] [c17] [c16] [c14] [c13]
13Sudhanshu Singh
[c12]
14Siritorn Srisodsai
[c15]
15Amrudee Sukpan
[c5] [c3]
16Pengzhou Yin
[j4] [c10]

Colors in the list of coauthors

Last update Wed May 22 14:28:50 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page