Hans van der Schoot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1995–1998
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | ICDCS | On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. | Hans van der Schoot, Hasan Ural |
| 1996 | ICDCS | Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). | Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural |
| 1995 | PODC | Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). | Hans van der Schoot, Hasan Ural |