Christoph M. Kirsch
AuthID: R-00F-KYS
1
TITLE: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017
AUTHORS: Christoph M Kirsch; Ben L Titzer;
PUBLISHED: 2017, SOURCE: ISMM
AUTHORS: Christoph M Kirsch; Ben L Titzer;
PUBLISHED: 2017, SOURCE: ISMM
INDEXED IN: 
DBLP
DBLP2
TITLE: BigActors - A Model for Structure-aware Computation
AUTHORS: Eloi Pereira; Christoph M Kirsch; Raja Sengupta; Joao Borges de Sousa ;
PUBLISHED: 2013, SOURCE: 4th IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS)
AUTHORS: Eloi Pereira; Christoph M Kirsch; Raja Sengupta; Joao Borges de Sousa ;
PUBLISHED: 2013, SOURCE: 4th IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS)
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011
AUTHORS: Christoph M Kirsch; Gernot Heiser;
PUBLISHED: 2011, SOURCE: EuroSys
AUTHORS: Christoph M Kirsch; Gernot Heiser;
PUBLISHED: 2011, SOURCE: EuroSys
INDEXED IN: DBLP
DBLP4
TITLE: Distributed, Modular HTL Full Text
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
5
TITLE: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria
AUTHORS: Christoph M Kirsch; Reinhard Wilhelm;
PUBLISHED: 2007, SOURCE: EMSOFT
AUTHORS: Christoph M Kirsch; Reinhard Wilhelm;
PUBLISHED: 2007, SOURCE: EMSOFT
INDEXED IN: DBLP
DBLP