Damien Zufferey

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

Papers

4

Total Citations

33

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
33
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Interpolants in Nonlinear Theories Over the Reals
17 citations · 2016
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: IIT@MIT, Max Planck Institute for Software Systems, Max Planck Society

Top Papers

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

Key Collaborators

RMRupak Majumdar2 shared papersMPMarcus Pirron2 shared papersRPRichard Peifer1 shared papersIGIvan Gavran1 shared papersOMOrtwin Mailahn1 shared papersNYNobuko Yoshida1 shared papersGBGregor B. Banusić1 shared papersRMRainer Müller1 shared papersSGSicun Gao1 shared papersASAnne-Kathrin Schmuck1 shared papers
Not generated yet