Laura Nenzi profile picture

Laura Nenzi

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Excursions in Identity Travel and the Intersection of Place, Gender, and Status in Edo Japan
Chaos and Cosmos of Kurosawa Tokiko: One Woman's Transit from Tokugawa to Meiji Japan
The Chaos and Cosmos of Kurosawa Tokiko One Woman's Transit from Tokugawa to Meiji Japan
The Chaos and Cosmos of Kurosawa Tokiko One Woman’s Transit from Tokugawa to Meiji Japan
Runtime Verification
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings