Awesome Quantum Computing

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Gilles Barthe — most-cited papers & profile · Quantum Computing

← authors · overview

Gilles Barthe

1 papers · 0 citations · 49 h-index

Max Planck Institute for Security and Privacy · IMDEA Software Institute

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
2021

Top co-authors

Justin Hsu · 1 Li Zhou · 1 Mingsheng Ying · 1 Nengkun Yu · 1

Topics

Quantum Algorithms Quantum Simulation Quantum Software Quantum Cryptography Theory