Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Arjun Radhakrishna" ( http://dblp.L3S.de/Authors/Arjun_Radhakrishna )

  Author page on DBLP  Author page in RDF  Community of Arjun Radhakrishna in ASPL-2

Publication years (Num. hits)
2010 (5) 2011 (2) 2012 (1)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
CAV(3) CoRR(2) CONCUR(1) Essays in Memory of Amir Pnuel...(1) Theor. Comput. Sci.(1)
Authors
Arjun Radhakrishna(8) Thomas A. Henzinger(7) Pavol Cerný(6) Krishnendu Chatterjee(4) Barbara Jobstmann(2) Rohit Singh 0002(2) Damien Zufferey(1) Rajeev Alur(1) Swarat Chaudhuri(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna Simulation distances. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 Quantitative Synthesis for Concurrent Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 Quantitative Synthesis for Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna GIST: A Solver for Probabilistic Games Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna Simulation Distances. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna Quantitative Simulation Games. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur Model Checking of Linearizability of Concurrent List Implementations. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna Gist: A Solver for Probabilistic Games. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.