King Saud University
  Help (new window)
Search


Guidelines_English_Final
تحميل الدليل التدريبي

أسئلة شائعة


  PUBLICATIONS AND RESEARCH ACTIVITIES

F. Tchier, Application of Demonic Fixed Points,  2nd conference  July 10th - 13th, 2009 – Orlando, Florida, USA, 2009

F. Tchier,  Least and greatest fixed points, Al-Zaytouna University of Jordan, ICIT 2009,  The 4th International Conference on Information Technology, JUNE     3rd – 5th  , 2009 , Amman/Jordan

F. Tchier Demonic semantics and fixed points accepted by The International Conference of COMPUTING in Engineering, Science and Informatics (ICC2009),  April 2-4 2009, California state University Fullerton, California, USA

-F. Tchier, Demonic  Semantics are equal accepted by Conference: The 2008 International Conference on Foundations of Computer Science (FCS'08)
 (July 14-17, 2008, Las Vegas, USA)  
http://www.world-academy-of-science.org

-F. Tchier, Nondeterministic programming theorem WSEAS Trans. On Mathematics, Issue 9, Volume 5, ( 2006), (1035-1045)

-F. Tchier, From Operational to Denotational Demonic Semantics of Nondeterministic While Loops . 10th WSEAS International Conference on COMMUNICATIONS and COMPUTERS, Athens, Greece, July 13 -15, 2006

-F. Tchier, Demonic fixed points . Acta Cybernitica Journal . 17, ( 2006 ) 533-555.

-J. Desharnais, B. Môller and F. Tchier. Kleene under a modal demonic star. Journal of Logic and Algebraic Programming, Volume 66, Issue 2, February-March 2006, Pages 127-160

-L. Ragoub and F. Tchier, On a class of Monge-Ampere problems with non-homogeneous Dirichlet boundary condition Port. Math. (N.S) 62, No 1. 1-11 (2005)

-F. Tchier . Demonic fixed points of semantics functions.  Proceedings of The 2003 International Conference on Software Engineering Research and Practice  (SERP’05), Vol 2, Editors: Ban Al-Ani, H. R. Arabnia, Youngsong Mum.  Pages 896-901. CSREA, Press. Las Vegas, Nevada, USA,  June 23-26 , 2005.

.-F.Tchier,  Demonic  Semantics: using  monotypes and residuals.. (International Journal  of Mathematics and Mathematical Sciences)  IJMMS 2004:3 (2004) 135-160.

-F. Tchier,  While loop  demonic relational semantics monotype/residual style.  Proceedings of The 2003 International Conference on Software Engineering Research and Practice  (SERP’03), Vol 2, Editors: Ban Al-Ani, H. R. Arabnia, Youngsong Mum.  Pages 896-901. CSREA, Press. Las Vegas, Nevada, USA,  June 23-26 , 2003.

-F. Tchier,  Demonic Semantics of Guarded Commands Monotype/residual style. Proceedings of the 7th International Conference Artificial Intelligence and Soft  Computing, (IASTED). Editor: Henry Leung.  A publication of the International Association of Science and Technology for Development-IASTED.  Pages 164-169. Banff,   Canada , July  14-16, 2003.

-F.Tchier, Demonic I/O Relations of Compound Diagrams monotype/residual style.  Lect. Notes in Comp. Sci., Vol. 2869/2003, pages 171--178, Springer-Verlag, 2003.

-F.Tchier  Demonic Input-Output Relations of Compound Diagrams  International Journal of Pure and Applied Mathematics , vol. 9, No.1 (2003). F. Tchier. Demonic Semantics by Monotypes. The proceedings of the 2002 International Arab Conference on Information Technology (ACIT2002), pages 949-956. Doha, Qatar, 16-19 December 2002. 

-F. Tchier, Demonic relational semantics of compound diagrams, In: Jules Desharnais, Marc Frappier and Wendy Macaull, editors. Relational Methods in computer Science:  The Québec seminar, pages 117-140, Methods Publishers 2002.

-J. Desharnais, B. Môller and F. Tchier. Kleene under a demonic star. 8th International Conference on Algebraic Methodology And Software Technology (AMAST 2000), 20--27 May 2000, Iowa City, Iowa, USA, Lect. Notes in Comp. Sci., Vol. 1816, pages 355--370, Springer-Verlag, 2000.

-F. Tchier. Relations in computer science. In Saudi Association for Mathematical Sciences, SAMS, 5th conference MATHEMATICS 2000. Riyadh, Saudi Arabia, April 11-12,2000.

-F. Tchier. La sémantique démoniaque relationnelle des diagrammes composés.  Proc. 5th Seminar on Relational Methods in computer Science. (RelMICS'5).  Université Laval, Canada, 9-14 January 2000.

-F. Tchier and J. Desharnais. Applying a generalization of a theorem of Mills to generalized looping structures.  In Sciences and Engineering in Software Development. A recognition of Harlan D. Mills' Legacy, Los Angeles,  CA, 18 may 1999, pages 31--38. IEEE Computer Society Press, 1999.

-F. Tchier. Why Relational Methods. Symposium on Relational Methods in Software Engineering, McMaster University, Hamilton, Ontario, march 22-24, 1999.

-F. Tchier. Les sémantiques relationelles démoniaques et vérification de boucles non-déterministes., Département de Mathématiques, Université Laval, Canada, 1996

-F. Tchier and J. Desharnais. La sémantique démoniaque par des graphes de contrôle relationnels. 4 Th Conf. Maghrebian Conf. on Software Engineering and Artificial Intelligence, April 1996, Algiers, Algeria, 17-28.

-F. Tchier and J. Desharnais. Generalization of a theorem of Mills.In A.~E. Harmanci, E. Gelenbe, and B. Orencik, editors, 10th International Symp. on Computer and Information Sciences (ISCIS X), pages 27--34, Kucsadasi, Turkey, October 1995.

- J. Desharnais, N. Belkheiter, S.B.M. Sghair, F. Tchier, A. Joua, A. Mili and N. Zaguia. Emebedding a demonic semilattice in a relation algebra. Theoret. Comput. Sci. 149(2), 333-360, 1995. 

- J. Desharnais, A. Jaoua, N. Belkheiter and F. Tchier. Data refinement in

a relation algebra. 2nd Maghrebian Conf. on Software Engineering and Artificial Intelligence, April 11-14, 1994,  Rabat, Marocco,239-248.

- F. Tchier, R. Khédri and J. Desharnais. Une sémantique relationnelle démoniaque. Summary, 62 e congrés de l'ACFAS, Montreal, Canada, May 1994, 209.

- B. Chaib-draa, J. Desharnais, R. Khédri, I. Jarras, S. sayadi and  F. Tchier. Une approche relationnelle, la décomposition parallèle. Colloque sur les méthodes mathématiques pour la synthèse de systèmes informatiques (BMW 94),  Universitè du Québec, Montreal, May 16-18, 1994, 89-103.

- F. Tchier, S. Ben Mohamed Sghaier and  J. Desharnais. Encastrement d'un demi-treillis démoniaque dans une algèbre de relations.  Summary, 61 congrès de l'ACFAS, Rimouski, Canada, may 1993, 163.

- J.Desharnais, A.Jaoua, N.Belkheiter and F.Tchier. Data refinement in a relation algebra. 2nd Maghrebian Conf. on Software Engineering and Artificial Intelligence, April 13-16, 1992, Tunis, Tunisia.

- J. Desharnais, A. Jaoua, N. Belkheiter and  F. Tchier. Data refinement in a relation algebra. Journées de Montreal sur les langages de programmation, Montreal, Canada, April 29-30, 1991.

- F. Tchier. Les opérateurs stochastiques, Département de Mathématiques, Université de Sherbrooke, Québec, Canada, 1990.

 

King   Saud University. All rights reserved, 2007 | Disclaimer | CiteSeerx