Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Laboratoire Spécification et Vérification | Researchclopedia
Back to institutions
Laboratoire Spécification et Vérification
Cachan
facility
Website
Top Researchers
View all
Recent Research
View all
Logic, Reasoning, and Knowledge
semigroups and automata theory
Model-Driven Software Engineering Techniques
Software Testing and Debugging Techniques
Advanced Authentication Protocols Security
Semantic Web and Ontologies
Distributed systems and fault tolerance
Computability, Logic, AI Algorithms
Business Process Modeling and Analysis
Serge Abiteboul
École Normale Supérieure - PSL
499 works
21,932 citations
h-index: 70
Attention is ALL you need 2: From NN Weight to HS Fate
Artiom Kovnatsky
2026
0 citations