![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Sicun Gao
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c63]Yaoguang Zhai, Zhizhen Qin, Sicun Gao:
Sample-and-Bound for Non-convex Optimization. AAAI 2024: 20847-20855 - [c62]Niloofar Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick:
Smaller Language Models are Better Zero-shot Machine-Generated Text Detectors. EACL (2) 2024: 278-293 - [c61]Chung-En Sun, Sicun Gao, Tsui-Wei Weng:
Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. ICML 2024 - [c60]Tao Wang, Sylvia L. Herbert, Sicun Gao:
Mollification Effects of Policy Gradient Methods. ICML 2024 - [c59]Hongzhan Yu, Sicun Gao:
Activation-Descent Regularization for Input Optimization of ReLU Networks. ICML 2024 - [c58]Ya-Chien Chang, Sicun Gao:
Extremum-Seeking Action Selection for Accelerating Policy Optimization. ICRA 2024: 5141-5147 - [c57]Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan:
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA 2024: 14348-14355 - [c56]Tao Wang, Bo Zhao, Sicun Gao, Rose Yu:
Understanding the difficulty of solving Cauchy problems with PINNs. L4DC 2024: 453-465 - [i45]Yaoguang Zhai, Zhizhen Qin, Sicun Gao:
Sample-and-Bound for Non-Convex Optimization. CoRR abs/2401.04812 (2024) - [i44]Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan:
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR abs/2404.01184 (2024) - [i43]Ya-Chien Chang, Sicun Gao:
Extremum-Seeking Action Selection for Accelerating Policy Optimization. CoRR abs/2404.01598 (2024) - [i42]Tao Wang, Bo Zhao, Sicun Gao, Rose Yu:
Understanding the Difficulty of Solving Cauchy Problems with PINNs. CoRR abs/2405.02561 (2024) - [i41]Tao Wang, Sylvia L. Herbert, Sicun Gao:
Mollification Effects of Policy Gradient Methods. CoRR abs/2405.17832 (2024) - [i40]Hongzhan Yu, Sicun Gao:
Activation-Descent Regularization for Input Optimization of ReLU Networks. CoRR abs/2406.00494 (2024) - [i39]Chung-En Sun, Sicun Gao, Tsui-Wei Weng:
Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. CoRR abs/2406.18062 (2024) - [i38]Milan Ganai, Sicun Gao, Sylvia L. Herbert:
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. CoRR abs/2407.09645 (2024) - 2023
- [j6]Charles Dawson
, Sicun Gao, Chuchu Fan
:
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics 39(3): 1749-1767 (2023) - [c55]Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing:
SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CVPR Workshops 2023: 2484-2495 - [c54]Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao:
Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval. ICML 2023: 31228-31242 - [c53]Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao:
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. ICRA 2023: 2913-2920 - [c52]Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok:
Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. ICRA 2023: 3432-3439 - [c51]Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao:
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. IROS 2023: 11241-11248 - [c50]Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao:
Iterative Reachability Estimation for Safe Reinforcement Learning. NeurIPS 2023 - [c49]Tao Wang, Sylvia L. Herbert, Sicun Gao:
Fractal Landscapes in Policy Optimization. NeurIPS 2023 - [i37]Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok:
Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. CoRR abs/2301.08451 (2023) - [i36]Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao:
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. CoRR abs/2303.02215 (2023) - [i35]Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert:
Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability. CoRR abs/2304.09850 (2023) - [i34]Fatemehsadat Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick:
Smaller Language Models are Better Black-box Machine-Generated Text Detectors. CoRR abs/2305.09859 (2023) - [i33]Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao:
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. CoRR abs/2307.03015 (2023) - [i32]Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao:
Iterative Reachability Estimation for Safe Reinforcement Learning. CoRR abs/2309.13528 (2023) - [i31]Tao Wang, Sylvia L. Herbert, Sicun Gao:
Fractal Landscapes in Policy Optimization. CoRR abs/2310.15418 (2023) - 2022
- [j5]Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60(3): 327-328 (2022) - [j4]Tong Huang
, Sicun Gao, Le Xie
:
A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids. IEEE Trans. Smart Grid 13(1): 106-118 (2022) - [c48]Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao:
Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations. AAAI 2022: 8267-8276 - [c47]Chenning Yu, Hongzhan Yu, Sicun Gao:
Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRL 2022: 934-945 - [c46]Hsin-Yu Liu, Bharathan Balaji, Sicun Gao, Rajesh K. Gupta, Dezhi Hong:
Safe HVAC Control via Batch Reinforcement Learning. ICCPS 2022: 181-192 - [c45]Zhizhen Qin, Tsui-Wei Weng, Sicun Gao:
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. IROS 2022: 12903-12910 - [c44]Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao:
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. NeurIPS 2022 - [c43]Yaoguang Zhai, Sicun Gao:
Monte Carlo Tree Descent for Black-Box Optimization. NeurIPS 2022 - [c42]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS 2022 - [i30]Charles Dawson, Sicun Gao, Chuchu Fan:
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR abs/2202.11762 (2022) - [i29]Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao:
Every Preference Changes Differently: Neural Multi-Interest Preference Model with Temporal Dynamics for Recommendation. CoRR abs/2207.06652 (2022) - [i28]Zhizhen Qin, Tsui-Wei Weng, Sicun Gao:
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. CoRR abs/2207.13891 (2022) - [i27]Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing:
SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CoRR abs/2208.11266 (2022) - [i26]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR abs/2210.08408 (2022) - [i25]Chenning Yu, Sicun Gao:
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. CoRR abs/2210.08864 (2022) - [i24]Chenning Yu, Hongzhan Yu, Sicun Gao:
Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRR abs/2210.09378 (2022) - [i23]Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao:
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. CoRR abs/2210.12546 (2022) - [i22]Yaoguang Zhai, Sicun Gao:
Monte Carlo Tree Descent for Black-Box Optimization. CoRR abs/2211.00778 (2022) - 2021
- [j3]Sicun Gao
:
Nonlinearity, Automation, and Reliable Cyberphysical Systems. Computer 54(7): 94-96 (2021) - [j2]Daeyeal Lee
, Dongwon Park
, Chia-Tung Ho
, Ilgweon Kang
, Hayoung Kim
, Sicun Gao, Bill Lin
, Chung-Kuan Cheng
:
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(10): 2142-2155 (2021) - [c41]Min Kyung Lee, Ishan Nigam, Angie Zhang, Joel Afriyie, Zhizhen Qin, Sicun Gao:
Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models. AIES 2021: 715-726 - [c40]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL 2021: 1724-1735 - [c39]Tong Huang, Sicun Gao, Xun Long, Le Xie:
A Neural Lyapunov Approach to Transient Stability Assessment in Interconnected Microgrids. HICSS 2021: 1-10 - [c38]Ya-Chien Chang
, Sicun Gao:
Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. ICRA 2021: 1803-1809 - [c37]Chenning Yu, Sicun Gao:
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. NeurIPS 2021: 4274-4289 - [i21]Ya-Chien Chang, Sicun Gao:
Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. CoRR abs/2107.04989 (2021) - [i20]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR abs/2109.06697 (2021) - [i19]Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao:
Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and Explanations. CoRR abs/2112.09174 (2021) - 2020
- [j1]Dongwon Park
, Daeyeal Lee
, Ilgweon Kang
, Chester Holtz
, Sicun Gao, Bill Lin
, Chung-Kuan Cheng
:
Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 5097-5110 (2020) - [c36]Dongwon Park, Daeyeal Lee, Ilgweon Kang, Sicun Gao, Bill Lin, Chung-Kuan Cheng:
SP&R: Simultaneous Placement and Routing framework for standard cell synthesis in sub-7nm. ASP-DAC 2020: 345-350 - [c35]Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao:
Provably Efficient Model-based Policy Adaptation. ICML 2020: 9088-9098 - [c34]Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren:
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. SP (Workshops) 2020: 27-33 - [i18]Ya-Chien Chang, Nima Roohi, Sicun Gao:
Neural Lyapunov Control. CoRR abs/2005.00611 (2020) - [i17]Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao:
Provably Efficient Model-based Policy Adaptation. CoRR abs/2006.08051 (2020) - [i16]Tong Huang, Sicun Gao, Le Xie:
Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods. CoRR abs/2012.01333 (2020)
2010 – 2019
- 2019
- [c33]Sumanth Dathathri, Sicun Gao, Richard M. Murray:
Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI 2019: 3437-3444 - [c32]Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
:
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV 2019: 85-100 - [c31]Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong:
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) 2019: 137-154 - [c30]Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
:
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS 2019: 1623-1638 - [c29]Dongwon Park, Ilgweon Kang, Yeseong Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng:
ROAD: Routability Analysis and Diagnosis Framework Based on SAT Techniques. ISPD 2019: 65-72 - [c28]Ya-Chien Chang, Nima Roohi, Sicun Gao:
Neural Lyapunov Control. NeurIPS 2019: 3240-3249 - [e1]Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo:
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM 2019, ISBN 978-1-4503-6997-8 [contents] - [i15]Quan Vuong, Sharad Vikram, Hao Su, Sicun Gao, Henrik I. Christensen:
How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies? CoRR abs/1903.11774 (2019) - 2018
- [c27]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) 2018: 219-235 - [c26]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC 2018: 6854-6861 - [c25]Vahideh Akhlaghi, Sicun Gao, Rajesh K. Gupta:
LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee. DAC 2018: 161:1-161:6 - [i14]Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama:
REAS: Combining Numerical Optimization with SAT Solving. CoRR abs/1802.04408 (2018) - [i13]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR abs/1807.08137 (2018) - [i12]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR abs/1809.07450 (2018) - 2017
- [c24]Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi:
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. SCAV@CPSWeek 2017: 11-18 - [c23]Kyungmin Bae, Sicun Gao:
Modular SMT-based analysis of nonlinear hybrid systems. FMCAD 2017: 180-187 - [c22]Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray:
Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI 2017: 592-599 - 2016
- [c21]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: 1445-1452 - [c20]Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC 2016: 145-154 - [c19]Sicun Gao, Damien Zufferey:
Interpolants in Nonlinear Theories Over the Reals. TACAS 2016: 625-641 - 2015
- [c18]Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman:
SMT-Based Nonlinear PDDL+ Planning. AAAI 2015: 3247-3253 - [c17]Sicun Gao, Le Xie
, Armando Solar-Lezama
, Dimitrios N. Serpanos
, Howard E. Shrobe:
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC 2015: 2613-2620 - [c16]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB 2015: 15-27 - [c15]Kyungmin Bae, Soonho Kong, Sicun Gao:
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek 2015: 188-195 - [c14]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC 2015: 227-232 - [c13]Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke:
dReach: δ-Reachability Analysis for Hybrid Systems. TACAS 2015: 200-205 - 2014
- [c12]Bing Liu
, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB 2014: 99-113 - [c11]Ezio Bartocci, Sicun Gao, Scott A. Smolka:
Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) 2014: 353-355 - [c10]Radu Grosu, Elizabeth Cherry
, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 2014: 356-364 - [c9]Edmund M. Clarke, Sicun Gao:
Model Checking Hybrid Systems - (Invited Talk). ISoLA (2) 2014: 385-386 - [c8]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. SYNASC 2014: 156-163 - [i11]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Revisiting the Complexity of Stability of Continuous and Hybrid Systems. CoRR abs/1404.7169 (2014) - [i10]Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke:
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. CoRR abs/1404.7171 (2014) - [i9]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 abs/1404.7206 (2014) - [i8]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR abs/1407.1524 (2014) - [i7]Sicun Gao:
Descriptive Control Theory: A Proposal. CoRR abs/1409.3560 (2014) - [i6]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. CoRR abs/1409.6414 (2014) - [i5]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR abs/1410.7346 (2014) - 2013
- [c7]Sicun Gao, Soonho Kong, Edmund M. Clarke:
dReal: An SMT Solver for Nonlinear Theories over the Reals. CADE 2013: 208-214 - [c6]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Satisfiability modulo ODEs. FMCAD 2013: 105-112 - [i4]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Satisfiability Modulo ODEs. CoRR abs/1310.8278 (2013) - 2012
- [c5]Sicun Gao, Jeremy Avigad
, Edmund M. Clarke:
δ-Complete Decision Procedures for Satisfiability over the Reals. IJCAR 2012: 286-300 - [c4]Sicun Gao, Jeremy Avigad
, Edmund M. Clarke:
Delta-Decidability over the Reals. LICS 2012: 305-314 - [i3]Sicun Gao, Jeremy Avigad, Edmund M. Clarke:
Delta-Complete Decision Procedures for Satisfiability over the Reals. CoRR abs/1204.3513 (2012) - [i2]Sicun Gao, Jeremy Avigad, Edmund M. Clarke:
Delta-Decidability over the Reals. CoRR abs/1204.6671 (2012) - 2011
- [c3]Sicun Gao, André Platzer
, Edmund M. Clarke:
Quantifier Elimination over Finite Fields Using Gröbner Bases. CAI 2011: 140-157 - [i1]Sicun Gao, André Platzer, Edmund M. Clarke:
Quantifier Elimination over Finite Fields Using Gröbner Bases. CoRR abs/1104.0746 (2011) - 2010
- [c2]Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta
, Sriram Sankaranarayanan, Edmund M. Clarke:
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD 2010: 81-89 - [c1]William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke:
A Non-prenex, Non-clausal QBF Solver with Game-State Learning. SAT 2010: 128-142
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint