Author of the publication

Precise Information Flow Analysis by Program Verification.

, and . S&P, page 74-80. IEEE Computer Society, (1982)

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.

 

Other publications of authors with the same name

An Architecture for Self-Awareness Experiments., and . ICAC, page 255-262. IEEE Computer Society, (2017)Virtual Webworlds: Extending the Web for Collaboration., and . WETICE, page 90-95. IEEE Computer Society, (1999)CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed., , , , , , , , , and 2 other author(s). FAS*W@SASO/ICAC, page 52-55. IEEE, (2019)Language formation experiments in virtual worlds., and . SMC, page 1365-1370. IEEE, (1998)Data, information, knowledge, understanding: computing up the meaning hierarchy.. SMC, page 2255-2260. IEEE, (1998)Strands of Memory., and . CogSIMA, page 20-27. IEEE, (2020)Incorporating simulation into a design environment.. WSC, page 1180-1186. IEEE Computer Society, (1991)Modeling Current Events., and . HICSS, page 91. IEEE Computer Society, (2002)Outriggers and Training Wheels for Cooperating Systems.. FAS*W@SASO/ICAC, page 226-230. IEEE, (2018)Meta-analysis and Reflection as System Development Strategies., and . Metainformatics, volume 3002 of Lecture Notes in Computer Science, page 178-196. Springer, (2003)