Proof-Theoretic Foundations for the Design of Actor Systems

机译：高级规则的演算，命题量化和证明理论和谐的基础方法

机译：流产延续的证明理论基础

机译：抽象超一致逻辑程序设计的统一证明理论基础

机译：表式高阶逻辑编程的证明理论基础

机译：多核系统设计的理论基础：动态系统的观点。

机译：Bioinspired弹性设计的根系研究：基础和沿海工程的概念框架

机译：论集合论的证明理论基础

机译：桩基础设计支持系统，桩基础设计支持方法和桩基础设计支持程序

机译：一种用于检测与工作区域有关的接近事故情况的方法和系统。该系统包括控制系统，用于检测接近事故情况的设备以及至少一个演员器具。如果动作者器具的位置位于控制系统中建立的危险区域内，则在检测到接近事故情况的情况下，控制系统（3）被设置为激活动作者器具的感觉装置。

机译：支持各种行为者之间的政策沟通和政府参与的信息基础系统