Children
Sign in to add trainee| Rajarshi Bandyopadhyay | grad student | 2009 | Rice University |
| Cherif R. Salama | grad student | 2010 | Rice University |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Moggi E, Taha W, Thunberg J. (2020) Sound Over-Approximation of Probabilities Acta Cybernetica. 24: 269-285 |
| Moggi E, Farjudian A, Duracz A, et al. (2018) Safe & robust reachability analysis of hybrid systems Theoretical Computer Science. 747: 75-99 |
| Konečný M, Taha W, Bartha FA, et al. (2016) Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point Nonlinear Analysis: Hybrid Systems. 20: 1-20 |
| Calcagno C, Moggi E, Taha W. (2016) Closed types as a simple approach to safe imperative multi-stage programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1853: 25-36 |
| Taha W, Cartwright R, Philippsen R, et al. (2014) Developing a first course on cyber-physical systems 2014 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2014 - Proceedings |
| Zeng Y, Rose C, Brauner P, et al. (2014) Modeling basic aspects of cyber-physical systems, part II (Extended Abstract) Proceedings - 16th Ieee International Conference On High Performance Computing and Communications, Hpcc 2014, 11th Ieee International Conference On Embedded Software and Systems, Icess 2014 and 6th International Symposium On Cyberspace Safety and Security, Css 2014. 550-557 |
| Inoue J, Taha W. (2012) Reasoning about multi-stage programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7211: 357-376 |
| Chen F, Taha W, Deng L. (2010) Multi-stage programming for high-level description of circuit families Proceedings - 2010 3rd International Congress On Image and Signal Processing, Cisp 2010. 6: 3003-3007 |
| Gillenwater J, Malecha G, Salama C, et al. (2010) Synthesizable high level hardware descriptions New Generation Computing. 28: 339-369 |
| Chen F, Goyal R, Westbrook E, et al. (2010) Implicitly heterogeneous multi-stage programming for FPGAs Journal of Computational Information Systems. 6: 4915-4922 |