×

zbMATH — the first resource for mathematics

Zedan, Hussein

Compute Distance To:
Author ID: zedan.hussein Recent zbMATH articles by "Zedan, Hussein"
Published as: Zedan, Hussein; Zedan, H.
Documents Indexed: 10 Publications since 1987

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 17 times in 16 Documents Cited by Year
A specification-oriented semantics for the refinement of real-time systems. Zbl 0820.68071
Scholefield, David; Zedan, Hussein; Jifeng, He
6
1994
Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae. Zbl 0707.65048
Zedan, H.
4
1990
A distributed algorithm for distributed termination. Zbl 0636.68021
Hazari, Cyrus; Zedan, Hussein
3
1987
Combining dynamic and static slicing for analysing assembler. Zbl 1191.68174
Ward, Martin; Zedan, Hussein
1
2010
The calculus of context-aware ambients. Zbl 1227.68078
Siewe, François; Zedan, Hussein; Cau, Antonio
1
2011
A wide-spectrum language for object-based development of real-time systems. Zbl 0943.68024
Chen, Z.; Zedan, H.; Cau, A.; Yang, H.
1
1999
An AN-stable Rosenbrock-type method for solving stiff differential equations. Zbl 0621.65070
Zedan, H.
1
1987
The calculus of context-aware ambients. Zbl 1227.68078
Siewe, François; Zedan, Hussein; Cau, Antonio
1
2011
Combining dynamic and static slicing for analysing assembler. Zbl 1191.68174
Ward, Martin; Zedan, Hussein
1
2010
A wide-spectrum language for object-based development of real-time systems. Zbl 0943.68024
Chen, Z.; Zedan, H.; Cau, A.; Yang, H.
1
1999
A specification-oriented semantics for the refinement of real-time systems. Zbl 0820.68071
Scholefield, David; Zedan, Hussein; Jifeng, He
6
1994
Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae. Zbl 0707.65048
Zedan, H.
4
1990
A distributed algorithm for distributed termination. Zbl 0636.68021
Hazari, Cyrus; Zedan, Hussein
3
1987
An AN-stable Rosenbrock-type method for solving stiff differential equations. Zbl 0621.65070
Zedan, H.
1
1987

Citations by Year