Andreas Griesmayer

Centre National de la Recherche Scientifique, Graz University of Technology

Papers

2

Total Citations

13

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 13 citations
Programming language2 · 13 citations
Software engineering2 · 13 citations
Formal verification2 · 13 citations
Process (computing)1 · 11 citations
Artificial intelligence1 · 11 citations
Component (thermodynamics)1 · 11 citations
Database1 · 11 citations
Code (set theory)1 · 11 citations
Workflow1 · 11 citations
Robot1 · 11 citations
Set (abstract data type)1 · 11 citations

Key Achievements

2
H-Index
2
Papers
13
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
11 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Centre National de la Recherche Scientifique, Graz University of Technology

Top Papers

  1. 1
    A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
    11 citations · 2011
  2. 2
    Formal Verification of Control Software: A Case Study
    2 citations · 2005

Key Collaborators

LDLavindra de Silva1 shared papersFWFranz Wotawa1 shared papersMHMartin Hautzendorfer1 shared papersALAxel Legay1 shared papersRBRoderick Bloem1 shared papersRYRongjie Yan1 shared papersSBSaddek Bensalem1 shared papersFIFélix Ingrand1 shared papers
Not generated yet