Hussein Zedan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A predicative semantics for the refinement of real-time systems Lecture Notes in Computer Science	2023-04-28	Paper
Provably correct derivation of algorithms using FermaT Formal Aspects of Computing	2016-08-05	Paper
The calculus of context-aware ambients Journal of Computer and System Sciences	2011-04-28	Paper
Transformational programming and the derivation of algorithms Lecture Notes in Electrical Engineering	2010-10-06	Paper
Combining dynamic and static slicing for analysing assembler Science of Computer Programming	2010-02-26	Paper
A specification-oriented semantics for the refinement of real-time systems Theoretical Computer Science	1994-08-29	Paper
Avoiding the exactness of the Jacobian matrix in Rosenbrock formulae Computers & Mathematics with Applications	1990-01-01	Paper
A distributed algorithm for distributed termination Information Processing Letters	1987-01-01	Paper
An AN-stable Rosenbrock-type method for solving stiff differential equations Computers & Mathematics with Applications	1987-01-01	Paper

Research outcomes over time

This page was built for person: Hussein Zedan