E-LIB Suche - Ergebnisse für: Cristoforetti, Luca

1

EVA: a Tool for the Compositional Verification of AUTOSAR M..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Cimatti, Alessandro ; Cristoforetti, Luca ; Griggio, Alberto... - p. 3-10 , 2023

Link: https://doi.org/10.1007/..

2

A comprehensive framework for the analysis of automotive sy..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca... - p. 379-389 , 2022

Link: https://dl.acm.org/doi/1..

3

A microwave interferometer for human breath monitoring in p..:

Donelli, Massimo ; Manekiya, Mohammedhusen ; Cunial, Davide..
Microwave and Optical Technology Letters. 62 (2019) 2 - p. 589-591 , 2019

Link: https://doi.org/10.1002/..

4

Light-opals interaction modeling by direct numerical soluti..:

Vaccari, Alessandro ; Lesina, Antonino Calà ; Cristoforetti, Luca...
Optics Express. 22 (2014) 22 - p. 27739 , 2014

Link: https://doi.org/10.1364/..

5

WOZ acoustic data collection for interactive TV:

Brutti, Alessio ; Cristoforetti, Luca ; Kellermann, Walter..
Language Resources and Evaluation. 44 (2010) 3 - p. 205-219 , 2010

Link: https://doi.org/10.1007/..

6

WOZ acoustic data collection for interactive TV:

Brutti, Alessio ; Cristoforetti, Luca ; Kellermann, Walter..
Language Resources and Evaluation. 44 (2010) 3 - p. 205-219 , 2010

Link: https://www.jstor.org/st..

7

The CHIL Audiovisual Corpus for Lecture and Meeting Analysi..:

Mostefa, Djamel ; Moreau, Nicolas ; Choukri, Khalid...
Language Resources and Evaluation. 41 (2007) 3/4 - p. 389-407 , 2007

Link: https://www.jstor.org/st..

8

The CHIL audiovisual corpus for lecture and meeting analysi..:

Mostefa, Djamel ; Moreau, Nicolas ; Choukri, Khalid...
Language Resources and Evaluation. 41 (2007) 3-4 - p. 389-407 , 2007

Link: https://doi.org/10.1007/..

9

Proton therapy treatment monitoring with in-beam PET: Inves..:

BROMBAL, LUCA ; Barbosa, Diego ; Belcari, Nicola...
info:eu-repo/semantics/altIdentifier/wos/WOS:000402465500010. , 2017

Link: http://hdl.handle.net/11..

10

Media 1: Light-opals interaction modeling by direct numeric..:

Alessandro Vaccari ; Antonino Calà Lesina ; Luca Cristoforetti...
doi:10.1364/oe.22.027739.m001. , 2017

Link: https://doi.org/10.1364/..

11

Media 2: Light-opals interaction modeling by direct numeric..:

Alessandro Vaccari ; Antonino Calà Lesina ; Luca Cristoforetti...
doi:10.1364/oe.22.027739.m002. , 2017

Link: https://doi.org/10.1364/..

12

Media 3: Light-opals interaction modeling by direct numeric..:

Alessandro Vaccari ; Antonino Calà Lesina ; Luca Cristoforetti...
doi:10.1364/oe.22.027739.m003. , 2017

Link: https://doi.org/10.1364/..

13

Measurements of low-energy, re-entrant albedo protons by th..:

Martucci, M. ; Oliva, A. ; Battiston, R....
Astroparticle Physics. 162 (2024) - p. 102993 , 2024

Link: https://doi.org/10.1016/..

14

Author Correction: Evidence of an upper ionospheric electri..:

Piersanti, Mirko ; Ubertini, Pietro ; Battiston, Roberto...
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

15

Measuring Total Filtration Efficiency of Surgical and Commu..:

Chiera, Silvia ; Cristoforetti, Alessandro ; Benedetti, Luca...
IEEE Transactions on Instrumentation and Measurement. 72 (2023) - p. 1-17 , 2023

Link: https://doi.org/10.1109/..