Вы здесь

Sabelfeld A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Confidentiality for Multithreaded Programs via Bisimulation 2003 Sabelfeld A. Lecture Notes in Computer Science 18.02.2004
СТ The Impact of Synchronisation on Secure Information Flow in Concurrent Programs 2001 Sabelfeld A. Lecture Notes in Computer Science 06.02.2002
СТ A Per Model of Secure Information Flow in Sequential Programs 1999 Sabelfeld A., Sands D. Lecture Notes in Computer Science 07.04.1999
СТ Forwards and Backwards Analysis for Functional Programs 1998 Sabelfeld A., Sabelfeld V. Proc. of WM98. Smogens Havsbad, January 14-16, 1998 13.02.1998
СТ Simple Semantic Analysis Problems for Functional Programs 1996 Sabelfeld V. K., Sabelfeld A. Joint Bull. of NCC and IIS 12.02.1998
СТ Correct Transformations of Logic Programs 1997 Sabelfeld A. Acta Congressus Hiberni 01.08.1997