Concepedia

Alexander Malkis

AM

4

Publications

98

Citations

4

H-Index

2006

Active since

Affiliations

Max Planck Society(Current)

Alexander Malkis is an author at Max Planck Society specializing in computer science, formal verification, and engineering.

ORCID

Top concepts

Publications per year

2006–2015

4

Publications

4

S4P: A Generic Language for Specifying Privacy Preferences and Policies

Moritz Y. Becker, Alexander Malkis, Laurent Bussard · 2010 · 39 citations

A Framework for Privacy Preferences and Data-Handling Policies

Moritz Y. Becker, Alexander Malkis, Laurent Bussard · 2009 · 25 citations

, , +17

Thread-Modular Verification Is Cartesian Abstract Interpretation

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko · Lecture notes in computer science · 2006 · 22 citations

, , +8

A Model of Service-Oriented Architectures

Alexander Malkis, Diego Marmsoler · 2015 · 12 citations

, , +17

Rows per page

1–4 of 4