Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ShengYu Shen
Localizing Errors in Counterexample With Iteratively Witness Searching
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Localizing in Unstructured Environments: Dealing With the Errors
IEEE Transactions on Robotics and Automation
A Counterexample in Unique Continuation
Mathematical Research Letters
Mathematics
“Special Witness” – Between a Witness and Suspect
Teisė
Localizing a Gate in CFTR
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
A Controllability Counterexample
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
A Counterexample in Sturm–Liouville Completeness Theory
Proceedings of the Royal Society of Edinburgh Section A: Mathematics
Mathematics
False Localizing Sign
JBNC - JORNAL BRASILEIRO DE NEUROCIRURGIA
From "Witness"
The Iowa Review
A Counterexample to Modus Tollens
Journal of Philosophical Logic
Philosophy
