From post

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.

 

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

On the Faithful Regular Extensions of Iterative Algebras. STOC, стр. 368-374. ACM, (1981)The Semantics of Shared Submodules Specifications., и . TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 359-373. Springer, (1985)Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption., и . DBSec, том 3654 из Lecture Notes in Computer Science, стр. 338-352. Springer, (2005)Refinements of Graph Transformation Systems via Rule Expressions., , и . TAGT, том 1764 из Lecture Notes in Computer Science, стр. 368-382. Springer, (1998)Parallelism analysis in rule-based systems using graph grammars., и . Graph-Grammars and Their Application to Computer Science, том 291 из Lecture Notes in Computer Science, стр. 427-439. Springer, (1986)A Model for Distribution and Revocation of Certificates., и . ICGT, том 6372 из Lecture Notes in Computer Science, стр. 314-329. Springer, (2010)Non-Equivalence of Categories for Equational Algebraic Specifications., и . COMPASS/ADT, том 655 из Lecture Notes in Computer Science, стр. 222-235. Springer, (1991)Closure Properties of Context-Tree Hyperedge Replacement Systems., и . WG, том 1197 из Lecture Notes in Computer Science, стр. 101-113. Springer, (1996)On the Complexity of Specification Morphisms., и . Theor. Comput. Sci., 189 (1-2): 239-248 (1997)Resource-aware policies., , , и . J. Vis. Lang. Comput., (2017)