Walid Taha
From MaRDI portal
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 |
|---|---|---|
| System analysis and robustness Lecture Notes in Computer Science | 2023-08-02 | Paper |
| Sound Over-Approximation of Probabilities Acta Cybernetica | 2020-10-02 | Paper |
| Safe \& robust reachability analysis of hybrid systems Theoretical Computer Science | 2018-09-24 | Paper |
| Reasoning about multi-stage programs Journal of Functional Programming | 2017-10-23 | Paper |
| Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point Nonlinear Analysis. Hybrid Systems | 2016-03-08 | Paper |
| Tagless staged interpreters for typed languages Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Environment classifiers Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Real-time FRP Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Macros as multi-stage computations: type-safe, generative, binding macros in MacroML Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Function interval arithmetic Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
| Reasoning about multi-stage programs Programming Languages and Systems | 2012-06-22 | Paper |
| Synthesizable high level hardware descriptions New Generation Computing | 2010-12-01 | Paper |
| Exploring the Design Space of Higher-Order Casts Programming Languages and Systems | 2009-03-31 | Paper |
| Implicitly heterogeneous multi-stage programming New Generation Computing | 2008-03-28 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| scientific article; zbMATH DE number 2080759 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1670811 (Why is no real title available?) | 2001-11-11 | Paper |
| MetaML and multi-stage programming with explicit annotations Theoretical Computer Science | 2000-10-26 | Paper |
Research outcomes over time
This page was built for person: Walid Taha
