Lucas M. Tabajara
Papers
1
Total Citations
20
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 20 citations
Bottleneck1 · 20 citations
Computer science1 · 20 citations
Data mining1 · 20 citations
Decomposition1 · 20 citations
Exploit1 · 20 citations
Mathematics1 · 20 citations
Minification1 · 20 citations
Model checking1 · 20 citations
Programming language1 · 20 citations
Relation (database)1 · 20 citations
State (computer science)1 · 20 citations
Key Achievements
1
H-Index
1
Papers
20
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
Partitioning Techniques in LTLf Synthesis
20 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Rice University
Top Papers
- 1Partitioning Techniques in LTLf Synthesis20 citations · 2019
Key Collaborators
Not generated yet