Catalogue of System and Software Properties
2016-01-01 Victor, Bos; Harold, Bruintjes; Tonetta, Stefano
SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities
2016-01-01 Ceccato, Mariano; Nguyen, Cu D.; Appelt, Dennis; Briand, Lionel C.
TRIDENT: In-field Connectivity Assessment for Wireless Sensor Networks
2014-01-01 Timofei, Istomin; Ramona, Marfeivici; Murphy, Amy Lynn; Picco, Gian Pietro
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
2016-01-01 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Verilog2SMV: A Tool for Word-level Verification
2016-01-01 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A Lazy Approach to Temporal Epistemic Logic Model Checking
2016-01-01 Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Á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
2016-01-01 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
2015-01-01 Desideri, Adriano; Amicabile, Simone; Alberti, Fabrizio; Quoilin, Sylvain; Crema, Luigi; Lemort, Vincent
State of the Art of Performance Evaluation Methods for Concentrating Solar Collectors
2016-01-01 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
2016-01-01 Brutti, Alessio; Abad, Alberto
Identifying Android Inter App Communication Vulnerabilities Using Static and Dynamic Analysis
2016-01-01 Demissie, Biniam Fisseha; Ghio, Davide; Ceccato, Mariano; Avancini, Andrea
Voices from the War: Design as a Means of Understanding the Experience of Visiting Heritage
2016-01-01 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
2016-01-01 Sordo, Guido; Iannacci, Jacopo; Schmid, U.
Wafer-level thin film micropackaging for RF MEMS applications
2016-01-01 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
2016-01-01 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
2016-01-01 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
2016-01-01 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.
| 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. |
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
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