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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.241 a 3.260 di 7.926
Titolo Data di pubblicazione Autore(i) File
Catalogue of System and Software Properties 1-gen-2016 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities 1-gen-2016 Ceccato, Mariano; Nguyen, Cu D.; Appelt, Dennis; Briand, Lionel C.
TRIDENT: In-field Connectivity Assessment for Wireless Sensor Networks 1-gen-2014 Timofei, Istomin; Ramona, Marfeivici; Murphy, Amy Lynn; Picco, Gian Pietro
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 1-gen-2016 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Verilog2SMV: A Tool for Word-level Verification 1-gen-2016 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A Lazy Approach to Temporal Epistemic Logic Model Checking 1-gen-2016 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
SC^2: Satisfiability Checking Meets Symbolic Computation 1-gen-2016 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
The LOFT mission concept: a status update 1-gen-2016 Feroci, M.; Bozzo, E.; Brandt, S.; Hernanz, M.; van der Klis, M.; Liu, L. P.; Orleanski, P.; Pohl, M.; Santangelo, A.; Schanne, S.; Stella, L.; Takahashi, T.; Tamura, H.; Watts, A.; Wilms, J.; Zane, S.; Zhang, S. N.; Bhattacharyya, S.; Agudo, I.; Ahangarianabhari, M.; Albertus, C.; Alford, M.; Alpar, A.; Altamirano, D.; Alvarez, L.; Amati, L.; Amoros, C.; Andersson, N.; Antonelli, A.; Argan, A.; Artigue, R.; Artigues, B.; Atteia, J. L.; Azzarello, P.; Bakala, P.; Ballantyne, D. R.; Baldazzi, G.; Baldo, M.; Balman, S.; Barbera, M.; van Baren, C.; Barret, D.; Baykal, A.; Begelman, M.; Behar, E.; Behar, O.; Belloni, T.; Bellutti, Pierluigi; Bernardini, F.; Bertuccio, G.; Bianchi, S.; Bianchini, A.; Binko, P.; Blay, P.; Bocchino, F.; Bode, M.; Bodin, P.; Bombaci, I.; Bonnet Bidaud, J. M.; Borghi, Giacomo; Boutloukos, S.; Bouyjou, F.; Bradley, L.; Braga, J.; Briggs, M. S.; Brown, E.; Buballa, M.; Bucciantini, N.; Burderi, L.; Burgay, M.; Bursa, M.; Budtz Jørgensen, C.; Cackett, E.; Cadoux, F. R.; Cais, P.; Caliandro, G. A.; Campana, R.; Campana, S.; Cao, X.; Capitanio, F.; Casares, J.; Casella, P.; Castro Tirado, A. J.; Cavazzuti, E.; Cavechi, Y.; Celestin, S.; Cerda Duran, P.; Chakrabarty, D.; Chamel, N.; Château, F.; Chen, C.; Chen, Y.; Chen, Y.; Chenevez, J.; Chernyakova, M.; Coker, J.; Cole, R.; Collura, A.; Coriat, M.; Cornelisse, R.; Costamante, L.; Cros, A.; Cui, W.; Cumming, A.; Cusumano, G.; Czerny, B.; D'Aì, A.; D'Ammando, F.; D'Elia, V.; Dai, Z.; Del Monte, E.; De Luca, A.; De Martino, D.; Dercksen, J. P. C.; De Pasquale, M.; De Rosa, A.; Del Santo, M.; Di Cosimo, S.; Degenaar, N.; den Herder, J. W.; Diebold, S.; Di Salvo, T.; Dong, Y.; Donnarumma, I.; Doroshenko, V.; Doyle, G.; Drake, S. A.; Durant, M.; Emmanoulopoulos, D.; Enoto, T.; Erkut, M. H.; Esposito, P.; Evangelista, Y.; Fabian, A.; Falanga, M.; Favre, Y.; Feldman, C.; Fender, R.; Feng, H.; Ferrari, V.; Ferrigno, C.; Ficorella, Francesco; Finger, M.; Finger, M. H.; Fraser, G. W.; Frericks, M.; Fullekrug, M.; Fuschino, F.; Gabler, M.; Galloway, D. K.; Galvez Sanchez, J. L.; Gandhi, P.; Gao, Z.; Garcia Berro, E.; Gendre, B.; Gevin, O.; Gezari, S.; Giles, A. B.; Gilfanov, M.; Giommi, P.; Giovannini, G.; Giroletti, M.; Gogus, E.; Goldwurm, A.; Goluchová, K.; Götz, D.; Gou, L.; Gouiffes, C.; Grandi, P.; Grassi, M.; Greiner, J.; Grinberg, V.; Groot, P.; Gschwender, M.; Gualtieri, L.; Guedel, M.; Guidorzi, C.; Guy, L.; Haas, D.; Haensel, P.; Hailey, M.; Hamuguchi, K.; Hansen, F.; Hartmann, D. H.; Haswell, C. A.; Hebeler, K.; Heger, A.; Hempel, M.; Hermsen, W.; Homan, J.; Hornstrup, A.; Hudec, R.; Huovelin, J.; Huppenkothen, D.; Inam, S. C.; Ingram, A.; In't Zand, J. J. M.; Israel, G.; Iwasawa, K.; Izzo, L.; Jacobs, H. M.; Jetter, F.; Johannsen, T.; Jacobs, H. M.; Jenke, P. A.; Jonker, P.; Josè, J.; Kaaret, P.; Kalamkar, M.; Kalemci, E.; Kanbach, G.; Karas, V.; Karelin, D.; Kataria, D.; Keek, L.; Kennedy, T.; Klochkov, D.; Kluzniak, W.; Koerding, E.; Kokkotas, K.; Komossa, S.; Korpela, S.; Kouveliotou, C.; Kowalski, A. F.; Kreykenbohm, I.; Kuiper, L. M.; Kunneriath, D.; Kurkela, A.; Kuvvetli, I.; La Franca, F.; Labanti, C.; Lai, D.; Lamb, F. K.; Lachaud, C.; Laubert, P. P.; Lebrun, F.; Li, X.; Liang, E.; Limousin, O.; Lin, D.; Linares, M.; Linder, D.; Lodato, G.; Longo, F.; Lu, F.; Lund, N.; Maccarone, T. J.; Macera, D.; Maestre, S.; Mahmoodifar, S.; Maier, D.; Malcovati, P.; Malzac, J.; Malone, C.; Mandel, I.; Mangano, V.; Manousakis, A.; Marelli, M.; Margueron, J.; Marisaldi, M.; Markoff, S. B.; Markowitz, A.; Marinucci, A.; Martindale, A.; Martinez, G.; Mchardy, I. M.; Medina Tanco, G.; Mehdipour, M.; Melatos, A.; Mendez, M.; Mereghetti, S.; Migliari, S.; Mignani, R.; Michalska, M.; Mihara, T.; Miller, M. C.; Miller, J. M.; Mineo, T.; Miniutti, G.; Morsink, S.; Motch, C.; Motta, S.; Mouchet, M.; Mouret, G.; Mulačová, J.; Muleri, F.; Muñoz Darias, T.; Negueruela, I.; Neilsen, J.; Neubert, T.; Norton, A. J.; Nowak, M.; Nucita, A.; O'Brien, P.; Oertel, M.; Olsen, P. E. H.; Orienti, M.; Orio, M.; Orlandini, M.; Osborne, J. P.; Osten, R.; Ozel, F.; Pacciani, L.; Paerels, F.; Paltani, S.; Paolillo, M.; Papadakis, I.; Papitto, A.; Paragi, Z.; Paredes, J. M.; Patruno, A.; Paul, B.; Pederiva, F.; Perinati, E.; Pellizzoni, A.; Penacchioni, A. V.; Peretz, U.; Perez, M. A.; Perez Torres, M.; Peterson, B. M.; Petracek, V.; Picciotto, Antonino; Piemonte, Claudio; Pittori, C.; Pons, J.; Portell, J.; Possenti, A.; Postnov, K.; Poutanen, J.; Prakash, M.; Prandoni, I.; Le Provost, H.; Psaltis, D.; Pye, J.; Qu, J.; Rambaud, D.; Ramon, P.; Ramsay, G.; Rapisarda, M.; Rachevski, A.; Rashevskaya, I.; Ray, P. S.; Rea, N.; Reddy, S.; Reig, P.; Reina Aranda, M.; Remillard, R.; Reynolds, C.; Rezzolla, L.; Ribo, M.; de la Rie, R.; Riggio, A.; Rios, A.; Rischke, D. H.; Rodríguez Gil, P.; Rodriguez, J.; Rohlfs, R.; Romano, P.; Rossi, E. M. R.; Rozanska, A.; Rousseau, A.; Rudak, B.; Russell, D. M.; Ryde, F.; Sabau Graziati, L.; Sakamoto, T.; Sala, G.; Salvaterra, R.; Salvetti, D.; Sanna, A.; Sandberg, J.; Savolainen, T.; Scaringi, S.; Schaffner Bielich, J.; Schatz, H.; Schee, J.; Schmid, C.; Serino, M.; Shakura, N.; Shore, S.; Schnittman, J. D.; Schneider, R.; Schwenk, A.; Schwope, A. D.; Sedrakian, A.; Seyler, J. Y.; Shearer, A.; Slowikowska, A.; Sims, M.; Smith, A.; Smith, D. M.; Smith, P. J.; Sobolewska, M.; Sochora, V.; Soffitta, P.; Soleri, P.; Song, L.; Spencer, A.; Stamerra, A.; Stappers, B.; Staubert, R.; Steiner, A. W.; Stergioulas, N.; Stevens, A. L.; Stratta, G.; Strohmayer, T. E.; Stuchlik, Z.; Suchy, S.; Suleimanov, V.; Tamburini, F.; Tauris, T.; Tavecchio, F.; Tenzer, C.; Thielemann, F. K.; Tiengo, A.; Tolos, L.; Tombesi, F.; Tomsick, J.; Torok, G.; Torrejon, J. M.; Torres, D. F.; Torresi, E.; Tramacere, A.; Traulsen, I.; Trois, A.; Turolla, R.; Turriziani, S.; Typel, S.; Uter, P.; Uttley, P.; Vacchi, A.; Varniere, P.; Vaughan, S.; Vercellone, S.; Vietri, M.; Vincent, F. H.; Vrba, V.; Walton, D.; Wang, J.; Wang, Z.; Watanabe, S.; Wawrzaszek, R.; Webb, N.; Weinberg, N.; Wende, H.; Wheatley, P.; Wijers, R.; Wijnands, R.; Wille, M.; Wilson Hodge, C. A.; Winter, B.; Walk, S. J.; Wood, K.; Woosley, S. E.; Wu, X.; Xiao, L.; Xu, R.; Yu, W.; Yuan, F.; Yuan, W.; Yuan, Y.; Zampa, G.; Zampa, N.; Zampieri, L.; Zdunik, L.; Zdziarski, A.; Zech, A.; Zhang, B.; Zhang, C.; Zhang, S.; Zingale, M.; Zorzi, Nicola; Zwart, F.
Dynamic modeling and control strategies analysis of a novel small CSP biomass plant for cogeneration applications in building 1-gen-2015 Desideri, Adriano; Amicabile, Simone; Alberti, Fabrizio; Quoilin, Sylvain; Crema, Luigi; Lemort, Vincent
State of the Art of Performance Evaluation Methods for Concentrating Solar Collectors 1-gen-2016 Hofer, Annie; A, ; Valenzuela, Loreto; Janotte, Nicole; Burgaleta, Juan Ignacio; Arraiza, Jaime; Montecci, Marco; Sallaberry, Fabienne; Osório, Tiago; Carvalho, Maria João; Alberti, Fabrizio; Kramer, Korbinian; Heimsath, Anna; Platzer, Werner; Scholl, Stephan
Multi-channel i-vector combination for robust speaker verification in multi-room domestic environments 1-gen-2016 Brutti, Alessio; Abad, Alberto
Identifying Android Inter App Communication Vulnerabilities Using Static and Dynamic Analysis 1-gen-2016 Demissie, Biniam Fisseha; Ghio, Davide; Ceccato, Mariano; Avancini, Andrea
Voices from the War: Design as a Means of Understanding the Experience of Visiting Heritage 1-gen-2016 Petrelli, Daniela; Dulake, Nick; Marshall, Mark T.; Pisetti, Anna; Not, Elena
Study on the Effectiveness of Different Electrode Geometries for Sputtered Aluminium Nitride-based MEMS Energy Harvesters 1-gen-2016 Sordo, Guido; Iannacci, Jacopo; Schmid, U.
Wafer-level thin film micropackaging for RF MEMS applications 1-gen-2016 Persano, A.; Lucibello, A.; Marcelli, R.; Capoccia, G.; Proietti, E.; Bagolini, Alvise; Iannacci, Jacopo; Siciliano, P.; Quaranta, F.
Automated Verification and Tightening of Failure Propagation Models 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni
A compact and modular x- and gamma-ray detector with a CsI scintillator and double-readout Silicon Drift Detectors 1-gen-2016 Campana, R.; Fuschino, F.; Labanti, C.; Marisaldi, M.; Amati, L.; Fiorini, M.; Uslenghi, M.; Baldazzi, G.; Bellutti, Pierluigi; Evangelista, Y.; Elmi, I.; Feroci, M.; Ficorella, Francesco; Frontera, F.; Picciotto, Antonino; Piemonte, Claudio; Rachevski, A.; Rashevskaya, I.; Rignanese, L. P.; Vacchi, A.; Zampa, G.; Zampa, N.; Zorzi, Nicola
Characterization of a LaBr3 scintillator with multi-cell Silicon Drift Detector (SDD) readout 1-gen-2016 Fuschino, F.; Labanti, C.; Campana, R.; Gangemi, G. C.; Marisaldi, M.; Rignanese, L. P.; Baldazzi, G.; Elmi, I.; Evangelista, Y.; Feroci, M.; Zampa, G.; Zampa, N.; Rashevsky, A.; Vacchi, A.; Rashevskaya, I.; Fabiani, S.; Zorzi, Nicola; Piemonte, Claudio; Bellutti, Pierluigi; Ficorella, Francesco; Borghi, Giacomo; Burderi, L.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.241 a 3.260 di 7.926
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 ...7925
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo179
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261546
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6418
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6831
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1