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
Static race detection for device drivers: the Goblint approach.

, , , , , and . ASE, page 391-402. ACM, (2016)

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)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)Recursive coalgebras from comonads., , and . Inf. Comput., 204 (4): 437-468 (2006)Mendler-Style Inductive Types, Categorically., and . Nord. J. Comput., 6 (3): 343- (1999)Interprocedural Invariants, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (2002)Signals and Comonads., and . J. UCS, 11 (7): 1310-1326 (2005)Comonadic functional attribute evaluation., and . Trends in Functional Programming, volume 6 of Trends in Functional Programming, page 145-162. Intellect, (2005)