( en | de | ru )

 

Disambiguation of "Ksystra, Katerina"

Author of the publication

copydeleteadd this publication to your clipboard
Applying Algebraic Specifications on Digital Right Management Systems.

, , , and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 94-100. Imperial College London, (2011)

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.

Katerina Gehl

Katerina Laubner

Katerina Sarbi

Katerina Apostolakidou

Katerina Taseva

 

Other publications of authors with the same name

Some Engineering Applications of the OTS/CafeOBJ Method., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 541-559. Springer, (2014)Enabling reasoning and verification support for intelligent agent systems, using formal methods. National Technical University of Athens, Greece, (2017)National Archive of PhD Theses: oai:10442/42255.Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications., , , and . SMAP, page 81-86. IEEE, (2012)A Dynamic Algebraic Specification for Social Networks, , , and . CoRR, (2011)Towards a Methodology for Formally Analyzing Federated Identity Management Systems., , , , and . ISoLA (4), volume 13704 of Lecture Notes in Computer Science, page 382-405. Springer, (2022)On the Algebraic Semantics of Reactive Rules., , and . RuleML, volume 7438 of Lecture Notes in Computer Science, page 136-150. Springer, (2012)Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics., , , and . SMAP, page 48-53. IEEE, (2014)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Applying Algebraic Specifications on Digital Right Management Systems., , , and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 94-100. Imperial College London, (2011)An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents., , and . SOFSEM, volume 8327 of Lecture Notes in Computer Science, page 407-418. Springer, (2014)