( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Context Dependent Analysis of BioAmbients.

, , и . Simulation and Verification of Dynamic Systems, том 06161 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

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.

Georg Nielson

Flemming Nielson

Paul Christian Coumine Riis

Haakon Riiser

Volker Riis

 

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

Program Analysis (an Appetizer)., и . CoRR, (2020)Behaviour Analysis and Safety Conditions: A Case Study in CML., , и . FASE, том 1382 из Lecture Notes in Computer Science, стр. 255-269. Springer, (1998)Static Validation of a Voting Protocol., , и . ARSPA@ICALP, том 135 из Electronic Notes in Theoretical Computer Science, стр. 115-134. Elsevier, (2005)Subclasses of Attribute Grammars. report DAIMI, PB-114. Comp. Sc. Department, Aarhus University, (1980)Active Evaluation Contexts for Reaction Semantics., , и . SOS@CONCUR, том 175 из Electronic Notes in Theoretical Computer Science, стр. 57-70. Elsevier, (2006)Multi-valued Logic for Static Analysis and Model Checking., , и . Models, Mindsets, Meta, том 11200 из Lecture Notes in Computer Science, стр. 89-109. Springer, (2018)$k$-visit Attribute Grammars, и . Mathematical Systems Theory, 15 (1): 17--28 (декабря 1981)See also: report DAIMI PB-121, Comp. Sc. Department, Aarhus University (June 1980)..Using Computation Sequences to Define Evaluators for Attribute Grammars. report DAIMI, PB-139. Comp. Sc. Department, Aarhus University, (1981)A monotone framework for CCS., и . Comput. Lang. Syst. Struct., 35 (4): 365-394 (2009)Cryptographic Pattern Matching., , и . VODCA@FOSAD, том 168 из Electronic Notes in Theoretical Computer Science, стр. 91-107. Elsevier, (2006)