The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rachid Hadjidj" ( http://dblp.L3S.de/Authors/Rachid_Hadjidj )

  Author page on DBLP  Author page in RDF  Community of Rachid Hadjidj in ASPL-2

Publication years (Num. hits)
2005-2016 (16) 2017-2019 (9)
Publication types (Num. hits)
article(13) inproceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 3 keywords

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou Total Variation for Image Denoising Based on a Novel Smart Edge Detector: An Application to Medical Images. Search on Bibsonomy Journal of Mathematical Imaging and Vision The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Sebti Foufou, Ridha Hamila Efficient techniques for energy saving in data center networks. Search on Bibsonomy Computer Communications The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou Cluster validity index based on Jeffrey divergence. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zina Chkirbene, Ala Gouissem, Rachid Hadjidj, Ridha Hamila, Sebti Foufou Exploiting Traffic Correlation Towards Energy Saving in Data Centers. Search on Bibsonomy PIMRC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou Cluster validity index based on Jeffrey divergence. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Imene Mecheter, Rachid Hadjidj, Sebti Foufou An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets. Search on Bibsonomy CIBCB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tooba Aamir, Athman Bouguettaya, Hai Dong, Abdelkarim Erradi, Rachid Hadjidj Social-Sensor Cloud Service Selection. Search on Bibsonomy ICWS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kashif Ali, Hai Dong, Athman Bouguettaya, Abdelkarim Erradi, Rachid Hadjidj Sentiment Analysis as a Service: A Social Media Based Sentiment Analysis Framework. Search on Bibsonomy ICWS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou, Mongi A. Abidi Edge guided total variation for image denoising. Search on Bibsonomy CISS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Kamal Eddine Melkemi, Sebti Foufou Multispectral image denoising with optimized vector non-local mean filter. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Kamal Eddine Melkemi, Sebti Foufou Multispectral image denoising with optimized vector non-local mean filter. Search on Bibsonomy Digital Signal Processing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Ben Said, Rachid Hadjidj, Sebti Foufou Gravitational weighted fuzzy c-means with application on multispectral image segmentation. Search on Bibsonomy IPTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. Search on Bibsonomy PNSE+ModPE The full citation details ... 2013 DBLP  BibTeX  RDF
1Asim Ali, Rui Jia, Abdelkarim Erradi, Sherif Abdelwahed, Rachid Hadjidj Towards Model-based Management of Database Fragmentation. Search on Bibsonomy Feedback Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb Efficient Reachability Analysis for Time Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF time Petri nets (TPN), state class spaces, reachability properties, model checking, Formal methods
1Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang Security Evaluation and Hardening of Free and Open Source Software (FOSS). Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb On-the-fly TCTL model checking for time Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Mourad Debbabi, Hakim Lounis, Farkhund Iqbal, Adam Szporer, Djamel Benredjem Towards an integrated e-mail forensic analysis framework. Search on Bibsonomy Digital Investigation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi Verification of CERT Secure Coding Rules: Case Studies. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb Improving state class constructions for CTL* model checking of time Petri nets. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF State class spaces, CTL* properties, Model checking, Formal methods, Time Petri nets
1Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. Search on Bibsonomy PST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Rachid Hadjidj Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. Search on Bibsonomy IJES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Rachid Hadjidj CTL* model checking for time Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb On-the-fly TCTL model checking for Time Petri Nets using state class graphs. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rachid Hadjidj, Hanifa Boucheneb Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license