Immo Colonius
Papers
2
Total Citations
13
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 13 citations
Computer science2 · 13 citations
Machine learning2 · 13 citations
Process (computing)2 · 13 citations
Programming language2 · 13 citations
Temporal logic2 · 13 citations
Feature (linguistics)2 · 13 citations
Inference2 · 13 citations
Key (lock)2 · 13 citations
Linear temporal logic2 · 13 citations
Computer security1 · 9 citations
Interval temporal logic1 · 4 citations
Key Achievements
2
H-Index
2
Papers
13
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Temporal logic for process specification and recognition
9 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Bremen
Top Papers
- 1Temporal logic for process specification and recognition9 citations · 2012
- 2On Process Recognition by Logical Inference.4 citations · 2011
Key Collaborators
Not generated yet