Toktam Ramezanifarkhani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hoare-style reasoning from multiple contracts Lecture Notes in Computer Science	2022-11-04	Paper
Static checking of GDPR-related privacy compliance for object-oriented distributed systems Journal of Logical and Algebraic Methods in Programming	2022-03-09	Paper
An evaluation of interaction paradigms for active objects Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper
A secrecy-preserving language for distributed and object-oriented systems Journal of Logical and Algebraic Methods in Programming	2018-06-27	Paper

Research outcomes over time

This page was built for person: Toktam Ramezanifarkhani