Walid Taha

Available identifiers

zbMath Open taha.walidMaRDI QIDQ254164

List of research outcomes

Publication	Date of Publication	Type
System analysis and robustness	2023-08-02	Paper
Sound Over-Approximation of Probabilities	2020-10-02	Paper
Safe \& robust reachability analysis of hybrid systems	2018-09-24	Paper
Reasoning about multi-stage programs	2017-10-23	Paper
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point	2016-03-08	Paper
Tagless staged interpreters for typed languages	2015-10-07	Paper
Environment classifiers	2015-09-11	Paper
Macros as multi-stage computations	2015-03-09	Paper
Real-time FRP	2015-03-09	Paper
Function Interval Arithmetic	2014-09-08	Paper
Reasoning about Multi-stage Programs	2012-06-22	Paper
Synthesizable high level hardware descriptions	2010-12-01	Paper
Exploring the Design Space of Higher-Order Casts	2009-03-31	Paper
Implicitly heterogeneous multi-stage programming	2008-03-28	Paper
Programming Languages and Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4473723	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754131	2001-11-11	Paper
MetaML and multi-stage programming with explicit annotations	2000-10-26	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: Walid Taha