Karine Altisen
Papers
1
Total Citations
47
H-Index
1
About
No biography available yet.
Research Focus
Automaton1 · 47 citations
Component (thermodynamics)1 · 47 citations
Computer science1 · 47 citations
Constraint (computer-aided design)1 · 47 citations
Controller (irrigation)1 · 47 citations
Distributed computing1 · 47 citations
Layer (electronics)1 · 47 citations
Mathematics1 · 47 citations
Product (mathematics)1 · 47 citations
Programming language1 · 47 citations
Property (philosophy)1 · 47 citations
Set (abstract data type)1 · 47 citations
Key Achievements
1
H-Index
1
Papers
47
Total Citations
47
Avg Citations/Paper
🏆 Most Cited Paper
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
47 citations · 2003
📈 Most Prolific Year: 2003 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Verimag
Top Papers
- 1Using Controller-Synthesis Techniques to Build Property-Enforcing Layers47 citations · 2003
Key Collaborators
Not generated yet