4.1 Articoli in Atti di convegno: [47528] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 47.528
Titolo Tipologia Data di pubblicazione Autore(i) File
An Empirical Evaluation of the Energy and Performance Overhead of Monitoring Tools on Docker-Based Systems 4.1 Articoli in Atti di convegno 2023 Dinga, M.; Malavolta, I.; Giamattei, L.; Guerriero, A.; Pietrantuono, R.
Sistemi informatici per il catalogo e la divulgazione della Collezione Fienga 4.1 Articoli in Atti di convegno 2022 Capaldi, Carmela; Ciotola, Antonella
Il Foro di Cuma: indagini di approfondimento nel portico settentrionale 4.1 Articoli in Atti di convegno 2022 Capaldi, Carmela; Ciotola, Antonella
La tutela dei diritti dei lavoratori attraverso l’esercizio dell’“azione giudiziale di classe 4.1 Articoli in Atti di convegno 2023 Crudeli, GIOVANNI GUGLIELMO
DESIGN/DISCOURSE: Cartografare le controversie nei discorsi del design contemporaneo 4.1 Articoli in Atti di convegno 2023 Marotta, Fabiana
Forma 4.1 Articoli in Atti di convegno 2023 Stendardo, Luigi
Presidio 4.1 Articoli in Atti di convegno 2023 Bernieri, Adriana
Limes/Limen 4.1 Articoli in Atti di convegno 2023 Piscopo, Carmine
Decidability and complexity of timeline-based planning over dense temporal domains 4.1 Articoli in Atti di convegno 2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; Peron, A.; Sanchez, C.
A Quantitative Extension of Interval Temporal Logic over Infinite Words 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; Peron, A.
Parametric Interval Temporal Logic over Infinite Words 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; Peron, A.
On decidability of LTL model checking for process rewrite systems 4.1 Articoli in Atti di convegno 2006 Bozzelli, L.; Kretinsky, M.; Rehak, V.; Strejcek, J.
Complexity results on branching-time pushdown model checking 4.1 Articoli in Atti di convegno 2006 Bozzelli, L.
Branching-time temporal logic extended with qualitative presburger constraints 4.1 Articoli in Atti di convegno 2006 Bozzelli, L.; Gascon, R.
Controller synthesis for MTL specifications 4.1 Articoli in Atti di convegno 2006 Bouyer, P.; Bozzelli, L.; Chevalier, F.
Model checking for Process Rewrite Systems and a class of action-based regular properties 4.1 Articoli in Atti di convegno 2005 Bozzelli, L.
Device-free hand gesture recognition exploiting machine learning applied to RFID 4.1 Articoli in Atti di convegno 2021 Merenda, M.; Cimino, G.; Carotenuto, R.; Della Corte, F. G.; Iero, D.
Ribosomal gene amplification during meiotic prophase in lizard oocytes 4.1 Articoli in Atti di convegno 1988 Motta, CHIARA MARIA; Filosa, Silvana; Andreuccetti, Piero
El impuesto patrimonial francés 4.1 Articoli in Atti di convegno 2016 Bisogno, Marina
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 47.528
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 ...47528
Autore
  • MAZZOLANI, FEDERICO MASSIMO817
  • MANFREDI, GAETANO605
  • PROTA, ANDREA485
  • LANDOLFO, RAFFAELE392
  • TRIASSI, MARIA326
  • RICCIO, DANIELE313
  • COSENZA, EDOARDO299
  • IODICE, ANTONIO279
  • ANGRISANI, LEOPOLDO261
  • NIGRO, EMIDIO247
Data di pubblicazione
  • In corso di stampa38
  • 2020 - 20243407
  • 2010 - 201914703
  • 2000 - 200920743
  • 1990 - 19996592
  • 1980 - 19891725
  • 1970 - 1979302
  • 1963 - 196918
Editore
  • Institute of Electrical and Elect...1283
  • IEEE870
  • Springer323
  • IEEE Computer Society262
  • SPIE136
  • Springer Verlag136
  • Springer Science and Business Med...128
  • Elsevier B.V.116
  • Doppiavoce106
  • American Institute of Physics Inc.103
Rivista
  • JOURNAL OF PHYSICS. CONFERENCE SE...125
  • POS PROCEEDINGS OF SCIENCE116
  • AIP CONFERENCE PROCEEDINGS104
  • SAE TECHNICAL PAPER87
  • PROCEEDINGS OF SPIE, THE INTERNAT...72
  • MINERVA ANESTESIOLOGICA68
  • IFMBE PROCEEDINGS56
  • JOURNAL OF DENTAL RESEARCH48
  • EPJ WEB OF CONFERENCES47
  • PROCEDIA CIRP45
Serie
  • CEUR WORKSHOP PROCEEDINGS84
  • LECTURE NOTES IN COMPUTER SCIENCE81
  • PROCEEDINGS OF SPIE, THE INTERNAT...80
  • LECTURE NOTES IN ARTIFICIAL INTEL...74
  • LECTURE NOTES IN CIVIL ENGINEERING66
  • AIP CONFERENCE PROCEEDINGS59
  • PROCEDIA CIRP59
  • LECTURE NOTES IN MECHANICAL ENGIN...50
  • MECHANISMS AND MACHINE SCIENCE38
  • IFAC-PAPERSONLINE37
Keyword
  • Electrical and Electronic Enginee...176
  • Computer Networks and Communications157
  • Computer Science Applications1707...118
  • Control and Systems Engineering96
  • Physics and Astronomy (all)90
  • Artificial Intelligence87
  • Software87
  • Instrumentation82
  • Mechanical Engineering76
  • Energy Engineering and Power Tech...73
Lingua
  • eng23700
  • ita7541
  • fre230
  • spa122
  • ger63
  • und23
  • enm19
  • por18
  • rus9
  • lat6
Accesso al fulltext
  • no fulltext43369
  • reserved1744
  • open1322
  • restricted1082
  • partially open9
  • embargoed1
  • mixed1