Damien Zufferey

IIT@MIT, Max Planck Institute for Software Systems, Max Planck Society

论文数

4

总引用数

33

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 33 次引用
Theoretical computer science3 · 30 次引用
Transcendental number1 · 17 次引用
Nonlinear system1 · 17 次引用
Boolean function1 · 17 次引用
Algorithm1 · 17 次引用
Transcendental function1 · 17 次引用
Range (aeronautics)1 · 17 次引用
Mathematics1 · 17 次引用
Mathematical analysis1 · 17 次引用
Discrete mathematics1 · 17 次引用
Artificial intelligence3 · 16 次引用

主要成就

3
H 指数
4
论文
33
总引用数
8
篇均引用
🏆 最高被引论文
Interpolants in Nonlinear Theories Over the Reals
17 次引用 · 2016
📈 最高产年份: 2019 (2 论文)
🤝 主要合作者: 10
🏛 所属机构: IIT@MIT, Max Planck Institute for Software Systems, Max Planck Society

代表论文

  1. 1
    Interpolants in Nonlinear Theories Over the Reals
    17 次引用 · 2016
  2. 2
    PGCD
    7 次引用 · 2019
  3. 3
    Motion Session Types for Robotic Interactions (Brave New Idea Paper)
    6 次引用 · 2019
  4. 4
    Tᴏᴏʟ: accessible automated reasoning for human robot collaboration
    3 次引用 · 2018

主要合作者

RMRupak Majumdar2 篇合著论文MPMarcus Pirron2 篇合著论文RPRichard Peifer1 篇合著论文IGIvan Gavran1 篇合著论文OMOrtwin Mailahn1 篇合著论文NYNobuko Yoshida1 篇合著论文GBGregor B. Banusić1 篇合著论文RMRainer Müller1 篇合著论文SGSicun Gao1 篇合著论文ASAnne-Kathrin Schmuck1 篇合著论文
尚未生成