Edit Profile (opens in new tab) Horowitz, Benjamin Co-Author Distance Author ID: horowitz.benjamin Published as: Horowitz, Benjamin External Links: MGP Documents Indexed: 7 Publications since 1999, including 2 Additional arXiv Preprints Co-Authors: 9 Co-Authors with 4 Joint Publications 549 Co-Co-Authors all top 5 Co-Authors 2 single-authored 3 Henzinger, Thomas A. 2 Majumdar, Rupak 1 Aslanyan, Grigor 1 Koo, T. John 1 Liebman, Judith S. 1 Ma, Cedric 1 Meyer Kirsch, Christoph 1 Sangiovanni-Vincentelli, Alberto L. 1 Sastry, S. Shankar 1 Seljak, Uroš 1 Wong-Toi, Howard Serials 1 Journal of Cosmology and Astroparticle Physics all top 5 Fields 3 Systems theory; control (93-XX) 2 Computer science (68-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 45 times in 44 Documents Cited by ▼ Year ▼ Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 17 2000 Rectangular hybrid games. Zbl 0937.91005 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 16 1999 Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857 Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar 1 2002 Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857 Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar 1 2002 Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 17 2000 Rectangular hybrid games. Zbl 0937.91005 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 16 1999 all cited Publications top 5 cited Publications all top 5 Cited by 99 Authors 4 Eggers, Andreas 4 Ramdani, Nacim 3 Faella, Marco 3 Fränzle, Martin 2 Benerecetti, Massimo 2 Bergstra, Jan A. 2 Candau, Yves 2 Dullerud, Geir E. 2 Kupferschmid, Stefan 2 La Torre, Salvatore 2 Meslem, Nacim 2 Middelburg, Cornelis A. 2 Nedialkov, Nedialko S. 2 Platzer, André 2 Prabhakar, Pavithra 2 Teige, Tino 2 Viswanathan, Mahesh 2 Vladimerou, Vladimeros 1 Abdelwahed, Sherif 1 Abdelzaher, Tarek F. 1 Ahmad, Rehan 1 Alexandre dit Sandretto, Julien 1 Alliot, Sylvain 1 Auer, Ekaterina 1 Bartolini, Davide B. 1 Bohrer, Rose 1 Bouissou, Olivier 1 Bouyer, Patricia 1 Bresolin, Davide 1 Capiluppi, Marta 1 Cervin, Anton 1 Chandy, Kanianthra Mani 1 Chapoutot, Alexandre 1 Damm, Werner 1 Deprettere, Ed F. A. 1 Dzetkulič, Tomáš 1 Edalat, Abbas 1 Feo-Arenis, Sergio 1 Fischer, Diana 1 Fisher, Jasmin 1 Fribourg, Laurent 1 Ganty, Pierre 1 Giannopoulou, Georgia 1 Go, Brian 1 Henzinger, Thomas A. 1 Herde, Christian 1 Höfner, Peter 1 Huang, Pengcheng 1 Jha, Sumit Kumar 1 Jimenez Leudo, Santiago 1 Kaiser, Lukasz 1 Kalinnik, Natalia 1 Kiel, Stefan 1 Kruglov, Evgeniĭ Valentinovich 1 Langmead, Christopher James 1 Le Coënt, Adrien 1 Lee, Edward Ashford 1 Lemaitre, Jérôme 1 Liu, Jie 1 Lohstroh, Marten 1 Madl, Gabor 1 Maggio, Martina 1 Majumdar, Rupak 1 Majumdar, Rupak 1 Mandrioli, Claudio 1 Markey, Nicolas 1 Martel, Matthieu 1 Mateescu, Maria 1 Minopoli, Stefano 1 Mishra, Bud 1 Mitra, Sayan 1 Moor, Thomas 1 Murano, Aniello 1 Napoli, Margherita 1 Nestmann, Uwe 1 Olde Loohuis, Loes 1 Pattinson, Dirk 1 Pazzaglia, Paolo 1 Pilotto, Concetta 1 Piterman, Nir 1 Priyantha, Bodhi 1 Quesel, Jan-David 1 Raisch, Jörg 1 Raskin, Jean-François 1 Rauh, Andreas 1 Sanfelice, Ricardo G. 1 Sankur, Ocan 1 Scheibler, Karsten 1 Schmidt, Douglas C. 1 Schneider, Sven 1 Sproston, Jeremy 1 Thiele, Lothar 1 Vujinović, Milan 1 Weidenbach, Christoph 1 Westphal, Bernd 1 White, Jerome 1 Witzel, Andreas 1 Yang, Jung-Min 1 Zhao, Feng all top 5 Cited in 13 Serials 7 Theoretical Computer Science 3 Information and Computation 3 Real-Time Systems 2 The Journal of Logic and Algebraic Programming 2 Nonlinear Analysis. Hybrid Systems 1 Formal Aspects of Computing 1 Discrete Event Dynamic Systems 1 Numerical Algorithms 1 Formal Methods in System Design 1 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1 International Journal of Applied Mathematics and Computer Science 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 36 Computer science (68-XX) 11 Systems theory; control (93-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Numerical analysis (65-XX) 4 Mathematical logic and foundations (03-XX) 3 Ordinary differential equations (34-XX) 3 Biology and other natural sciences (92-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year