R\'ebecca Zucchini

Identifiers

• name variant R\'ebecca Zucchini 0.60 · backfill

Papers (1)

1. Modelling and Verifying Neuronal Archetypes in Rocq cs.LO · 2025 · author #2

Mentions

• 2505.05362 #2 · arxiv_oai · confidence 0.70 R\'ebecca Zucchini

Frequent Coauthors

• Abdorrahim Bahrami 1 shared papers
• Amy Felty 1 shared papers
• Elisabetta De Maria 1 shared papers