|
Search the dblp DataBase
Christian Jacobi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christian Jacobi
The Lilith Architecture, Its Design in View of Code Generation. [Citation Graph (0, 0)][DBLP] PASCAL, 1982, pp:67-80 [Conf]
- K. V. Nori, Urs Ammann, Kathleen Jensen, H. H. Nageli, Christian Jacobi
Pascal-P Implementation Notes. [Citation Graph (0, 0)][DBLP] Pascal - The Language and its Implementation, 1981, pp:125-170 [Conf]
- Russell R. Atkinson, Alan J. Demers, Carl Hauser, Christian Jacobi, Peter Kessler, Mark Weiser
Experiences Creating a Portable Cedar. [Citation Graph (0, 0)][DBLP] PLDI, 1989, pp:322-329 [Conf]
- Carl Hauser, Christian Jacobi, Marvin Theimer, Brent B. Welch, Mark Weiser
Using Threads in Interactive Systems: A Case Study. [Citation Graph (0, 0)][DBLP] SOSP, 1993, pp:94-105 [Conf]
- Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Putting it all together - Formal verification of the VAMP. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:4-5, pp:411-430 [Journal]
- Peter Schulthess, Christian Jacobi
Anatomy of a Small Pascal Compiler. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1983, v:9, n:2, pp:191- [Journal]
Search in 0.001secs, Finished in 0.001secs
|