Immo Colonius

University of Bremen

论文数

2

总引用数

13

H-Index

2

关于

暂无简介。

研究焦点

Artificial intelligence2 · 13 次引用
Computer science2 · 13 次引用
Machine learning2 · 13 次引用
Process (computing)2 · 13 次引用
Programming language2 · 13 次引用
Temporal logic2 · 13 次引用
Feature (linguistics)2 · 13 次引用
Inference2 · 13 次引用
Key (lock)2 · 13 次引用
Linear temporal logic2 · 13 次引用
Computer security1 · 9 次引用
Interval temporal logic1 · 4 次引用

主要成就

2
H 指数
2
论文
13
总引用数
7
篇均引用
🏆 最高被引论文
Temporal logic for process specification and recognition
9 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: University of Bremen

代表论文

  1. 1
    Temporal logic for process specification and recognition
    9 次引用 · 2012
  2. 2
    On Process Recognition by Logical Inference.
    4 次引用 · 2011

主要合作者

CFChristian Freksa2 篇合著论文FDFrank Dylla2 篇合著论文LFLutz Frommberger2 篇合著论文AKArne Kreutzmann2 篇合著论文DWDiedrich Wolter2 篇合著论文
尚未生成