I agree that this site is using cookies. You can find further informations here.
X
Giacobbe, A.
36  results:
Bookchapter (Online) X
Search for persons X
?
1

E-Core Implementation in Intel 4 with PowerVia (Backside Po..:

, In: 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits),
Shamanna, M. ; Abuayob, E. ; Aenuganti, G.... - p. 1-2 , 2023
Link: https://doi.org/10.23919..
 
?
2

Focused ultrasound for psychiatric indications:

, In: Interventional Psychiatry,
Nestor, Sean M. ; Giacobbe, Peter ; Rabin, Jennifer S.... - p. 567-578 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Contributors:

, In: Interventional Psychiatry,
Batistuzzo, Marcelo Camargo ; Baune, Bernhard T. ; Bergfeld, Isidoor... - p. xvii-xxv , 2024
Link: https://doi.org/10.1016/..
 
?
4

Paving the Way to Society/Industry 5.0: The SmartMe.IO Expe..:

, In: The City Project; Information and Communications Technologies for Smart Cities and Societies,
Giacobbe, Maurizio ; Puliafito, Antonio ; Zaia, Angelo - p. 43-65 , 2023
Link: https://doi.org/10.1007/..
 
?
5

On the Trade-Off Between Efficiency and Precision of Neural..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Edwards, Alec ; Giacobbe, Mirco ; Abate, Alessandro - p. 152-171 , 2023
Link: https://doi.org/10.1007/..
 
?
6

A Simple and Efficient Near-lossless Compression Algorithm ..:

, In: 2022 IEEE International Symposium on Medical Measurements and Applications (MeMeA),
Campobello, Giuseppe ; De Marchis, Cristiano ; Gugliandolo, Giovanni... - p. 1-6 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Symbolic Analysis of Linear Hybrid Automata – 25 Years Late:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Frehse, Goran ; Giacobbe, Mirco ; Zaffanella, Enea - p. 39-60 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Neural termination analysis:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Giacobbe, Mirco ; Kroening, Daniel ; Parsert, Julian - p. 633-645 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Intra-scale Design and Benefit Assessment of Green Stormwat..:

, In: Lecture Notes in Networks and Systems; New Metropolitan Perspectives,
Bosco, Roberto ; Giacobbe, Savino ; Losco, Salvatore. - p. 1956-1965 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Intelligent policy determination in Petri Nets:

, In: 2022 IEEE Biennial Congress of Argentina (ARGENCON),
Ventre, Luis Orlando ; Micolini, Orlando ; Altuna... - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
11

FOSSIL : a software tool for the formal synthesis of lya..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Abate, Alessandro ; Ahmed, Daniele ; Edwards, Alec.. - p. 1-11 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Shielding Atari Games with Bounded Prescience:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Giacobbe, Mirco ; Hasanbeig, Mohammadhosein ; Kroening, Daniel. - p. 1507-1509 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Learning Probabilistic Termination Proofs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Abate, Alessandro ; Giacobbe, Mirco ; Roy, Diptarko - p. 3-26 , 2021
Link: https://doi.org/10.1007/..
 
?
14

The Life-Long Consequences of Prenatal and Childhood Stress..:

, In: Immuno-Psychiatry,
Giacobbe, Juliette ; Pariante, Carmine M. ; Borsini, Alessandra - p. 17-40 , 2021
Link: https://doi.org/10.1007/..
 
?
15

On Constitutive Choices for Growth Terms in Binary Fluid Mi..:

, In: Lecture Notes in Mechanical Engineering; Proceedings of XXIV AIMETA Conference 2019,
Giacobbe, Vincenzo ; Giovine, Pasquale - p. 11-23 , 2020
Link: https://doi.org/10.1007/..
 
1-15