Mohamed Tounsi 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 keys2011
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Mohamed Mosbah, Mohamed Tounsi: Refinement-Based Verification of Local Synchronization Algorithms. FM 2011: 338-352
2010
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry: Proving Distributed Algorithms by Combining Refinement and Local Computations. ECEASST 35 (2010)
2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samir Ouis, Mohamed Tounsi: An explanation-based tools for debugging constraint satisfaction problems. Appl. Soft Comput. 8(4): 1400-1406 (2008)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Samir Ouis: An Iterative local-search framework for solving constraint satisfaction problem. Appl. Soft Comput. 8(4): 1530-1535 (2008)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Basit Qureshi: A Bluetooth intelligent e-healthcare system: analysis and design issues. IJMC 6(6): 683-695 (2008)
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hassan Ismail Abdalla, Mohamed Tounsi, Farhi Marir: Using a Greedy-Based Approach for Solving Data Allocation Problem in a Distributed Environment. PDPTA 2008: 975-980
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel: A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
2006
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Majed Al-Mashari: A new dot plot-based algorithm for genomes sequences comparison: A preliminary study. Expert Syst. Appl. 30(1): 34-41 (2006)
2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi: An approximate reasoning based technique for oil assessment. Expert Syst. Appl. 29(2): 485-491 (2005)
2002
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Philippe David: Successive Search Method for Solving Valued Constraint Satisfaction and Optimization Problems. International Journal on Artificial Intelligence Tools 11(3): 425-436 (2002)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi: A Genetic-Based Approach for Satisfiability Problems. AISC 2002: 208-216
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi: Towards an Evolutionary Solving of SAT Problems. IC-AI 2002: 890-896
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Philippe David: Local Search Algorithm to Improve the Local Search. ICTAI 2002: 438-
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Tounsi, Philippe David: Successive Search Method for Valued Constraint Satisfaction and Optimization Problems. ICTAI 2001: 341-

Coauthor Index

1Hassan Ismail Abdalla
[c6]
2Majed Al-Mashari
[j3]
3Philippe David
[j1] [c2] [c1]
4Mohamed Jmaiel
[c5]
5Ahmed Hadj Kacem
[c5]
6Monia Loulou
[c5]
7Farhi Marir
[c6]
8Mohamed Mosbah
[c7] [j7]
9Dominique Méry
[c7] [j7]
10Samir Ouis
[j6] [j5]
11Basit Qureshi
[j4]

Colors in the list of coauthors

Last update Sun May 26 01:25:46 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