Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Université de Rennes | Researchclopedia
Back to institutions
Université de Rennes
Rennes, Brittany
education
Website
Top Researchers
View all
Recent Research
View all
Magnetism in coordination complexes
Geology and Paleoclimatology Research
Antenna Design and Analysis
Glass properties and applications
Inorganic Chemistry and Materials
Health, Medicine and Society
earthquake and tectonic studies
Advanced Antenna and Metasurface Technologies
Healthcare Systems and Practices
Guido Kroemer
Inserm
2,303 works
369,372 citations
h-index: 283
Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol
David Baelde
,
Adrien Koutsos
,
et al.
2026
0 citations