Abdelkader Dekdouk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

3 Abdelkader Dekdouk: Ontology-Based Intelligent Mobile Search Oriented to Global e-Commerce. Int. Arab J. Inf. Technol. 7(1): 28-33 (2010)

2005

2 Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk: Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design 27(1-2): 173-200 (2005)

2002

1 Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar: Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM 2002: 185-204

	2010
3		Abdelkader Dekdouk: Ontology-Based Intelligent Mobile Search Oriented to Global e-Commerce. Int. Arab J. Inf. Technol. 7(1): 28-33 (2010)
	2005
2		Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk: Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design 27(1-2): 173-200 (2005)
	2002
1		Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar: Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM 2002: 185-204

Coauthor Index

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page