Laura Nenzi

Identifiers

• name variant Laura Nenzi 0.60 · backfill

Papers (7)

1. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors cs.LO · 2019 · author #4
2. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems cs.LO · 2019 · author #4
3. Signal Convolution Logic cs.LO · 2018 · author #2
4. A Robust Genetic Algorithm for Learning Temporal Specifications from Data cs.AI · 2017 · author #1
5. Model Checking Markov Population Models by Stochastic Approximations cs.LO · 2017 · author #3
6. A temporal logic approach to modular design of synthetic biological circuits cs.LO · 2013 · author #3
7. The worldwide impact of Donati's comet on art and society in the mid-19th century physics.hist-ph · 2012 · author #3

Mentions

• 1306.4493 #3 · backfill · confidence 0.70 Laura Nenzi
• 1211.3859 #3 · backfill · confidence 0.70 Laura Nenzi

Frequent Coauthors

• Luca Bortolussi 5 shared papers
• Ezio Bartocci 4 shared papers
• Simone Silvetti 3 shared papers
• Antonella Gasperini 1 shared papers
• Daniele Galli 1 shared papers
• Josephine Lamp 1 shared papers
• Lu Feng 1 shared papers
• Marc Breton 1 shared papers
• Michele Loreti 1 shared papers
• Roberta Lanciani 1 shared papers