Raman Sharykin

	2007
4		Raman Sharykin, Phillip A. Porras: Applying Formal Evaluation to Worm Defense Design. IPCCC 2007: 479-486
	2006
3		José Meseguer, Raman Sharykin: Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC 2006: 460-475
	2004
2		Mikhail Bernadsky, Raman Sharykin, Rajeev Alur: Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT 2004: 309-324
	2003
1		Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic: Formalizing Java-MaC. Electr. Notes Theor. Comput. Sci. 89(2): (2003)

Coauthor Index

1	Rajeev Alur	[2]
2	Mikhail Bernadsky	[2]
3	Margaret DeLap	[1]
4	Myong Kim	[1]
5	José Meseguer	[3]
6	Phillip A. Porras	[4]
7	Usa Sammapun	[1]
8	Steve Zdancewic	[1]

Colors in the list of coauthors