Search the dblp DataBase
Christian W. Probst: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- René Rydhof Hansen, Christian W. Probst, Flemming Nielson
Sandboxing in myKlaim. [Citation Graph (0, 0)][DBLP]
ARES, 2006, pp:174-181 [Conf] - Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz
Issues in holistic system design. [Citation Graph (0, 0)][DBLP]
PLOS, 2006, pp:12- [Conf] - Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk
Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). [Citation Graph (0, 0)][DBLP]
PLOS, 2006, pp:1- [Conf] - Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens
05141 Summary - Power-aware Computing Systems. [Citation Graph (0, 0)][DBLP]
Power-aware Computing Systems, 2005, pp:- [Conf] - Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens
05141 Abstracts Collection - Power-aware Computing Systems. [Citation Graph (0, 0)][DBLP]
Power-aware Computing Systems, 2005, pp:- [Conf] - Vasanth Venkatachalam, Christian W. Probst, Michael Franz
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. [Citation Graph (0, 0)][DBLP]
Power-aware Computing Systems, 2005, pp:- [Conf] - Christian W. Probst
Modular Control Flow Analysis for Libraries. [Citation Graph (0, 0)][DBLP]
SAS, 2002, pp:165-179 [Conf] - Andreas Gal, Christian W. Probst, Michael Franz
HotpathVM: an effective JIT compiler for resource-constrained devices. [Citation Graph (0, 0)][DBLP]
VEE, 2006, pp:144-153 [Conf] - Andreas Gal, Christian W. Probst, Michael Franz
Integrated Java Bytecode Verification. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:27-38 [Journal] - Andreas Gal, Christian W. Probst, Michael Franz
Structural Encoding of Static Single Assignment Form. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:85-102 [Journal] - Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
A portable virtual machine target for proof-carrying code. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 2005, v:57, n:3, pp:275-294 [Journal] - Christian W. Probst, René Rydhof Hansen, Flemming Nielson
Where Can an Insider Attack? [Citation Graph (0, 0)][DBLP]
Formal Aspects in Security and Trust, 2006, pp:127-142 [Conf] - Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
Program Partitioning Using Dynamic Trust Models. [Citation Graph (0, 0)][DBLP]
Formal Aspects in Security and Trust, 2006, pp:170-184 [Conf] - Michael Franz, Andreas Gal, Christian W. Probst
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. [Citation Graph (0, 0)][DBLP]
Software Engineering, 2007, pp:83-94 [Conf]
Static Validation of Licence Conformance Policies. [Citation Graph (, )][DBLP]
From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]
07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation. [Citation Graph (, )][DBLP]
07041 Abstracts Collection - Power-aware Computing Systems. [Citation Graph (, )][DBLP]
07041 Summary - Power-aware Computing Systems. [Citation Graph (, )][DBLP]
Analysing Access Control Specifications. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002