IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.041 a 1.060 di 4.751
Titolo Data di pubblicazione Autore(i) File
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 1-gen-2010 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
MU-CSeq 0.4: Individual Memory Location Unwindings 1-gen-2016 Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
An Infinite Automaton Characterization of Double Exponential Time 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 1-gen-2015 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Unifying Approach for Multistack Pushdown Automata 1-gen-2014 Salvatore La, Torre; Margherita, Napoli; Parlato, G
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 1-gen-2016 Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; La Torre, S.; Parlato, G
Scope-Bounded Pushdown Languages. 1-gen-2014 Salvatore La, Torre; Margherita, Napoli; Parlato, G
Context-Bounded Analysis of TSO Systems 1-gen-2014 Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 1-gen-2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Getting Rid of Store-Buffers in TSO Analysis 1-gen-2011 Atig, F; Bouajjani, A; Parlato, G
Decidable logics combining heap structures and data 1-gen-2011 P., Madhusudan; Parlato, G; Qiu, X
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 1-gen-2011 Carrabs, F; Cerulli, R; Gentili, M; Parlato, G
A METHODOLOGY FOR THE KNOWLEDGE OF THE SMALL HISTORICAL CENTERS: ANALYSIS OF THE VILLAGE OF ST.GIOVANNI IN GALDO IN MOLISE FOR THE TECHNOLOGICAL IDENTIFICATION OF THE CONSTRUCTIVE EPOCHS AND THE RESTORING ACCORDING ENVIRON SUSTANAIBLY CRITERIA. 1-gen-2019 Catalano, A.
La riqualificazione delle vele al Rione Scampia di Napoli: una architettura qualificata degna di nuova vita. 1-gen-2019 Catalano, A.
Do rural policies impact on-farm diversification in Italy? In: Contò et al. (eds), Cooperative strategies and value creation in sustainable food supply chain 1-gen-2018 Marino, D.; Giaccio, V.; Mastronardi, L.; Giannelli, A.; Scardera, A.
I richiedenti asilo e la questione della loro equa ripartizione 1-gen-2019 Angeloni, S.
L’attuazione del Regolamento europeo in tema di protezione dei dati personali alla luce della dicotomia civil law/common law 1-gen-2018 Fontanarosa, Fiore
Le attività finanziarie e la crisi degli anni 80 del I a.C. Alcune osservazioni. 1-gen-2018 Soricelli, G
Thermo-fluid-dynamic characteristics of confluent jets for distribution of treated air in small environment 1-gen-2021 La Fianza, G.; Giametta, F.; Brunetti, L.; Orsino, M.; Bianchi, B.; Perone, C.; Catalano, P.
THERMAL ANALYSIS OF A COLD ROOM 1-gen-2021 La Fianza, G.; Giametta, F.; Brunetti, L.; Orsino, Michela; Bianchi, B.; Perone, C.; Catalano, P.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.041 a 1.060 di 4.751
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 (Proceeding)4751
Autore
  • FABBROCINO, Giovanni315
  • MERCALDO, Francesco168
  • OLIVETO, Rocco154
  • SANTONE, Antonella151
  • RAINIERI, Carlo124
  • MARCHETTI, Marco123
  • TREMATERRA, Pasquale122
  • SARCHIAPONE, Marco114
  • SANTUCCI DE MAGISTRIS, Filippo96
  • CATALANO, Pasquale85
Data di pubblicazione
  • In corso di stampa20
  • 2020 - 2026602
  • 2010 - 20191495
  • 2000 - 20091921
  • 1990 - 1999613
  • 1980 - 198998
  • 1978 - 19791
Editore
  • Institute of Electrical and Electronics Engineers Inc.112
  • IEEE67
  • Springer Science and Business Media Deutschland GmbH32
  • Springer29
  • IEEE Computer Society28
  • Edizioni Scientifiche Italiane26
  • SciTePress23
  • Giuffrè21
  • R. Cudabba, E. Marconi18
  • Chiriotti Editori17
Rivista
  • ISTISAN CONGRESSI15
  • PROCEDIA COMPUTER SCIENCE14
  • ATTI CONFERENZA NAZIONALE ASITA13
  • JOURNAL OF PHYSICS. CONFERENCE SERIES9
  • GIORNALE BOTANICO ITALIANO7
  • PANORAMA DELLA SANITÀ7
  • PROCEDIA STRUCTURAL INTEGRITY7
  • ACTA HORTICULTURAE6
  • ITALIAN JOURNAL OF ANIMAL SCIENCE6
  • THE FEBS JOURNAL5
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • LECTURE NOTES IN CIVIL ENGINEERING21
  • PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
  • COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE8
  • CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE8
  • PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
  • CEUR WORKSHOP PROCEEDINGS6
  • PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
  • ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
  • IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
  • Android34
  • Security25
  • suicide21
  • Software20
  • Machine Learning17
  • Malware17
  • suicidio16
  • deep learning13
  • machine learning13
  • Machine learning12
Lingua
  • eng2246
  • ita1832
  • fre33
  • ger16
  • und15
  • spa14
  • por3
  • grc2
  • lat2
  • cze1
Accesso al fulltext
  • no fulltext4747
  • open2
  • reserved2
Appartenenza
  • DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1186
  • DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1806
  • DIPARTIMENTO DI ECONOMIA283
  • DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE916
  • DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE540
  • DIPARTIMENTO GIURIDICO135