The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hendrik Tews: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002