Ulrich Stern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–1998
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | Using Magnatic Disk Instead of Main Memory in the Mur | Ulrich Stern, David L. Dill |
| 1997 | CAV | Parallelizing the Mur | Ulrich Stern, David L. Dill |
| 1997 | SP | Automated analysis of cryptographic protocols using Mur-phi. | John C. Mitchell, Mark Mitchell, Ulrich Stern |
| 1996 | FORTE | A New Scheme for Memory-Efficient Probabilistic Verification. | Ulrich Stern, David L. Dill |