PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bertolissi, Clara"

Author of the publication

copydeleteadd this publication to your clipboard
Sharing in the Graph Rewriting Calculus.

, and . WADT, volume 7137 of Lecture Notes in Computer Science, page 27-41. Springer, (2010)

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.

Clara Beck University of Stuttgart

Clara Roth University of Stuttgart

Clara Fuhrer University of Stuttgart

Dr. rer. nat. Clara Waldmann University of Stuttgart

Clara Oehler University of Stuttgart

 

Other publications of authors with the same name

Expressing combinatory reduction systems derivations in the rewriting calculus., , and . Higher-Order and Symbolic Computation, 19 (4): 345-376 (2006)The graph rewriting calculus: properties and expressive capabilities.. National Polytechnic Institute of Lorraine, Nancy, France, (2005)The Rewriting Calculus as a Combinatory Reduction System., and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 78-92. Springer, (2007)Time and Location Based Services with Access Control., and . NTMS, page 1-6. IEEE, (2008)An algebraic-functional framework for distributed access control., and . CRiSIS, page 1-8. IEEE, (2008)Analysis of access control policy updates through narrowing., , and . PPDP, page 62-75. ACM, (2016)Category-Based Authorisation Models: Operational Semantics and Expressive Power., and . ESSoS, volume 5965 of Lecture Notes in Computer Science, page 140-156. Springer, (2010)A Rewriting Calculus for Cyclic Higher-order Term Graphs., , , and . Electron. Notes Theor. Comput. Sci., 127 (5): 21-41 (2005)A metamodel of access control for distributed environments: Applications and properties., and . Inf. Comput., (2014)The Graph Rewriting Calculus: Confluence and Expressiveness.. ICTCS, volume 3701 of Lecture Notes in Computer Science, page 113-127. Springer, (2005)