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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 47.526
Titolo Tipologia Data di pubblicazione Autore(i) File
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
La reforma del concepto de establecimiento permanente: el asunto Expo, Milán 2015 4.1 Articoli in Atti di convegno 2018 Bisogno, Marina
Differenti gradi di (in)visibilità: le città romane di Municipium S e Doclea in Montenegro 4.1 Articoli in Atti di convegno 2023 Alberti, L.; Colosi, F.; Di Palma, B.; Merola, P.
A Real-Time Simulation Framework for Powerline Communications in More-Electric Aircraft and Spacecraft 4.1 Articoli in Atti di convegno 2023 Ugo Castrillo, Vittorio; Iudice, Ivan; Pascarella, Domenico; Pigliasco, Gianpaolo; Vozella, Angela
PYRO-ELECTRIFICATION OF POLYMER MEMBRANES FOR CELL PATTERNING 4.1 Articoli in Atti di convegno 2016 Rega, R; Gennari, O; Mecozzi, L; Grilli, S; Pagliarulo, V; Ferraro, P
Pyro-EHD ink-jet printing for direct functionalization of 3D lab-on-chip devices 4.1 Articoli in Atti di convegno 2016 Coppola, S.; Vespini, V.; Bianco, V.; Mecozzi, L.; Olivieri, F.; Todino, M.; Paturzo, M.; Grilli, S.; Ferraro, P.
PYRO-PRINTING ON DEMAND OF POLYMER MICROLENSES 4.1 Articoli in Atti di convegno 2014 Coppola, S; Vespini, V; Mecozzi, L; Miccio, L; Grilli, S; Ferraro, P; Grimaldi, Ia; Loffredo, F; Nenna, G; Villani, F; Minarini, C
Replica 4.1 Articoli in Atti di convegno 2023 Zoppoli, Antonello
“Prospettiva rimediale, fattispecie, sistema”, Relazione 4.1 Articoli in Atti di convegno 2023 Zoppoli, Antonello
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 47.526
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 ...47526
Autore
  • MAZZOLANI, FEDERICO MASSIMO817
  • MANFREDI, GAETANO605
  • PROTA, ANDREA481
  • LANDOLFO, RAFFAELE392
  • TRIASSI, MARIA326
  • RICCIO, DANIELE313
  • COSENZA, EDOARDO299
  • IODICE, ANTONIO279
  • ANGRISANI, LEOPOLDO261
  • NIGRO, EMIDIO247
Data di pubblicazione
  • In corso di stampa42
  • 2020 - 20243401
  • 2010 - 201914702
  • 2000 - 200920744
  • 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...127
  • 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 SCIENCE80
  • 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
  • eng23703
  • ita7536
  • fre230
  • spa122
  • ger63
  • und23
  • enm19
  • por18
  • rus9
  • lat6
Accesso al fulltext
  • no fulltext43369
  • reserved1745
  • open1320
  • restricted1081
  • partially open9
  • embargoed1
  • mixed1