The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Qinsi Wang" ( http://dblp.L3S.de/Authors/Qinsi_Wang )

  Author page on DBLP  Author page in RDF  Community of Qinsi Wang in ASPL-2

Publication years (Num. hits)
2011-2017 (13)
Publication types (Num. hits)
article(1) inproceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu 0013, James R. Faeder, Michael Lotze, Edmund M. Clarke Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka CyberCardia project: Modeling, verification and validation of implantable cardiac devices. Search on Bibsonomy BIBM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder High-level modeling and verification of cellular signaling. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Edmund M. Clarke Formal modeling of biological systems. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Edmund M. Clarke, Qinsi Wang 25 Years of Model Checking. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke Formal analysis for logical models of pancreatic cancer. Search on Bibsonomy CDC-ECE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. Search on Bibsonomy BICoB The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license