Qinsi Wang

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 11

Top Topics

Caenorhabditis Elegans

Neural Architecture

Formal Analysis

Top Venues

Ershov Memorial Conference

Publications

Qinsi Wang, Sihai Zhang
DGL: Device Generic Latency Model for Neural Architecture Search on Mobile Devices. IEEE Trans. Mob. Comput. 23 (2) (2024)
Qinsi Wang, Jinghan Ke, Zhi Liang, Sihai Zhang
MathNAS: If Blocks Have a Role in Mathematical Architecture Design. NeurIPS (2023)
Yuqi Xiang, Feitong Chen, Qinsi Wang, Yang Gang, Xiang Zhang, Xinghao Zhu, Xingyu Liu, Lin Shao
Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation. CoRR (2023)
Qinsi Wang, Jinghan Ke, Zhi Liang, Sihai Zhang
MathNAS: If Blocks Have a Role in Mathematical Architecture Design. CoRR (2023)
Qinsi Wang, Wei Hong Yang
Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold. J. Sci. Comput. 95 (2) (2023)
Kai-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. CMSB (2017)
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB (2016)
Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
High-level modeling and verification of cellular signaling. HLDVT (2016)
Qinsi Wang, Edmund M. Clarke
Formal modeling of biological systems. HLDVT (2016)
Md. 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. HLDVT (2016)
Md. 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. BIBM (2016)
Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. ACM Great Lakes Symposium on VLSI (2015)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB (2015)
Qinsi 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. CoRR (2014)
Edmund M. Clarke, Qinsi Wang
Years of Model Checking. Ershov Memorial Conference (2014)
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV (2013)
Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. BICoB (2011)
Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke
Formal analysis for logical models of pancreatic cancer. CDC/ECC (2011)