Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract.

关联结构与权力：计算资源的余代数语义 - 扩展摘要。

2018

Undecidability of Equality for Codata Types.

Codata类型等式不可判定性。

2018

Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

重写逻辑及其应用 - 第13届国际研讨会，WRLA 2020，虚拟会议，2020年10月20-22日，修订选定论文

2020

Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

计算机科学中的余代数方法 - 第15届IFIP WG 1.3国际研讨会，CMCS 2020，与ETAPS 2020同期举行，爱尔兰都柏林，2020年4月25-26日，会议论文集

2020

Combining Parallel Graph Rewriting and Quotient Graphs.

结合并行图重写与商图。

2020

Verification of the IBOS Browser Security Properties in Reachability Logic.

可达性逻辑中IBOS浏览器安全属性的验证。

2020

Strategies, Model Checking and Branching-Time Properties in Maude.

Maude中的策略、模型检验与分支时间性质。

2020

A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.

Howard向量表示法在类型化Lambda演算系统终止性证明中的简化应用

2020

Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications.

工业4.0应用的安全完整性封装器自动化构建

2020

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.

基于等式谓词的归纳推理、上下文重写与基于变体的简化。

2020