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
