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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 di 1.084
Titolo Data di pubblicazione Autore(i) File
Combinatorial optimization based recommender systems 1-gen-2009 Roda, F.; Liberti, L.; Raimondi, F.
The anonymous subgraph problem 1-gen-2009 Bettinelli, A.; Liberti, L.; Raimondi, F.; Savourey, D.
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 1-gen-2016 Bottone, M.; Palumbo, F.; Primiero, G.; Raimondi, F.; Stocker, R.
Automatic Annotation of~Confidential Data in~Java Code 1-gen-2022 Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D.
MIRTO: An open-source robotic platform for education 1-gen-2018 Androutsopoulos, K.; Aristodemou, L.; Boender, J.; Bottone, M.; Currie, E.; El-Aroussi, I.; Fields, B.; Gheri, L.; Gorogiannis, N.; Heeney, M.; Micheletti, M.; Loomes, M.; Margolis, M.; Petridi, M.; Piermarteri, A.; Primiero, G.; Raimondi, F.; Weldin, N.
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 1-gen-2013 Di Marco, A.; Gallo, F.; Gemikonakli, O.; Mostarda, L.; Raimondi, F.
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 1-gen-2017 Bauereib, T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
A proof-theoretic trust and reputation model for VANET 1-gen-2017 Primiero, G.; Raimondi, F.; Chen, T.; Nagarajan, R.
CoSMed: A confidentiality-verified social media platform 1-gen-2016 Bauerei(\ss), T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
A model for trustworthy orchestration in the internet of things 1-gen-2016 Bottone, M.; Primiero, G.; Raimondi, F.; De Florio, V.
On the Role of Value Sensitive Concerns in Software Engineering Practice 1-gen-2015 Barn, B.; Barn, R.; Raimondi, F.
Lifting On-Demand Analysis to Higher-Order Languages 1-gen-2023 Schoepe, Daniel; Seekatz, David; Stoilkovska, Ilina; Stucki, Sandro; Tattersall, Daniel; Bolignano, Pauline; Raimondi, Franco; Evan Chang, Bor-Yuh
Modeling complex Air Traffic Management Systems 1-gen-2016 Rungta, N.; Mercer, E. G.; Raimondi, F.; Krantz, B. C.; Stocker, R.; Wallace, A.
Differential cost analysis with simultaneous potentials and anti-potentials 1-gen-2022 Zikeli?, D.; Chang, B. -Y. E.; Bolignano, P.; Raimondi, F.
A novel symbolic approach to verifying epistemic properties of programs 1-gen-2017 Gorogiannis, N.; Raimondi, F.; Boureanu, I.
Improving the model checking of strategies under partial observability and fairness constraints 1-gen-2014 Busard, S.; Pecheur, C.; Qu, H.; Raimondi, F.
Domain types: Abstract-domain selection based on variable usage 1-gen-2013 Apel, S.; Beyer, D.; Friedberger, K.; Raimondi, F.; Von Rhein, A.
An approach to quantify workload in a system of agents 1-gen-2015 Stocker, R.; Rungta, N.; Mercer, E.; Raimondi, F.; Holbrook, J.; Cardoza, C.; Goodrich, M.
Symbolic model-checking for resource-bounded ATL 1-gen-2015 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.; Mostarda, L.
Software of the future is the future of Software? 1-gen-2007 Inverardi, Paola
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 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