Author

Adrienne Lancelot

2023 · Accattoli, Beniamino, Lancelot, Adrienne, et al. · arXiv (Cornell University) · 5
2025 · Lancelot, Adrienne, Accattoli, Beniamino, et al. · Leibniz international proceedings in informatics · 2
2024 · Beniamino Accattoli, Adrienne Lancelot · Lecture notes in computer science · 2
2025 · Beniamino Accattoli, Adrienne Lancelot, et al. · Proceedings of the ACM on Programming Languages · 1
2026 · Beniamino Accattoli, Adrienne Lancelot · Logical Methods in Computer Science
2026 · Adrienne Lancelot, Giulio Manzonetto, et al. · Lecture notes in computer science
Works count: 9
Citation count: 10
H-index: 2
I10-index:
Year
Topic
Type