Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Padovani, Luca
621  Ergebnisse:
?
1

A logical account of subtyping for session types:

Horne, Ross ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  141 (2024)  - p. 100986 , 2024
Link: https://doi.org/10.1016/..
 
?
2

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Fair termination of multiparty sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  139 (2024)  - p. 100964 , 2024
Link: https://doi.org/10.1016/..
 
?
4

Surgical and Biological Treatment with a Platelet-Rich Fibr..:

Iacono, Venanzio ; Padovani, Luca ; Qordja, Fjorela...
Journal of Personalized Medicine.  14 (2024)  6 - p. 567 , 2024
Link: https://doi.org/10.3390/..
 
?
5

Comparing Essential Tremor with and without Soft Dystonic S..:

Erro, Roberto ; Lazzeri, Giulia ; Terranova, Carmen...
Movement Disorders Clinical Practice.  11 (2024)  6 - p. 645-654 , 2024
Link: https://doi.org/10.1002/..
 
?
6

Development of an Autonomous Fish-Inspired Robotic Platform..:

, In: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor),
Manduca, Gianluca ; Padovani, Luca ; Carosio, Edoardo... - p. 188-193 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Detection of TDP‐43 seeding activity in the olfactory mucos..:

Fontana, Elena ; Bongianni, Matilde ; Benussi, Alberto...
Alzheimer's & Dementia.  20 (2023)  2 - p. 1156-1165 , 2023
Link: https://doi.org/10.1002/..
 
?
8

Correction to: Retrospective observational study on the use..:

Sassi, Serena ; Bianchi, Elisa ; Diamanti, Luca...
Journal of Neurology.  270 (2023)  11 - p. 5358-5359 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Atypical brain FDG-PET patterns increase the risk of long-t..:

Imarisio, Alberto ; Pilotto, Andrea ; Premi, Enrico...
Parkinsonism & Related Disorders.  115 (2023)  - p. 105848 , 2023
Link: https://doi.org/10.1016/..
 
?
10

Electrically active defects in Al2O3-InGaAs MOS stacks at c..:

, In: 2023 IEEE International Integrated Reliability Workshop (IIRW),
La Torraca, Paolo ; Padovani, Andrea ; Wernersson, Lars-Erik... - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Modeling Degradation and Breakdown in SiO2 and High-k Gate ..:

, In: 2023 International Conference on Simulation of Semiconductor Processes and Devices (SISPAD),
Padovani, Andrea ; Torraca, Paolo La ; Larcher, Luca.. - p. 93-96 , 2023
Link: https://doi.org/10.23919..
 
?
12

Insights into device and material origins and physical mech..:

, In: 2023 IEEE International Reliability Physics Symposium (IRPS),
Pesic, Milan ; Beltrando, Bastien ; Rollo, Tommaso... - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Virtual hospital and artificial intelligence: a first step ..:

Rifino, Nicola ; Bersano, Anna ; Padovani, Alessandro...
Neurological Sciences.  , 2023
Link: https://doi.org/10.1007/..
 
?
14

SARS-CoV-2 antibodies in inflammatory neurological conditio..:

Zivelonghi, Cecilia ; Dinoto, Alessandro ; Irani, Sarosh R....
Immunologic Research.  71 (2023)  5 - p. 717-724 , 2023
Link: https://doi.org/10.1007/..
 
?
15

Towards a Universal Model of Dielectric Breakdown:

, In: 2023 IEEE International Reliability Physics Symposium (IRPS),
Padovani, Andrea ; Torraca, Paolo La ; Strand, Jack... - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
1-15