S. Akshay

	2011
5		Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan: A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB 2011: 35-44
	2010
4		S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Model checking time-constrained scenario-based specifications. FSTTCS 2010: 204-215
	2008
3		S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Distributed Timed Automata with Independently Evolving Clocks. CONCUR 2008: 82-97
	2007
2		S. Akshay, Madhavan Mukund, K. Narayan Kumar: Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196
1		S. Akshay, Benedikt Bollig, Paul Gastin: Automata and Logics for Timed Message Sequence Charts. FSTTCS 2007: 290-302

Coauthor Index

1	Benedikt Bollig	[1] [3]
2	Paul Gastin	[1] [3] [4]
3	Blaise Genest	[5]
4	K. Narayan Kumar	[2] [3] [4]
5	Madhavan Mukund	[2] [3] [4]
6	Sucheendra K. Palaniappan	[5]
7	P. S. Thiagarajan	[5]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page