PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vene, Varmo"

Author of the publication

copydeleteadd this publication to your clipboard
A Type System for Computationally Secure Information Flow.

, and . FCT, volume 3623 of Lecture Notes in Computer Science, page 365-377. Springer, (2005)

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.

No persons found for author name Vene, Varmo
add a person with the name Vene, Varmo
 

Other publications of authors with the same name

Build, Augment and Destroy, Universally., , and . APLAS, volume 3302 of Lecture Notes in Computer Science, page 327-347. Springer, (2004)Corecursive Algebras: A Study of General Structured Corecursion., , and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 84-100. Springer, (2009)The Essence of Dataflow Programming., and . CEFP, volume 4164 of Lecture Notes in Computer Science, page 135-167. Springer, (2005)Mendler-Style Inductive Types, Categorically., and . Nord. J. Comput., 6 (3): 343- (1999)Interprocedural Invariants, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (2002)Recursive coalgebras from comonads., , and . Inf. Comput., 204 (4): 437-468 (2006)An Interactive Tool for Analyzing Embedded SQL Queries., , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 131-138. Springer, (2010)A Type System for Computationally Secure Information Flow., and . FCT, volume 3623 of Lecture Notes in Computer Science, page 365-377. Springer, (2005)Models of Attributed Automata., , and . Informatica, Lith. Acad. Sci., 9 (1): 85-105 (1998)Type systems equivalent to data-flow analyses for imperative languages., , and . Theor. Comput. Sci., 364 (3): 292-310 (2006)