Hussein Zedan

Available identifiers

zbMath Open zedan.husseinMaRDI QIDQ716294

List of research outcomes

Publication	Date of Publication	Type
A predicative semantics for the refinement of real-time systems	2023-04-28	Paper
Provably correct derivation of algorithms using FermaT	2016-08-05	Paper
The calculus of context-aware ambients	2011-04-28	Paper
Transformational Programming and the Derivation of Algorithms	2010-10-06	Paper
Combining dynamic and static slicing for analysing assembler	2010-02-26	Paper
A specification-oriented semantics for the refinement of real-time systems	1994-08-29	Paper
Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae	1990-01-01	Paper
An AN-stable Rosenbrock-type method for solving stiff differential equations	1987-01-01	Paper
A distributed algorithm for distributed termination	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hussein Zedan