Franz Winkler

Johannes Kepler University of Linz, Supélec

论文数

2

总引用数

5

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
2
论文
5
总引用数
3
篇均引用
🏆 最高被引论文
CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?
3 次引用 · 2005
📈 最高产年份: 2005 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Johannes Kepler University of Linz, Supélec

代表论文

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

主要合作者

VMVenkatesh Mysore1 篇合著论文APAlberto Policriti1 篇合著论文CPCarla Piazza1 篇合著论文BMBud Mishra1 篇合著论文MAMarco Antoniotti1 篇合著论文
尚未生成