Franz Winkler

Johannes Kepler University of Linz, Supélec

Papers

2

Total Citations

5

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 5 citations
Model checking1 · 3 citations
Biology1 · 3 citations
Robustness (evolution)1 · 3 citations
Reachability1 · 3 citations
Theoretical computer science1 · 3 citations
Mathematical analysis1 · 2 citations
Mathematics1 · 2 citations
Algebra over a field1 · 2 citations
Pure mathematics1 · 2 citations
Quantifier (linguistics)1 · 2 citations
Quantifier elimination1 · 2 citations

Key Achievements

2
H-Index
2
Papers
5
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?
3 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Johannes Kepler University of Linz, Supélec

Top Papers

  1. 1
    CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?
    3 citations · 2005
  2. 2
    Quantifier elimination in real closed fields
    2 citations · 1996

Key Collaborators

VMVenkatesh Mysore1 shared papersAPAlberto Policriti1 shared papersCPCarla Piazza1 shared papersBMBud Mishra1 shared papersMAMarco Antoniotti1 shared papers
Not generated yet