Search the dblp DataBase

Publications of Author

1. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
   Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:105-121 [Conf]
   
2. Hendrik Tews
   Coalgebras for Binary Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
3. Hendrik Tews
   Greatest Bisimulations for Binary Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
4. Hendrik Tews
   Predicate and Relation Lifting for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:335-353 [Journal]
   
5. Hendrik Tews
   Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. [Citation Graph (0, 0)][DBLP]
   ITA, 2001, v:35, n:1, pp:83-111 [Journal]
   
6. Jan Rothe, Hendrik Tews, Bart Jacobs
   The Coalgebraic Class Specification Language CCSL. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2001, v:7, n:2, pp:175-193 [Journal]
   
7. 
   Applying source-code verification to a microkernel: the VFiasco project. [Citation Graph (, )][DBLP]
   
   
8. 
   Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. [Citation Graph (, )][DBLP]
   
   
9. 
   Preemption Abstraction. [Citation Graph (, )][DBLP]
   
   
10. 
    A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. [Citation Graph (, )][DBLP]