Concepedia

Christoph M. Kirsch

CM

Statistics

Publications

6

Citations

217

H-Index

6

Active since

2001

Affiliations

University of Salzburg(Current)

University of California, Berkeley

Christoph M. Kirsch is an author at University of Salzburg specializing in computing, computer science, and computer engineering.

Publications per year

2001–2018

6

Publications

6

Proceedings of the sixth conference on Computer systems

Christoph M. Kirsch, Gernot Heiser · 2011 · 63 citations

Computing, Computer Science, Computer Systems +9

JMOCHA: a model checking tool that exploits design structure

Rajeev Alur, Luca de Alfaro, Radu Grosu et al. · 2001 · 62 citations

Computing, Computer Engineering, Computer Science +14

Information-acquisition-as-a-service for cyber-physical cloud computing

Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch et al. · 2010 · 43 citations

Computing, Cloud Computing, Computer Science +13

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures

Martin Aigner, Armin Biere, Christoph M. Kirsch et al. · EPiC series in computing · 2018 · 19 citations · Full text

Computing, Computer Engineering, Computer Science +16

A Scalable, Correct Time-Stamped Stack

Mike Dodds, Andreas Haas, Christoph M. Kirsch · ACM SIGPLAN Notices · 2015 · 18 citations · Full text

Computing, Computer Engineering, Computer Science +9

1–5 of 6