I agree that this site is using cookies. You can find further informations here.
X
Vaynberg, Alexander
7  results:
Search for persons X
?
1

CertiKOS : a certified kernel for secure cloud computing:

, In: Proceedings of the Second Asia-Pacific Workshop on Systems,
Gu, Liang ; Vaynberg, Alexander ; Ford, Bryan.. - p. 1-5 , 2011
Link: https://dl.acm.org/doi/1..
 
?
2

Certified self-modifying code:

, In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Cai, Hongxu ; Shao, Zhong ; Vaynberg, Alexander - p. 66-77 , 2007
Link: https://dl.acm.org/doi/1..
 
?
3

Certified self-modifying code:

Cai, Hongxu ; Shao, Zhong ; Vaynberg, Alexander
ACM SIGPLAN Notices.  42 (2007)  6 - p. 66-77 , 2007
Link: https://doi.org/10.1145/..
 
?
4

Modular verification of assembly code with stack-based cont..:

, In: Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Feng, Xinyu ; Shao, Zhong ; Vaynberg, Alexander.. - p. 401-414 , 2006
Link: https://dl.acm.org/doi/1..
 
?
5

Modular verification of assembly code with stack-based cont..:

Feng, Xinyu ; Shao, Zhong ; Vaynberg, Alexander..
ACM SIGPLAN Notices.  41 (2006)  6 - p. 401-414 , 2006
Link: https://doi.org/10.1145/..
 
?
6

The passenger 

Arthaus Musik, Opera
Weinberg, Mieczysław ; Doneva, Svetlana ; Sokolova, Liuba... , [2015]
Copies:  Zentrale/Mediathek: ph 5172
 
?
7

Piano trios 

Musica rara - Musica famosa ; 2
Sitkovetsky, Dmitry ; Geringas, David ; Nemtsov, Jascha. , P 2005
Copies:  Zentrale/Mediathek: pd 5387
 
1-7
Related subjects
Oper und Operette