Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Rohit
Last name:	Singh
DBLP:	21/3400
Rating:	(1)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 24  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh. QUASY: Quantitative Synthesis Tool.	Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 2011	(1)	2011
	Journal article Daniel Park, Rohit Singh, Michael Baym, Chung-Shou Liao, Bonnie Berger. IsoBase: a database of functionally related proteins across PPI networks.	Nucleic Acids Research 2011, Volume 39	(0)	2011
	Journal article Krishnendu Chatterjee, Laurent Doyen, Rohit Singh. On Memoryless Quantitative Objectives	CoRR 2011, Volume 0	(0)	2011
	Journal article Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh. Quantitative Synthesis for Concurrent Programs	CoRR 2011, Volume 0	(0)	2011
	Conference paper Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh. Quantitative Synthesis for Concurrent Programs.	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011	(0)	2011
	Conference paper Krishnendu Chatterjee, Laurent Doyen, Rohit Singh. On Memoryless Quantitative Objectives.	Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings 2011	(0)	2011
	Conference paper Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh. Measuring and Synthesizing Systems in Probabilistic Environments.	Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 2010	(0)	2010
	Conference paper Raghavendra Hosur, Rohit Singh, Bonnie Berger. Sparse Estimation for Structural Variability.	Algorithms in Bioinformatics, 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings 2010	(0)	2010
	Journal article Rohit Singh, Daniel Park, Jinbo Xu, Raghavendra Hosur, Bonnie Berger. Struct2Net: a web service to predict protein-protein interactions using a structure-based approach.	Nucleic Acids Research 2010, Volume 38	(0)	2010
	Journal article Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh. Measuring and Synthesizing Systems in Probabilistic Environments	CoRR 2010, Volume 0	(0)	2010

Show item 1 to 10 of 24  

Your query returned 24 matches in the database.