| 1 |
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
|
会议论文 |
Yuxin Deng|Rob van Glabbeek|Matthew Hennessy|Carroll Morgan| |
| 2 |
Emerald: An Automated Modeling and Verification Tool for Component‐Based Real‐Time Systems
|
会议论文 |
Yizhou Zhang|Hao Lin|Guoqiang Li| |
| 3 |
Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations
|
会议论文 |
Chihao Zhang|Hongyang Zhang| |
| 4 |
Multi-Multiway Cut Problem on Graphs of Bounded Branch Width
|
会议论文 |
Xiaojie Deng|Bingkai Lin|Chihao Zhang| |
| 5 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">The Complexity of Ferromagnetic Two-spin Systems with External Fields</span>
|
会议论文 |
Jingcheng Liu|Pingyan Lu|Chihao Zhang| |
| 6 |
How faithfully can π be interpreted in SA?
|
期刊论文 |
Huan Long|Yuxi Fu| |
| 7 |
<span style="color: rgb(31, 73, 125); font-family:;" "sans-serif";font-size:10.5pt;"="" calibri",="">Google Faculty Research Award 2013<!-- xml:namespace prefix = "o" ns = "urn:sch
|
奖励 |
朱其立| |
| 8 |
Compositional reasoning for weighted Markov decision processes
|
期刊论文 |
Yuxin Deng|Matthew Hennessy| |
| 9 |
Listings and Logics
|
会议论文 |
Yijia Chen|Joerg Flum| |
| 10 |
最佳论文奖：<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Rho-uncertainty Anonymization by Partial Suppression.</span>
|
奖励 |
Xiao Jia|Chao Pan|Xinhui Xu|Kenny Q. Zhu|Eric Lo| |
| 11 |
Real-Reward Testing for Probabilistic Processes
|
期刊论文 |
Yuxin Deng|Rob Van Glabbeek|Mattew Hennessy|Carroll Morgan| |
| 12 |
Bounded variable logic, parameterized logarithmic space, and Savitch's theorem
|
会议论文 |
Yijia Chen|Moritz Müller| |
| 13 |
Nested Timed Automata
|
会议论文 |
Guoqiang Li|Xiaojuan Cai|Mizuhito Ogawa|Shoji Yuen| |
| 14 |
<span style="font-family:"Arial",sans-serif;font-size:10.5pt;">Clustering Image Search Results by Entity Disambiguation</span>
|
会议论文 |
Kaiqi Zhao|Zhiyuan Cai|Qingyu Sui|Enxun Wei|Kenny Q. Zhu| |
| 15 |
计算机科学的结构与核心基础理论
|
奖励 |
傅育熙| |
| 16 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"=""><span style="font-family:;" arial",sans-serif;font-size:10.5pt;"=""><span style="font-family:"Aria
|
会议论文 |
Pingyan Lu|Menghui Wang|Chihao Zhang| |
| 17 |
A System for Extracting Top-K Lists from the Web
|
会议论文 |
Zhixian Zhang|Kenny Q. Zhu|Haixun Wang| |
| 18 |
An Interpretation of Erlang into Value-passing Calculus
|
期刊论文 |
Hao Huang|Fei Yang| |
| 19 |
Understanding Tables on the Web
|
会议论文 |
Jingjing Wang|Haixun Wang|Zhongyuan Wang|Kenny Q. Zhu| |
| 20 |
Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus
|
期刊论文 |
Yuxin Deng|Alwen Tiu| |
| 21 |
On the Semantics of Markov Automata
|
期刊论文 |
Yuxin Deng|Matthew Hennessy| |
| 22 |
Algebraic Data Retrieval Algorithms for Multi-Channel Wireless Data Broadcast
|
期刊论文 |
Xiaofeng Gao|Zaixin Lu|Weili Wu|Bing Fu| |
| 23 |
Performance Analysis for Approximating MCDS in Wireless Ad-Hoc Network
|
期刊论文 |
Jun Li|Xiaofeng Gao| |
| 24 |
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Networks
|
期刊论文 |
Xiaofeng Gao|Bosheng Xu|Jun Li| |
| 25 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Efficient Processing of Which-Edge Questions on Shortest Path Queries</span>
|
会议论文 |
Petrie Wong|Duncan Yung|Ming Hay Luk|Eric Lo|Man Lung Yiu|Kenny Q. Zhu| |
| 26 |
Well-Structured Pushdown Systems
|
会议论文 |
Xiaojuan Cai|Mizuhito Ogawa| |
| 27 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Program Equivalence in Linear Contexts. Theoretical Computer Science</span>
|
期刊论文 |
Yuxin Deng|Yu Zhang| |
| 28 |
Wikification via link co-occurrence
|
会议论文 |
Zhiyuan Cai|Kaiqi Zhao|Kenny Q. Zhu|Haixun Wang| |
| 29 |
The parameterized complexity of k-edge induced subgraphs
|
会议论文 |
Bingkai Lin|Yijia Chen| |
| 30 |
Automatic inference of movements from contact histories
|
会议论文 |
Pengcheng Wang|Zhaoyu Gao|Xinhui Xu|Yujiao Zhou|Haojin Zhu|Kenny Q. Zhu| |
| 31 |
An improved full abstraction approach to analyzing locality semantics
|
会议论文 |
Jianxin Xue|Huan Long|Guoqiang Li| |
| 32 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Nondeterministic Structure of Computation</span>
|
期刊论文 |
Yuxi Fu| |
| 33 |
Model Independent Order Relations for Processes
|
会议论文 |
Chaodong He| |
| 34 |
Modeling and Analysis of Real-Time Systems with Mutex Components
|
期刊论文 |
Guoqiang Li|Xiaojuan Cai|Shoji Yuen| |
| 35 |
<span style="font-family:宋体;font-size:10.5pt;">基于进程模型的服务集成平台</span>
|
奖励 |
傅育熙| |
| 36 |
The Value-Passing Calculus
|
期刊论文 |
Yuxi Fu| |
| 37 |
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols
|
会议论文 |
Guoqiang Li|Yonggen Gu|Xiuting Tao|Jie Tao| |
| 38 |
CISC:clustered image search by conceptualization
|
会议论文 |
Kaiqi Zhao|Enxun Wei|Qingyu Sui|Kenny Q. Zhu|Eric Lo| |
| 39 |
<span style="background:yellow;font-family:"Arial",sans-serif;font-size:10.5pt;">Automatic Ext</span><span style="font-family:"Arial",sans-serif;font-size:10.5pt;">raction of Top-k
|
会议论文 |
Zhixian Zhang|Kenny Q. Zhu|Haixun Wang|Hongsong Li| |
| 40 |
Consistency, optimality, and incompleteness
|
期刊论文 |
Yijia Chen|Joerg Flum|Moritz Mueller| |
| 41 |
Process passing calculus, revisited
|
期刊论文 |
Qiang Yin|Huan Long| |
| 42 |
On the Semantics of Markov Automata
|
会议论文 |
Yuxin Deng|Matthew Hennessy| |
| 43 |
<span style="color: black; font-family:;" calibri",sans-serif;font-size:11pt;"="">A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra</span>
|
期刊论文 |
Yang Fei|Huang Hao| |
| 44 |
Probase: A Probabilistic Taxonomy for Text Understanding
|
会议论文 |
Wentao Wu|Hongsong Li|Haixun Wang|Kenny Q. Zhu| |
| 45 |
Forest: a language and toolkit for programming with filestores
|
会议论文 |
Kathleen Fisher|Nate Foster|David Walker|Kenny Q. Zhu| |
| 46 |
The Decidability of the Reachability Problem for CCS!
|
会议论文 |
Chaodong He| |
| 47 |
Toward Topic Search on the Web
|
会议论文 |
Yue Wang|Hongsong Li|Haixun Wang|Kenny Q. Zhu| |
| 48 |
Symbolic Bisimulation for Quantum Processes
|
期刊论文 |
Yuan Feng|Yuxin Deng|Mingsheng Ying| |
| 49 |
A Framework for Verifying Data-Centric Protocols
|
会议论文 |
Yuxin Deng|Stephane Grumbach|Jean-Francois Monin| |
| 50 |
2013年度“中创软件人才奖”
|
奖励 |
陈翌佳| |
| 51 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Model Modal Characterisations of Probabilistic and Fuzzy Bisimulations</span>
|
会议论文 |
Yuxin Deng|Hengyang Wu| |
| 52 |
Approximate Counting via Correlation Decay on Planar Graphs
|
会议论文 |
Chihao Zhang|Yitong Yin| |
| 53 |
Nonwandering points in a SDS
|
会议论文 |
Mengqiao Huang|Changshe Ma| |
| 54 |
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
|
会议论文 |
Kenny Q. Zhu|Kathleen Fisher|David Walker| |
| 55 |
Query Suggestion by Concept Instantiation
|
会议论文 |
Jack Sun|Franky|Kenny Q. Zhu|Haixun Wang| |
| 56 |
On the ordered conjecture
|
会议论文 |
Yijia Chen|Joerg Flum| |
| 57 |
Methodology and Experience for Designing Safety-Related Systems in IEC 61508
|
会议论文 |
Zhe chen|Gilles Motet| |
| 58 |
A fully abstract view for local cause semantics
|
会议论文 |
Jianxin Xue|Xiaoju Dong| |
| 59 |
Semantics of Probabilistic Processes: An Operational Approach
|
专著 |
Yuxin Deng| |
| 60 |
Consistency and Optimality
|
会议论文 |
Yijia Chen|Joerg Flum|Moritz Muller3| |
| 61 |
On the Semantics of Markov Automata
|
期刊论文 |
Weizhong Yang|Yuxin Deng| |
| 62 |
Hard instances of algorithms and proof systems
|
会议论文 |
Yijia Chen|Joerg Flum|Moritz Muller| |
| 63 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">Branching Bisimilarity Checking for PRS</span>
|
会议论文 |
Qiang Yin|Yuxi Fu|Chaodong He|Mingzhang Huang|Xiuting Tao| |
| 64 |
The Buffered pi-calulus: A Model for Concurrent Languages
|
会议论文 |
Xiaojie Deng|Yu Zhang|Yuxin Deng|Farong Zhong| |
| 65 |
Checking Equality and Regularity for Normed BPA with Silent Moves
|
会议论文 |
Yuxi Fu| |
| 66 |
Well-structured pushdown system: Case of Dense Timed Pushdown Automata
|
会议论文 |
Xiaojuan Cai|Mizuhito Ogawa| |
| 67 |
Measuring Time Lag with Nested Preemptions and Resumptions
|
会议论文 |
Guoqiang Li| |
| 68 |
<span class="title">The Decidability of the Reachability Problem for CCS!</span>
|
会议论文 |
Chaodong He| |
| 69 |
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
|
会议论文 |
Chaodong He|Yuxi Fu|Hongfei Fu| |
| 70 |
<span style="font-family:"Arial",sans-serif;font-size:10.5pt;">Rho-uncertainty Anonymization by Partial Suppression</span>
|
会议论文 |
Xiao Jia|Chao Pan|Xinhui Xu|Kenny Q. Zhu|Eric Lo| |
| 71 |
<span style="font-family:"Arial",sans-serif;font-size:10.5pt;">Relating Reasoning Methodologies in Linear Logic and Process Algebra</span>
|
期刊论文 |
Yuxin Deng|Rob J. Simmons|LLiano Cervesato| |
| 72 |
How faithfully can pi be interpreted in SA?
|
期刊论文 |
Long Huan|Fu YuXi| |
| 73 |
Watermarking Road Maps against Crop and Merge Attacks
|
会议论文 |
Kai Jiang|Kenny Q. Zhu|Yan Huang|Xiaobing Ma| |
| 74 |
A Constant-Factor Approximation for d-Hop Connected Dominating Sets in Unit Disk Graph
|
期刊论文 |
Xiaofeng Gao|Weili Wu|Xuefei Zhang|Xianyue Li| |
| 75 |
Dynamical systems for weak partial metric spaces
|
会议论文 |
Huang He|Changshe Ma| |
| 76 |
Data-Driven Metaphor Recognition and Explanation
|
期刊论文 |
Hongsong Li|Kenny Q. Zhu|Haixun Wang| |
| 77 |
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">FPTAS for Counting Weighted Edge Covers</span>
|
会议论文 |
Jingcheng Liu|Pingyan Lu|Chihao Zhang| |
| 78 |
The lambda-calculus in the pi-calculus
|
期刊论文 |
Cai, Xiaojuan|Fu, Yuxi| |
| 79 |
Compositional Reasoning for Markov Decision Processes
|
会议论文 |
Yuxin Deng|Matthew Hennessy| |
| 80 |
Open Bisimulation for Quantum Processes
|
会议论文 |
Yuxin Deng|Yuan Feng| |
| 81 |
<span style="background: yellow; font-family:;" arial",sans-serif;font-size:10.5pt;"="">Computing Term</span><span style="font-family:;" arial",sans-serif;font-size:10.5pt;"="">
|
会议论文 |
Peipei Li|Haixun Wang|Kenny Q. Zhu|Zhongyuan Wang|Xindong Wu| |
| 82 |
An Interpretation of Erlang into Value-passing Calculus
|
期刊论文 |
Hao Huang|Fei Yang| |
| 83 |
A System for Extracting Top-K Lists from the Web
|
会议论文 |
Zhixian Zhang|Kenny Q. Zhu|Haixun Wang| |
| 84 |
Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus
|
期刊论文 |
Yuxin Deng|Alwen Tiu| |
| 85 |
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Networks
|
期刊论文 |
Xiaofeng Gao|Bosheng Xu|Jun Li| |
