( en | de | ru )

 

Disambiguation of "Jakubiec, Line"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Executable Semantics of the JavaCard Platform.

, , , , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 302-319. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Line Wallerstein

Line Förtsch

Monika Linek

Wigbert Linek

Ingrid Linemann

 

Other publications of authors with the same name

Hardware Verification Using Co-induction in COQ., and . TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 91-108. Springer, (1999)A Functional Scenario for Bytecode Verification of Resource Bounds., , , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 265-279. Springer, (2004)A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines., , , and . VMCAI, volume 2294 of Lecture Notes in Computer Science, page 32-45. Springer, (2002)Coq and Hardware Verification: A Case Study., and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 125-139. Springer, (1996)Message composition based on concepts and goals., , and . I. J. Speech Technology, 11 (3-4): 181 (2008)A System for Modelling and Proving Circuits., , , and . ED&TC, page 605. IEEE Computer Society, (1996)A Formal Executable Semantics of the JavaCard Platform., , , , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 302-319. Springer, (2001)Certifying circuits in Type Theory., and . Formal Aspects Comput., 16 (4): 352-373 (2004)