Wieland Schwinger

Johannes Kepler University of Linz

Papers

2

Total Citations

15

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 15 citations
Commonsense reasoning1 · 11 citations
Qualitative reasoning1 · 11 citations
Robot1 · 11 citations
Robotics1 · 11 citations
Spatial intelligence1 · 11 citations
Human–computer interaction1 · 11 citations
Artificial intelligence1 · 11 citations
Model checking1 · 4 citations
Operating system1 · 4 citations
Programming language1 · 4 citations
Software engineering1 · 4 citations

Key Achievements

2
H-Index
2
Papers
15
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems
11 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Johannes Kepler University of Linz

Top Papers

  1. 1
    Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems
    11 citations · 2015
  2. 2
    A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
    4 citations · 2019

Key Collaborators

APAndré Platzer2 shared papersSMStefan Mitsch2 shared papersWRWerner Retschitzegger1 shared papersAMAndreas Müller1 shared papers
Not generated yet