( en | de | ru )

 

Disambiguation of "Ksystra, Katerina"

Author of the publication

copydeleteadd this publication to your clipboard
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications.

, , , and . SIGMAP, page 35-38. SciTePress, (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.

Katerina Laubner

Katerina Gehl

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)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)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications., , , and . SMAP, page 81-86. IEEE, (2012)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.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)On Verifying Reactive Rules Using Rewriting Logic., , and . RuleML, volume 8620 of Lecture Notes in Computer Science, page 67-81. Springer, (2014)A Dynamic Algebraic Specification for Social Networks, , , and . CoRR, (2011)On the Algebraic Semantics of Reactive Rules., , and . RuleML, volume 7438 of Lecture Notes in Computer Science, page 136-150. Springer, (2012)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)