×

zbMATH — the first resource for mathematics

Kirsch, Christoph M.

Compute Distance To:
Author ID: kirsch.christoph-m Recent zbMATH articles by "Kirsch, Christoph M."
Published as: Kirsch, C.; Kirsch, Christoph; Kirsch, Christoph M.
External Links: MGP
Documents Indexed: 14 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 75 times in 65 Documents Cited by Year
Dirichlet-to-Neumann boundary conditions for multiple scattering problems. Zbl 1063.65123
Grote, Marcus J.; Kirsch, Christoph
40
2004
Nonreflecting boundary condition for time-dependent multiple scattering. Zbl 1111.65071
Grote, Marcus J.; Kirsch, Christoph
18
2007
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
6
2013
A scalable, correct time-stamped stack. Zbl 1345.68116
Dodds, Mike; Haas, Andreas; Kirsch, Christoph M.
4
2015
Far-field evaluation via nonreflecting boundary conditions. Zbl 1064.65115
Grote, M. J.; Kirsch, C.
3
2003
A Giotto-based helicopter control system. Zbl 1027.68854
Kirsch, Christoph M.; Sanvido, Marco A. A.; Henzinger, Thomas A.; Pree, Wolfgang
2
2002
Event-driven programming with logical execution times. Zbl 1135.93354
Ghosal, Arkadeb; Henzinger, Thomas A.; Kirsch, Christoph M.; Sanvido, Marco A. A.
1
2004
Time-safety checking for embedded programs. Zbl 1027.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
A scalable, correct time-stamped stack. Zbl 1345.68116
Dodds, Mike; Haas, Andreas; Kirsch, Christoph M.
4
2015
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
6
2013
Nonreflecting boundary condition for time-dependent multiple scattering. Zbl 1111.65071
Grote, Marcus J.; Kirsch, Christoph
18
2007
Dirichlet-to-Neumann boundary conditions for multiple scattering problems. Zbl 1063.65123
Grote, Marcus J.; Kirsch, Christoph
40
2004
Event-driven programming with logical execution times. Zbl 1135.93354
Ghosal, Arkadeb; Henzinger, Thomas A.; Kirsch, Christoph M.; Sanvido, Marco A. A.
1
2004
Far-field evaluation via nonreflecting boundary conditions. Zbl 1064.65115
Grote, M. J.; Kirsch, C.
3
2003
A Giotto-based helicopter control system. Zbl 1027.68854
Kirsch, Christoph M.; Sanvido, Marco A. A.; Henzinger, Thomas A.; Pree, Wolfgang
2
2002
Time-safety checking for embedded programs. Zbl 1027.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
all top 5

Cited by 121 Authors

10 Grote, Marcus J.
6 Acosta, Sebastian
5 Villamizar, Vianey
4 Antoine, Xavier
3 Assous, Franck
3 Bouajjani, Ahmed
3 Chniti, Chokri
3 Enea, Constantin
3 Falletta, Silvia
3 Nataf, Frédéric
2 Alzubaidi, Hasan
2 Bergen, Bart
2 Boubendir, Yassine
2 Cavalcanti, Ana
2 Chen, Linchong
2 Desmet, Wim
2 Ecevit, Fatih
2 Emmi, Michael
2 Hamza, Jad
2 Jiang, Xue
2 Kirsch, Christoph M.
2 Koyama, Daisuke
2 Kray, Marie
2 Laghrouche, Omar
2 Li, Xiaolin
2 Monegato, Giovanni
2 Shavit, Nir N.
2 Sim, Imbo
2 Talmage, Edward
2 Taubenfeld, Gadi
2 Thierry, Bertrand
2 Trevelyan, Jon
2 Wang, Bo
2 Wang, Lilian
2 Welch, Jennifer Lundelius
2 Xie, Ziqing
2 Zheng, Weiying
1 Alharbi, Sayer Obaid
1 Alzahrani, Saleh M.
1 Anand, Akash
1 Atak, Onur
1 Baffet, Daniel H.
1 Bangerth, Wolfgang
1 Bertoluzza, Silvia
1 Calvetti, Daniela
1 Chen, Chun-Ting
1 Chen, Guoyuan
1 Chen, I-Lin
1 Chen, Jeng-Tzong
1 Chen, Jin-Tzaih
1 Chen, Pa-Yuan
1 Clayton, Phil
1 Cui, Xiangyang
1 Dastrup, Blake
1 Dautov, Rafail Z.
1 Di Nezza, Eleonora
1 Dodds, Mike
1 Dongol, Brijesh
1 Du, Kui
1 El Kacimi, Abdellah
1 El Kacimi, Aziz
1 Ganty, Pierre
1 Gotsman, Alexey
1 Graff, Marie
1 Grundvig, Dane
1 Hadwin, Paul J.
1 Hierons, Robert Mark
1 Hohenegger, Christel
1 Hu, Xin
1 Huttunen, Janne M. J.
1 Huybrechs, Daan
1 Isaacson, David
1 Kaipio, Jari P.
1 Karchevskii, Evgenii Mikhailovich
1 Khyzha, Artem
1 Kim, Seungil
1 Lai, Jun
1 Lee, Hyunyoung
1 Lee, Wei-Ming
1 Li, Guangyao
1 Li, Peijun
1 Li, Peijun
1 Liu, Jijun
1 Lv, Junliang
1 Lv, Yi
1 Majumdar, Rupak
1 Malone, Bruce
1 Mcgivney, Debra
1 Min, Youngho
1 Mohamed, M. Shadi
1 Mota, Alexandre C.
1 O’Halloran, Colin
1 Ouazar, Driss
1 Palatucci, Giampiero
1 Parkinson, Matthew J.
1 Pluymers, Bert
1 Ramdani, Karim
1 Reitich, Fernando
1 Rojas, Otilio
1 Seaïd, Mohammed
...and 21 more Authors

Citations by Year