Salvatore Lopes
Papers
1
Total Citations
8
H-Index
1
About
No biography available yet.
Research Focus
B-Method1 · 8 citations
Code (set theory)1 · 8 citations
Code generation1 · 8 citations
Computer science1 · 8 citations
Formal specification1 · 8 citations
Key (lock)1 · 8 citations
Mathematics1 · 8 citations
Metamodeling1 · 8 citations
Notation1 · 8 citations
Programming language1 · 8 citations
Set (abstract data type)1 · 8 citations
Software1 · 8 citations
Key Achievements
1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
A Notation for Modeling Jason-Like BDI Agents
8 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Institute for High Performance Computing and Networking
Top Papers
- 1A Notation for Modeling Jason-Like BDI Agents8 citations · 2012
Key Collaborators
Not generated yet