The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Algebr. Program.
2004, volume: 58, number: 1-2

  1. Marieke Huisman, Thomas P. Jensen
    Guest editors' introduction: Special issue on Formal Methods for Smart Cards. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:1-2 [Journal]
  2. Igor Siveroni
    Operational semantics of the Java Card Virtual Machine. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:3-25 [Journal]
  3. Gerwin Klein, Martin Strecker
    Verified bytecode verification and type-certifying compilation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:27-60 [Journal]
  4. Bart Jacobs
    Weakest pre-condition reasoning for Java programs with JML annotations. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:61-88 [Journal]
  5. Claude Marché, Christine Paulin-Mohring, Xavier Urbain
    The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:89-106 [Journal]
  6. Bart Jacobs, Martijn Oostdijk, Martijn Warnier
    Source code verification of a secure payment applet. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:107-120 [Journal]
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