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

This page was built for person: Hussein Zedan