#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1995

2017

- This year (4)
- Last 5 years (11)
- Last 10 years (17)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jules Desharnais, Nadir Belkhiter, +4 authors Nejib Zaguia
- Theor. Comput. Sci.
- 1995

We present a refinement ordering between binary relations, viewed as programs or specifications. This ordering induces a complete join semilattice that can be embedded in a relation algebra. This embedding then allows an easy proof of many properties of the refinement semilattice, by making use of the well-known corresponding properties of relation… (More)

- Jules Desharnais, Bernhard Möller, Fairouz Tchier
- AMAST
- 2000

In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalize this in considering elements of Kleene algebras as semantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behavior of the program. In this paper, we concentrate on while loops. Calculating… (More)

- Jules Desharnais, Bernhard Möller, Fairouz Tchier
- J. Log. Algebr. Program.
- 2006

In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalise this in considering elements of Kleene algebras as semantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behaviour of the program. In this paper, we concentrate on while loops.… (More)

- Fairouz Tchier
- Software Engineering Research and Practice
- 2003

- Fairouz Tchier
- Int. J. Math. Mathematical Sciences
- 2004

Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and ◦ serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations and do the opposite: if there is a possibility to go wrong, a program whose semantics is… (More)

- Abir Alharbi, F Tchier, Mm Rashidi
- Asian Pacific journal of cancer prevention…
- 2016

Computeraided diagnosis of breast cancer is an important medical approach. In this research paper, we focus on combining two major methodologies, namely fuzzy base systems and the evolutionary genetic algorithms and on applying them to the Saudi Arabian breast cancer diagnosis database, to aid physicians in obtaining an earlycomputerized diagnosis and hence… (More)

- Fairouz Tchier, Latifa Ben Arfa Rabai, Ali Mili
- Computers in Human Behavior
- 2015

- Resat Yilmazer, Mustafa Inç, Fairouz Tchier, Dumitru Baleanu
- Entropy
- 2016

Resat Yilmazer 1, Mustafa Inc 1,*, Fairouz Tchier 2 and Dumitru Baleanu 3,4 1 Department of Mathematics, Science Faculty, Fırat University, Elazığ 23119, Turkey; rstyilmazer@gmail.com 2 Department of Mathematics, King Saud University, P.O. Box 22452, Riyadh 11495, Saudi Arabia; ftchier@ksu.edu.sa 3 Department of Mathematics and Computer Science, Çankaya… (More)

- Fairouz Tchier
- RelMiCS
- 2000

- Fairouz Tchier
- ISCIS
- 2003