| SpaTeL: a novel spatial-temporal logic and its applications to networked systems I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 127 | 2015 |
| Control from signal temporal logic specifications with smooth cumulative quantitative semantics I Haghighi, N Mehdipour, E Bartocci, C Belta 2019 IEEE 58th Conference on Decision and Control (CDC), 4361-4366, 2019 | 62 | 2019 |
| Robotic swarm control from spatio-temporal specifications I Haghighi, S Sadraddini, C Belta 2016 IEEE 55th Conference on Decision and Control (CDC), 5708-5713, 2016 | 42 | 2016 |
| A formal methods approach to pattern recognition and synthesis in reaction diffusion networks E Bartocci, EA Gol, I Haghighi, C Belta IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016 | 41 | 2016 |
| Automated design of pluripotent stem cell self-organization ARG Libby, D Briers, I Haghighi, DA Joy, BR Conklin, C Belta, ... Cell systems 9 (5), 483-495. e10, 2019 | 29 | 2019 |
| Pattern synthesis in a 3D agent-based model of stem cell differentiation D Briers, I Haghighi, D White, ML Kemp, C Belta 2016 IEEE 55th conference on decision and control (CDC), 4202-4207, 2016 | 15 | 2016 |
| Spatial-temporal pattern synthesis in a network of locally interacting cells N Mehdipour, D Briers, I Haghighi, CM Glen, ML Kemp, C Belta 2018 IEEE Conference on Decision and Control (CDC), 3516-3521, 2018 | 13 | 2018 |
| Genetic design automation for autonomous formation of multicellular shapes from a single cell progenitor E Appleton, N Mehdipour, T Daifuku, D Briers, I Haghighi, M Moret, ... bioRxiv, 807107, 2019 | 5 | 2019 |
| Self-organized pluripotent stem cell patterning by automated design D Briers, ARG Libby, I Haghighi, DA Joy, BR Conklin, C Belta, ... Available at SSRN 3318933, 2019 | 4 | 2019 |
| Semi-supervised pattern synthesis in spatially distributed dynamical systems I Haghighi, K Leahy, R Ivison, C Belta 2017 American Control Conference (ACC), 2530-2535, 2017 | 1 | 2017 |
| Spatio-temporal logics for verification and control of networked systems I Haghighi Boston University, 2019 | | 2019 |
| SpaTeL I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | | 2015 |
| Genetic Systems Engineering P Vaidyanathan, E Appleton, C Madsen, CI Vasile, A Pacheco, I Haghighi, ... | | |
Calin BeltaProfessor, Boston UniversityBestätigte E-Mail-Adresse bei bu.edu
