A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
2024-01-01 Nunn, Pierre; Sälzer, Marco; Schwarzentruber, François; Troquard, Nicolas
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
Runtime Instrumentation for Reactive Components
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
Centralized vs Decentralized Monitors for Hyperproperties
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Central limit theorem for finite and infinite dimensional diffusions in ergodic environments
2016-01-01 Xu, Lu
Recent progress on the tidal deformability of spinning compact objects
2017-01-01 Pani, Paolo; Gualtieri, Leonardo; Maselli, Andrea; Ferrari, Valeria
Testing the strong field gravity regime with QPO observations
2017-01-01 Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria; Pani, Paolo; Stella, Luigi
Recent developments in the tidal deformability of spinning compact objects
2016-01-01 Pani, Paolo; Gualtieri, Leonardo; Maselli, Andrea; Ferrari, Valeria
From macro to micro: universal properties of neutron stars
2016-01-01 Maselli, Andrea
Compact objects in Horndeski gravity
2016-01-01 Silva, Hector O.; Maselli, Andrea; Minamitsuji, Masato; Berti, Emanuele
Coincidence Searches of Gravitational Waves and Short Gamma-Ray Bursts
2014-01-01 Maselli, Andrea; Ferrari, Valeria
ON THE VALIDITY OF THE ADIABATIC APPROXIMATION IN COMPACT BINARY INSPIRALS
2013-01-01 Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria; Pannarale, Francesco
Automated Negotiation - Preliminary Results of a Systematic Mapping Study
2023-01-01 Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco
How does Migrating to Kotlin Impact the Run-time Efficiency of Android Apps?
2021-01-01 Peters, Michael; Scoccia, Gian Luca; Malavolta, Ivano
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub
2021-01-01 Scoccia, Gian Luca; Migliarini, Patrizio; Autili, Marco
Evolution of Kotlin Apps in terms of Energy Consumption: An Exploratory Study
2023-01-01 Ahmed, Hesham; Boshchenko, Alina; Khan, Niaz Ali; Knyajev, Dmitriy; Garifollina, Dinara; Scoccia, Gian Luca; Martinez, Matias; Malavolta, Ivano
Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool
2023-01-01 Scoccia, Gian Luca
An empirical history of permission requests and mistakes in open source android apps
2019-01-01 Scoccia, G. L.; Peruma, A.; Pujols, V.; Christians, B.; Krutz, D.
Perspectives on static analysis of mobile apps (invited talk)
2015-01-01 Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.
Automated Feature Identification for Android Apps
2020-01-01 Scoccia, G. L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks | 1-gen-2024 | Nunn, Pierre; Sälzer, Marco; Schwarzentruber, François; Troquard, Nicolas | |
A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
Runtime Instrumentation for Reactive Components | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
Centralized vs Decentralized Monitors for Hyperproperties | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
Central limit theorem for finite and infinite dimensional diffusions in ergodic environments | 1-gen-2016 | Xu, Lu | |
Recent progress on the tidal deformability of spinning compact objects | 1-gen-2017 | Pani, Paolo; Gualtieri, Leonardo; Maselli, Andrea; Ferrari, Valeria | |
Testing the strong field gravity regime with QPO observations | 1-gen-2017 | Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria; Pani, Paolo; Stella, Luigi | |
Recent developments in the tidal deformability of spinning compact objects | 1-gen-2016 | Pani, Paolo; Gualtieri, Leonardo; Maselli, Andrea; Ferrari, Valeria | |
From macro to micro: universal properties of neutron stars | 1-gen-2016 | Maselli, Andrea | |
Compact objects in Horndeski gravity | 1-gen-2016 | Silva, Hector O.; Maselli, Andrea; Minamitsuji, Masato; Berti, Emanuele | |
Coincidence Searches of Gravitational Waves and Short Gamma-Ray Bursts | 1-gen-2014 | Maselli, Andrea; Ferrari, Valeria | |
ON THE VALIDITY OF THE ADIABATIC APPROXIMATION IN COMPACT BINARY INSPIRALS | 1-gen-2013 | Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria; Pannarale, Francesco | |
Automated Negotiation - Preliminary Results of a Systematic Mapping Study | 1-gen-2023 | Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco | |
How does Migrating to Kotlin Impact the Run-time Efficiency of Android Apps? | 1-gen-2021 | Peters, Michael; Scoccia, Gian Luca; Malavolta, Ivano | |
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub | 1-gen-2021 | Scoccia, Gian Luca; Migliarini, Patrizio; Autili, Marco | |
Evolution of Kotlin Apps in terms of Energy Consumption: An Exploratory Study | 1-gen-2023 | Ahmed, Hesham; Boshchenko, Alina; Khan, Niaz Ali; Knyajev, Dmitriy; Garifollina, Dinara; Scoccia, Gian Luca; Martinez, Matias; Malavolta, Ivano | |
Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool | 1-gen-2023 | Scoccia, Gian Luca | |
An empirical history of permission requests and mistakes in open source android apps | 1-gen-2019 | Scoccia, G. L.; Peruma, A.; Pujols, V.; Christians, B.; Krutz, D. | |
Perspectives on static analysis of mobile apps (invited talk) | 1-gen-2015 | Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L. | |
Automated Feature Identification for Android Apps | 1-gen-2020 | Scoccia, G. L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1096
Data di pubblicazione
- 2020 - 2024239
- 2010 - 2019598
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...17
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng652
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext934
- reserved96
- open63
- partially open3