Qinsi Wang

According to our database, Qinsi Wang authored at least 19 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An adaptive regularized proximal Newton-type methods for composite optimization over the Stiefel manifold.

Qinsi Wang, Wei Hong Yang

Comput. Optim. Appl., November, 2024

DGL: Device Generic Latency Model for Neural Architecture Search on Mobile Devices.

Qinsi Wang, Sihai Zhang

IEEE Trans. Mob. Comput., February, 2024

CoreInfer: Accelerating Large Language Model Inference with Semantics-Inspired Adaptive Sparse Activation.

Qinsi Wang, Saeed Vahidian, Hancheng Ye, Jianyang Gu, Jianyi Zhang, Yiran Chen

CoRR, 2024

2023

Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold.

Qinsi Wang, Wei Hong Yang

J. Sci. Comput., May, 2023

Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation.

Yuqi Xiang, Feitong Chen, Qinsi Wang, Yang Gang, Xiang Zhang, Xinghao Zhu, Xingyu Liu, Lin Shao

CoRR, 2023

MathNAS: If Blocks Have a Role in Mathematical Architecture Design.

Qinsi Wang, Jinghan Ke, Zhi Liang, Sihai Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2017

Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking.

Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Formal modeling of biological systems.

Qinsi Wang, Edmund M. Clarke

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

High-level modeling and verification of cellular signaling.

Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.

Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

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

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.

Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2015

2014

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke

CoRR, 2014

2⁵ Years of Model Checking.

Edmund M. Clarke, Qinsi Wang

Proceedings of the Perspectives of System Informatics, 2014

2013

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.

Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Formal analysis for logical models of pancreatic cancer.

Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.

Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011