M.C. Bujorianu
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Applied mathematics1 · 2 citations
Artificial intelligence1 · 2 citations
Computer science1 · 2 citations
Concurrency1 · 2 citations
Controllability1 · 2 citations
Distributed computing1 · 2 citations
Formal methods1 · 2 citations
Formal verification1 · 2 citations
Linear temporal logic1 · 2 citations
Mathematical optimization1 · 2 citations
Mathematics1 · 2 citations
Model checking1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Uncertainty and Reconfigurability in Hilbertean Formal Methods
2 citations · 2008
📈 Most Prolific Year: 2008 (1 Papers)
🤝 Key Collaborators: 1
Top Papers
- 1Uncertainty and Reconfigurability in Hilbertean Formal Methods2 citations · 2008
Key Collaborators
Not generated yet