Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "S. Akshay" ( http://dblp.L3S.de/Authors/S._Akshay )

  Author page on DBLP  Author page in RDF  Community of S. Akshay in ASPL-2

Publication years (Num. hits)
2007 (2) 2008 (1) 2010 (1) 2011 (1)
Publication types (Num. hits)
inproceedings(5)
Venues (Conferences, Journals, ...)
CONCUR(2) FSTTCS(2) CMSB(1)
Authors
S. Akshay(5) K. Narayan Kumar(3) Madhavan Mukund(3) Paul Gastin(3) Benedikt Bollig(2) Blaise Genest(1) P. S. Thiagarajan(1) Sucheendra K. Palaniappan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. Search on Bibsonomy CMSB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Model checking time-constrained scenario-based specifications. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Distributed Timed Automata with Independently Evolving Clocks. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1S. Akshay, Madhavan Mukund, K. Narayan Kumar Checking Coverage for Infinite Collections of Timed Scenarios. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1S. Akshay, Benedikt Bollig, Paul Gastin Automata and Logics for Timed Message Sequence Charts. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.