Alexandra Tsyban

	2009
4		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009)
	2008
3		Artem Starostin, Alexandra Tsyban: Verified Process-Context Switch for C-Programmed Kernels. VSTTE 2008: 240-254
2		Thomas In der Rieden, Alexandra Tsyban: CVM - A Verified Framework for Microkernel Programmers. Electr. Notes Theor. Comput. Sci. 217: 151-168 (2008)
1		Artem Starostin, Alexandra Tsyban: Correct Microkernel Primitives. Electr. Notes Theor. Comput. Sci. 217: 169-185 (2008)

Coauthor Index

1	Eyad Alkassar	[4]
2	Mark A. Hillebrand	[4]
3	Dirk Leinenbach	[4]
4	Thomas In der Rieden	[2]
5	Norbert Schirmer	[4]
6	Artem Starostin	[1] [3] [4]