Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
Scholars Hub of the Academia Sinica
Research Outputs
Browsing by Author
Bow-Yaw Wang
or enter first few letters:
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Sort by:
Ascending
Descending
Results/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Records:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 11 to 30 of 44
< previous
next >
Issue Date
Title
Author(s)
Relation
scopus
WOS
Fulltext/Archive link
2004
Bounded Model Checking for Region Automata
Fang Yu; Bow-Yaw Wang; Yao-Wen Huang
2013
BULL: a Library for Learning Algorithms of Boolean Functions
Yu-Fang Chen; Bow-Yaw Wang
2017
Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs
Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang
2015
Commutativity of Reducers
Yu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang
2010
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu
2007
Complete SAT-based Model Checking for Context-Free Processes
Geng-Dian Huang; Bow-Yaw Wang
2015
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang
2015
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation
Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
2010
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi
2006
Formalization of CTL* in the Calculus of Inductive Constructions
Ming-Hsien Tsai; Bow-Yaw Wang
2011
Learning Boolean Functions Incrementally
Yu-Fang Chen; Bow-Yaw Wang
TR-IIS-11-006
2012
Learning Boolean Functions Incrementally
Yu-Fang Chen; Bow-Yaw Wang
2014
Learning Summaries of Recursive Functions
Yu-Fang Chen; Bow-Yaw Wang; Kai-Chun Yang
2016
Learning-Based Assume-Guarantee Regression Verification
Fei He; Shu Mao; Bow-Yaw Wang
2015
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
Fei He; Xiaowei Gao; Bow-Yaw Wang; Lijun Zhang
2006
Modeling and Analyzing Applications with Domain-Specific Languages by Reflective Rewriting: a Case Study
Bow-Yaw Wang
2006
Modular Formalization of Reactive Modules in Coq
Ming-Hsien Tsai; Bow-Yaw Wang
2004
Mu-Calculus Model Checking in Maude
Bow-Yaw Wang
2010
On Array Theory of Bounded Elements
Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu
2006
On the Satisfiability of Modular Arithmetic Formula
Bow-Yaw Wang
TR-IIS-06-001