Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Genco, Federico
21  Ergebnisse:
Personensuche X
?
1

Wireless Power Transfer System Stability Analysis for E-bik..:

, In: 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE),
Genco, Federico ; Longo, Michela ; Livreri, Patrizia. - p. 1-5 , 2019
Link: https://doi.org/10.23919..
 
?
2

Wireless Power Transfer System Design for E-bikes Applicati..:

, In: 2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe),
Genco, Federico ; Longo, Michela ; Zaninelli, Dario.. - p. 1-5 , 2019
Link: https://doi.org/10.1109/..
 
?
3

On the concurrent computational content of intermediate log..:

Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A.
Theoretical Computer Science.  813 (2020)  - p. 375-409 , 2020
Link: https://doi.org/10.1016/..
 
?
4

Par means parallel: multiplicative linear logic proofs as c..:

Aschieri, Federico ; Genco, Francesco A.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Par means parallel: multiplicative linear logic proofs as c..:

Aschieri, Federico ; Genco, Francesco A.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://doi.org/10.1145/..
 
?
6

Gödel logic : from natural deduction to parallel computa..:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A. - p. 1-12 , 2017
Link: https://dl.acm.org/doi/1..
 
?
7

Seismic sources and stress transfer interaction among axial..:

Bonini, Marco ; Corti, Giacomo ; Donne, Dario Delle...
Tectonophysics.  680 (2016)  - p. 67-89 , 2016
Link: https://doi.org/10.1016/..
 
?
8

Speer: Drawing the Future of the Past:

, In: Springer Series in Design and Innovation; Architectural Graphics,
Amado, Antonio ; Arévalo, Federico ; Escoda, Carmen. - p. 255-264 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Par Means Parallel: Multiplicative Linear Logic Proofs as C..:

Aschieri, Federico ; Genco, Francesco
hal-02357025.  , 2020
Link: https://hal.science/hal-..
 
?
10

Predictive value of blood eosinophils and exhaled nitric ox..:

Pavord, Ian D ; Holliday, Mark ; Reddel, Helen K...
https://nottingham-repository.worktribe.com/output/5152453.  , 2020
Link: https://doi.org/10.1016/..
 
?
11

Par Means Parallel: Multiplicative Linear Logic Proofs as C..:

Aschieri, Federico ; Genco, Francesco
hal-02357025.  , 2020
Link: https://hal.archives-ouv..
 
?
12

Par Means Parallel: Multiplicative Linear Logic Proofs as C..:

Aschieri, Federico ; Genco, Francesco, A
hal-02357025.  , 2020
Link: https://hal.science/hal-..
 
?
13

$\unicode{8523}$ means Parallel: Multiplicative Linear Logi..:

Aschieri, Federico ; Genco, Francesco A
http://arxiv.org/abs/1907.03631.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

A typed parallel {\lambda}-calculus via 1-depth intermediat..:

Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A
http://arxiv.org/abs/1902.03882.  , 2019
Link: http://arxiv.org/abs/190..
 
?
15

G\"odel Logic: from Natural Deduction to Parallel Computati..:

Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A
http://arxiv.org/abs/1607.05120.  , 2016
Link: http://arxiv.org/abs/160..
 
1-15