dblp.uni-trier.dewww.uni-trier.de

Stephan Zeisset

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEAmitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516
2EEAmitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006)
1996
1 Stephan Zeisset, Stefan Tritscher, Martin Mairandres: A New Approach to Distributed Memory Management in the Mach Microkernel. USENIX Annual Technical Conference 1996: 205-218

Coauthor Index

1Charles J. Fleckenstein [2] [3]
2John C. Huang [2] [3]
3Martin Mairandres [1]
4Amitabha Roy [2] [3]
5Stefan Tritscher [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)