Skip navigation
中文
English
DSpace
CRIS
首頁
單位
研究人員
研究成果檢索
計畫
分類瀏覽
單位
研究人員
研究成果檢索
計畫
學術出版
幫助
登入
中文
English
Scholars Hub of the Academia Sinica
研究成果檢索
瀏覽 的方式: 作者
Bow-Yaw Wang
或是輸入前幾個字:
跳到:
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
排序方式:
升冪
降冪
結果/頁面:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 1 到 20 筆資料,總共 44 筆
下一頁 >
公開日期
題名
作者
關聯
scopus
WOS
全文
2013
A Unified Framework for DPLL(T) + Certificates
Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu; Jiaguang Sun
Journal of Applied Mathematics 2013:964682 (13pp)
2017
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang
2010
Automated Assume-Guarantee Reasoning through Implicit Learning
Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang
2008
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
Yih-Kuen Tsay; Bow-Yaw Wang
2007
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
Bow-Yaw Wang
TR-IIS-07-002
2007
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
Bow-Yaw Wang
2006
Automatic Verification of a Model Checker by Reflection
Bow-Yaw Wang
2005
Automatic Verification of a Model Checker in Rewriting Logic
Bow-Yaw Wang
TR-IIS-05-009
2015
Automatically inferring loop invariants via algorithmic learning
Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi
Mathematical Structures in Computer Science 25(4), 892-915
2010
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi
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