IRIS

4.1 Contributo in Atti di convegno: [1084] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.084
Titolo Data di pubblicazione Autore(i) File
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.
A self-configuring and adaptive privacy-aware permission system for Android apps 1-gen-2020 Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
On the elicitation of privacy and ethics preferences of mobile users 1-gen-2020 Migliarini, Patrizio; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
Permission issues in open-source android apps: An exploratory study 1-gen-2019 Scoccia, G. L.; Peruma, A.; Pujols, V.; Malavolta, I.; Krutz, D. E.
An extensible approach for taming the challenges of JavaScript dead code elimination 1-gen-2018 Obbink, N. G.; Malavolta, I.; Scoccia, G. L.; Lago, P.
An investigation into Android run-time permissions from the end users' perspective 1-gen-2018 Scoccia, GIAN LUCA; Ruberto, Stefano; Malavolta, Ivano; Autili, Marco; Inverardi, Paola
Multi-agent based simulations of block-free distributed ledgers 1-gen-2018 Bottone, M.; Raimondi, F.; Primiero, G.
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 1-gen-2016 Zbrzezny, A. M.; Zbrzezny, A.; Raimondi, F.
A Constrained ECA Language Supporting Formal Verification of WSNs 1-gen-2015 Corradini, F.; Culmone, R.; Mostarda, L.; Tesei, L.; Raimondi, F.
A typed natural deduction calculus to reason about secure trust 1-gen-2014 Primiero, G.; Raimondi, F.
Minimizing transitive trust threats in software management systems 1-gen-2015 Boender, J.; Primiero, G.; Raimondi, F.
Slrtool: A tool to support collaborative systematic literature reviews 1-gen-2014 Barn, B. S.; Raimondi, F.; Athappian, L.; Clark, T.
Towards Cyber-physical Systems as Services: The ASIP Protocol 1-gen-2015 Bordoni, M.; Bottone, M.; Fields, B.; Gorogiannis, N.; Margolis, M.; Primiero, G.; Raimondi, F.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.084
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 ...1084
Autore
  • PELLICCIONE, PATRIZIO115
  • FLAMMINI, MICHELE110
  • TUOSTO, EMILIO77
  • D'ANGELO, GIANLORENZO72
  • TRUBIANI, CATIA71
  • INVERARDI, PAOLA59
  • IOVINO, LUDOVICO52
  • DE MITRI, IVAN49
  • TROQUARD, NICOLAS41
  • FERRONI, Fernando34
Data di pubblicazione
  • 2020 - 2024235
  • 2010 - 2019590
  • 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...14
  • 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
  • eng650
  • ita11
  • und7
  • slv1
Accesso al fulltext
  • no fulltext922
  • reserved96
  • open63
  • partially open3