Edmond Gjondrekaj

University of Florence

Papers

1

Total Citations

30

H-Index

1

About

No biography available yet.

Research Focus

Artificial intelligence1 · 30 citations
Computer science1 · 30 citations
Focus (optics)1 · 30 citations
Formal methods1 · 30 citations
Formal specification1 · 30 citations
Formal verification1 · 30 citations
Human–computer interaction1 · 30 citations
Programming language1 · 30 citations
Robot1 · 30 citations
Robotics1 · 30 citations
Software engineering1 · 30 citations

Key Achievements

1
H-Index
1
Papers
30
Total Citations
30
Avg Citations/Paper
🏆 Most Cited Paper
Towards a Formal Verification Methodology for Collective Robotic Systems
30 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of Florence

Top Papers

  1. 1
    Towards a Formal Verification Methodology for Collective Robotic Systems
    30 citations · 2012

Key Collaborators

FTFrancesco Tiezzi1 shared papersMDMarco Dorigo1 shared papersRPRosario Pugliese1 shared papersCPCarlo Pinciroli1 shared papersMLMichele Loreti1 shared papersMBManuele Brambilla1 shared papersMBMauro Birattari1 shared papers
Not generated yet