Luc Joudrier

European Space Research and Technology Centre, European Space Agency

Papers

3

Total Citations

12

H-Index

2

About

No biography available yet.

Research Focus

Computer science3 · 12 citations
Software engineering2 · 10 citations
Concurrency1 · 6 citations
Robot2 · 6 citations
Formal specification1 · 6 citations
Context (archaeology)1 · 6 citations
Artificial intelligence2 · 6 citations
Debugging1 · 6 citations
Programming language1 · 6 citations
Formal methods1 · 6 citations
Formal verification1 · 6 citations
Robotics2 · 6 citations

Key Achievements

2
H-Index
3
Papers
12
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
FORMID : A Formal Specification And Verification Environment For DREAMS
6 citations · 2004
📈 Most Prolific Year: 2004 (1 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: European Space Research and Technology Centre, European Space Agency

Top Papers

  1. 1
    FORMID : A Formal Specification And Verification Environment For DREAMS
    6 citations · 2004
  2. 2
    A Robotics Task Scheduler - TAPAS
    4 citations · 2006
  3. 3
    Vision Based Control for Space Applications
    2 citations · 2008

Key Collaborators

ARA. Rusconi1 shared papersFCFrançois Chaumette1 shared papersBLBruno La Fontaine1 shared papersLSL. Steinicke1 shared papersGFGeorges Focant1 shared papersKKK. Kapellos1 shared papersMVMaarten Vergauwen1 shared papersGBGuy Bormann1 shared papersKKKonstantinos Kapellos1 shared papers
Not generated yet