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
Real-time FRP	2015-03-09	Paper
Macros as multi-stage computations	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

This page was built for person: Walid Taha