Search the dblp DataBase
Kai Baukus: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verifying Universal Properties of Parameterized Networks. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:291-303 [Conf] - Kai Baukus, Ron van der Meyden
A Knowledge Based Analysis of Cache Coherence. [Citation Graph (0, 0)][DBLP]
ICFEM, 2004, pp:99-114 [Conf] - Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
Divide, Abstract, and Model-Check. [Citation Graph (0, 0)][DBLP]
SPIN, 1999, pp:57-76 [Conf] - Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
Abstracting WS1S Systems to Verify Parameterized Networks. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:188-203 [Conf] - Kai Baukus, Yassine Lakhnech, Karsten Stahl
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. [Citation Graph (0, 0)][DBLP]
VMCAI, 2002, pp:317-330 [Conf] - Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
Networks of Processes with Parameterized State Space. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal] - Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verification of Parameterized Protocols. [Citation Graph (0, 0)][DBLP]
J. UCS, 2001, v:7, n:2, pp:141-158 [Journal]
Search in 0.001secs, Finished in 0.001secs
| 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