Khaled Bsaies

Available identifiers

zbMath Open bsaies.khaledMaRDI QIDQ444372

List of research outcomes

Publication	Date of Publication	Type
Invariant functions and invariant relations: an alternative to invariant assertions	2012-11-12	Paper
A versatile concept for the analysis of loops	2012-08-14	Paper
Computing Preconditions and Postconditions of While Loops	2012-01-06	Paper
Relational Methods in the Analysis of While Loops: Observations of Versatility	2009-12-11	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Appropriate lemmae discovery	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4470439	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4470443	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4341024	1997-06-16	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: Khaled Bsaies