Edit Profile (opens in new tab) Meyer Kirsch, Christoph Co-Author Distance Author ID: meyer-kirsch.christoph Published as: Meyer Kirsch, Christoph Documents Indexed: 1 Publication since 2001 Co-Authors: 2 Co-Authors with 1 Joint Publication 177 Co-Co-Authors Co-Authors 0 single-authored 1 Henzinger, Thomas A. 1 Horowitz, Benjamin Serials Fields 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 11 times in 10 Documents Cited by ▼ Year ▼ Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 all cited Publications top 5 cited Publications all top 5 Cited by 35 Authors 1 Abdelwahed, Sherif 1 Abdelzaher, Tarek F. 1 Ahmad, Rehan 1 Bartolini, Davide B. 1 Bouyer, Patricia 1 Cervin, Anton 1 Chandy, Kanianthra Mani 1 Feo-Arenis, Sergio 1 Fisher, Jasmin 1 Ganty, Pierre 1 Giannopoulou, Georgia 1 Go, Brian 1 Henzinger, Thomas A. 1 Huang, Pengcheng 1 Lee, Edward Ashford 1 Liu, Jie 1 Lohstroh, Marten 1 Madl, Gabor 1 Maggio, Martina 1 Majumdar, Rupak 1 Mandrioli, Claudio 1 Markey, Nicolas 1 Mateescu, Maria 1 Mitra, Sayan 1 Pazzaglia, Paolo 1 Pilotto, Concetta 1 Piterman, Nir 1 Priyantha, Bodhi 1 Sankur, Ocan 1 Schmidt, Douglas C. 1 Thiele, Lothar 1 Vujinović, Milan 1 Westphal, Bernd 1 White, Jerome 1 Zhao, Feng Cited in 3 Serials 3 Real-Time Systems 1 Information and Computation 1 Formal Aspects of Computing Cited in 2 Fields 10 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) Citations by Year