( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantics with Applications: An Appetizer

, и . Undergraduate Topics in Computer Science Springer, (марта 2007)
DOI: http://dx.doi.org/10.1007/978-1-84628-692-6

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.

Flemming Nielson

Georg Nielson

Georg Nielson

Georg Nielson

Flemming Hansen

Standards in der sozialen Arbeit. Uni Kassel, (2009)
 

Другие публикации лиц с тем же именем

Multi-valued Logic for Static Analysis and Model Checking., , и . Models, Mindsets, Meta, том 11200 из Lecture Notes in Computer Science, стр. 89-109. Springer, (2018)Active Evaluation Contexts for Reaction Semantics., , и . SOS@CONCUR, том 175 из Electronic Notes in Theoretical Computer Science, стр. 57-70. Elsevier, (2006)Behaviour Analysis and Safety Conditions: A Case Study in CML., , и . FASE, том 1382 из Lecture Notes in Computer Science, стр. 255-269. Springer, (1998)Principles of program analysis, , и . Springer, Corrected издание, (07.12.2005)Program Analysis (an Appetizer)., и . CoRR, (2020)Isabelle-verified correctness of Datalog programs for program analysis., , и . SAC, стр. 1731-1734. ACM, (2024)Cryptographic Pattern Matching., , и . VODCA@FOSAD, том 168 из Electronic Notes in Theoretical Computer Science, стр. 91-107. Elsevier, (2006)A monotone framework for CCS., и . Comput. Lang. Syst. Struct., 35 (4): 365-394 (2009)Timing Leaks and Coarse-Grained Clocks., , , и . CSF, стр. 32-47. IEEE, (2019)Secure Guarded Commands., и . From Lambda Calculus to Cybersecurity Through Program Analysis, том 12065 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2020)