( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Some Domain Theory and Denotational Semantics in Coq.

, , и . TPHOLs, том 5674 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2009)

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.

Carsten Güttler

From dust to planets: dust aggregation in the post fractal growth regime. TU Braunschweig, (2009)

Carsten Hof

Implementation of a model-independent search for new physics with the CMS detector exploiting the world-wide LHC Computing Grid. TU Aachen, (2009)

Carsten Clauß

Effiziente Parallelverarbeitung mit Nachrichtenaustausch auf Metacomputern. TU Aachen, (2009)

Carsten Bahnsen

Carsten Helssen

 

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

Stratified Abstraction of Access Control Policies., , , , , , , , , и 8 other автор(ы). CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 165-176. Springer, (2020)Some Domain Theory and Denotational Semantics in Coq., , и . TPHOLs, том 5674 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2009)Block public access: trust safety verification of access control policies., , , , , , , , , и 4 other автор(ы). ESEC/SIGSOFT FSE, стр. 281-291. ACM, (2020)One-Click Formal Methods., , , , , , , , , и 1 other автор(ы). IEEE Softw., 36 (6): 61-65 (2019)Reachability Analysis for AWS-Based Networks., , , , , , , , , и 9 other автор(ы). CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 231-241. Springer, (2019)Higher-Order Separation Logic in Isabelle/HOLCF., и . MFPS, том 218 из Electronic Notes in Theoretical Computer Science, стр. 371-389. Elsevier, (2008)Semantic-based Automated Reasoning for AWS Access Policies using SMT., , , , , , , , и . FMCAD, стр. 1-9. IEEE, (2018)