( en | de | ru )

 

Disambiguation of "Nenzi, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.

, , , , and . Log. Methods Comput. Sci., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Linke

 

Other publications of authors with the same name

Monitoring Mobile and Spatially Distributed Cyber-Physical Systems., , , and . CoRR, (2019)Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , and 2 other author(s). CoRR, (2023)Monitoring mobile and spatially distributed cyber-physical systems., , , and . MEMOCODE, page 146-155. ACM, (2017)Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , and . Log. Methods Comput. Sci., (2018)A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors., , , , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 188-206. Springer, (2019)Adaptable Configuration of Decentralized Monitors., , , and . FORTE, volume 14678 of Lecture Notes in Computer Science, page 197-217. Springer, (2024)Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic., , , and . VALUETOOLS, page 225-226. ACM, (2017)Online monitoring of spatio-temporal properties for imprecise signals., , , and . MEMOCODE, page 78-88. ACM, (2021)WebMonitor: Verification of Web User Interfaces., , and . ASE, page 170:1-170:4. ACM, (2022)Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes., , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 281-300. Springer, (2022)