Sfoglia per Titolo
Trace Simulation Semantics is not Finitely Based over BCCSP
2017-01-01 Aceto, L; de Frutos-Escrig, D; Ingólfsdóttir, A
Traceability visualization in metamodel change impact detection
2013-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Track reconstruction and matching between emulsion and silicon pixel detectors for the SHiP-charm experiment
2022-01-01 Ahdida, C.; Akmete, A.; Albanese, R.; Alt, J.; Alexandrov, A.; Anokhina, A.; Aoki, S.; Arduini, G.; Atkin, E.; Azorskiy, N.; Back, J. J.; Bagulya, A.; Baaltasar Dos Santos, F.; Baranov, A.; Bardou, F.; Barker, G. J.; Battistin, M.; Bauche, J.; Bay, A.; Bayliss, V.; Bencivenni, G.; Berdnikov, A. Y.; Berdnikov, Y. A.; Bertani, M.; Betancourt, C.; Bezshyiko, I.; Bezshyyko, O.; Bick, D.; Bieschke, S.; Blanco, A.; Boehm, J.; Bogomilov, M.; Boiarska, I.; Bondarenko, K.; Bonivento, W. M.; Borburgh, J.; Boyarsky, A.; Brenner, R.; Breton, D.; Brignoli, A.; B??scher, V.; Buonaura, A.; Buontempo, S.; Cadeddu, S.; Calcaterra, A.; Calviani, M.; Campanelli, M.; Casolino, M.; Charitonidis, N.; Chau, P.; Chauveau, J.; Chepurnov, A.; Chernyavskiy, M.; Choi, K. -Y.; Chumakov, A.; Ciambrone, P.; Cicero, V.; Climescu, M.; Conaboy, A.; Congedo, L.; Cornelis, K.; Cristinziani, M.; Crupano, A.; Dallavalle, G. M.; Datwyler, A.; D'Ambrosio, N.; D'Appollonio, G.; de Asmundis, R.; De Carvalho Saraiva, J.; De Lellis, G.; de Magistris, M.; De Roeck, A.; De Serio, M.; De Simone, D.; Dedenko, L.; Dergachev, P.; Di Crescenzo, A.; Di Giulio, L.; Di Marco, N.; Dib, C.; Dijkstra, H.; Dmitrenko, V.; Dougherty, L. A.; Dolmatov, A.; Domenici, D.; Donskov, S.; Drohan, V.; Dubreuil, A.; Durhan, O.; Ehlert, M.; Elikkaya, E.; Enik, T.; Etenko, A.; Fabbri, F.; Fedin, O.; Fedotovs, F.; Felici, G.; Ferrillo, M.; Ferro-Luzzi, M.; Filippov, K.; Fini, R. A.; Fischer, H.; Fonte, P.; Franco, C.; Fraser, M.; Fresa, R.; Froeschl, R.; Fukuda, T.; Galati, G.; Gall, J.; Gatignon, L.; Gavrilov, G.; Gentile, V.; Goddard, B.; Golinka-Bezshyyko, L.; Golovatiuk, A.; Golovtsov, V.; Golubkov, D.; Golutvin, A.; Gorbounov, P.; Gorbunov, D.; Gorbunov, S.; Gorkavenko, V.; Gorshenkov, M.; Grachev, V.; Grandchamp, A. L.; Graverini, E.; Grenard, J. -L.; Grenier, D.; Grichine, V.; Gruzinskii, N.; Guler, A. M.; Guz, Yu; Haefeli, G. J.; Hagner, C.; Hakobyan, H.; Harris, I. W.; van Herwijnen, E.; Hessler, C.; Hollnagel, A.; Hosseini, B.; Hushchyn, M.; Iaselli, G.; Iuliano, A.; Jacobsson, R.; Jokovi??, D.; Jonker, M.; Kadenko, I.; Kain, V.; Kaiser, B.; Kamiscioglu, C.; Karpenkov, D.; Kershaw, K.; Khabibullin, M.; Khalikov, E.; Khaustov, G.; Khoriauli, G.; Khotyantsev, A.; Kim, Y. G.; Kim, V.; Kitagawa, N.; Ko, J. -W.; Kodama, K.; Kolesnikov, A.; Kolev, D. I.; Kolosov, V.; Komatsu, M.; Kono, A.; Konovalova, N.; Kormannshaus, S.; Korol, I.; Korol'Ko, I.; Korzenev, A.; Kostyukhin, V.; Koukovini Platia, E.; Kovalenko, S.; Krasilnikova, I.; Kudenko, Y.; Kurbatov, E.; Kurbatov, P.; Kurochka, V.; Kuznetsova, E.; Lacker, H. M.; Lamont, M.; Lanfranchi, G.; Lantwin, O.; Lauria, A.; Lee, K. S.; Lee, K. Y.; Leonardo, N.; L??vy, J. -M.; Loschiavo, V. P.; Lopes, L.; Lopez Sola, E.; Lyons, F.; Lyubovitskij, V.; Maalmi, J.; Magnan, A. -M.; Maleev, V.; Malinin, A.; Manabe, Y.; Managadze, A. K.; Manfredi, M.; Marsh, S.; Marshall, A. M.; Mefodev, A.; Mermod, P.; Miano, A.; Mikado, S.; Mikhaylov, Yu.; Mikulenko, A.; Milstead, D. A.; Mineev, O.; Montanari, A.; Montesi, M. C.; Morishima, K.; Movchan, S.; Muttoni, Y.; Naganawa, N.; Nakamura, M.; Nakano, T.; Nasybulin, S.; Ninin, P.; Nishio, A.; Obinyakov, B.; Ogawa, S.; Okateva, N.; Osborne, J.; Ovchynnikov, M.; Owtscharenko, N.; Owen, P. H.; Pacholek, P.; Paoloni, A.; Park, B. D.; Pastore, A.; Patel, M.; Pereyma, D.; Perillo-Marcone, A.; Petkov, G. L.; Petridis, K.; Petrov, A.; Podgrudkov, D.; Poliakov, V.; Polukhina, N.; Prieto Prieto, J.; Prokudin, M.; Prota, A.; Quercia, A.; Rademakers, A.; Rakai, A.; Ratnikov, F.; Rawlings, T.; Redi, F.; Reghunath, A.; Ricciardi, S.; Rinaldesi, M.; Rodin, Volodymyr; Rodin, Viktor; Robbe, P.; Rodrigues Cavalcante, A. B.; Roganova, T.; Rokujo, H.; Rosa, G.; Rovelli, T.; Ruchayskiy, O.; Ruf, T.; Samoylenko, V.; Samsonov, V.; Sanchez Galan, F.; Santos Diaz, P.; Sanz Ull, A.; Saputi, A.; Sato, O.; Savchenko, E. S.; Schliwinski, J. S.; Schmidt-Parzefall, W.; Schumann, M.; Serra, N.; Sgobba, S.; Shadura, O.; Shakin, A.; Shaposhnikov, M.; Shatalov, P.; Shchedrina, T.; Shchutska, L.; Shevchenko, V.; Shibuya, H.; Shihora, L.; Shirobokov, S.; Shustov, A.; Silverstein, S. B.; Simone, S.; Simoniello, R.; Skorokhvatov, M.; Smirnov, S.; Soares, G.; Sohn, J. Y.; Sokolenko, A.; Solodko, E.; Starkov, N.; Stoel, L.; Stramaglia, M. E.; Sukhonos, D.; Suzuki, Y.; Takahashi, S.; Tastet, J. L.; Teterin, P.; Than Naing, S.; Timiryasov, I.; Tioukov, V.; Tommasini, D.; Torii, M.; Tosi, N.; Treille, D.; Tsenov, R.; Ulin, S.; Ursov, E.; Ustyuzhanin, A.; Uteshev, Z.; Uvarov, L.; Vankova-Kirilova, G.; Vannucci, F.; Venkova, P.; Venturi, V.; Vidulin, I.; Vilchinski, S.; Vincke, Heinz; Vincke, Helmut; Visone, C.; Vlasik, K.; Volkov, A.; Voronkov, R.; van Waasen, S.; Wanke, R.; Wertelaers, P.; Williams, O.; Woo, J. -K.; Wurm, M.; Xella, S.; Yilmaz, D.; Yilmazer, A. U.; Yoon, C. S.; Zaytsev, Yu.; Zelenov, A.; Zimmerman, J.
Track reconstruction in the emulsion-lead target of the OPERA experiment using the ESS microscope
2007-01-01 Arrabito, L; Bozza, C; Buontempo, S; Consiglio, L; Cozzi, M; D'Ambrosio, N; De Lellis, G; De Serio, M; Di Capua, F; Di Ferdinando, D; Di Marco, N; Ereditato, A; Esposito, Ls; Fini, Ra; Giacomelli, G; Giorgini, M; Grella, G; Ieva, M; Csathy, Jj; Juget, F; Kreslo, I; Laktineh, I; Manai, K; Mandrioli, G; Marotta, A; Migliozzi, P; Monacelli, P; Moser, U; Muciaccia, Mt; Pastore, A; Patrizii, L; Petukhov, Y; Pistillo, C; Pozzato, M; Romano, G; Rosa, G; Russo, A; Savvinov, N; Schembri, A; Lavina, Ls; Simone, S; Sioli, M; Sirignano, C; Sirri, G; Strolin, P; Tioukov, V; Waelchli, T
Tracking and managing deemed abilities
2021-01-01 Troquard, N
Trade policy shocks in the UK textile and apparel value chain: Firm perceptions of Brexit uncertainty
2021-01-01 Casadei, P.; Iammarino, S.
The Traffic Grooming Problem in Optical Networks with Respect to ADMs and OADMs: Complexity and Approximation
2021-01-01 Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Shalom, Mordechai; Zaks, Shmuel
Traffic Grooming: Combinatorial Results and Practical Resolutions.
2010-01-01 Flammini, Michele
Traiettorie di sviluppo economico in Italia: il caso dell’Umbria
2007-01-01 Compagnucci, F
Trails in Kinetic Theory. Foundational Aspects and Numerical Methods
2021-01-01 Albi, Giacomo; Merino-Aceituno, Sara; Nota, Alessia; Zannella, Mattia
Transformation of UML Behavioral Diagrams to Support Software Model Checking
2014-01-01 Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi
Transformer Coupling and Its Modelling for the Flux-Ramp Modulation of rf-SQUIDs
2019-01-01 Carniti, Paolo; Cassina, Lorenzo; Faverzani, Marco; Ferri, Elena; Giachero, Andrea; Gotti, Claudio; Maino, Matteo; Nucciotti, Angelo; Pessina, Gianluigi; Puiu, Andrei
Transient Dynamics Under Structured Perturbations: Bridging Unstructured and Structured Pseudospectra
2025-01-01 Guglielmi, Nicola; Lubich, Christian
Transient gravity perturbations from a double-couple in a homogeneous half-space
2016-01-01 Harms, J
Transient gravity perturbations induced by earthquake rupture
2015-01-01 Harms, J; Ampuero, J; Barsuglia, M; Chassande-Mottin, E; Montagner, J; Somala, Sn; Whiting, Bf
Transition from galactic to extra-galactic cosmic rays
2006-01-01 Aloisio, R
Transition from galactic to extra-galactic cosmic rays
2012-01-01 Aloisio, R; Berezinsky, V; Gazizov, A
Transition to kinetic turbulence at proton scales driven by large-amplitude Kinetic Alfv'en fluctuations
2017-01-01 Valentini, Francesco; Vasconez, C. L.; Pezzi, O; Servidio, Sergio; Malara, Francesco; Pucci, F.
Translating Orc Features into Petri Nets and the Join Calculus
2006-01-01 Bruni, Roberto; Melgratti, C; Tuosto, E
Translational semantics of a co-evolution specific language with the EMF transformation virtual machine
2012-01-01 Wagelaar, Dennis; Iovino, Ludovico; Di Ruscio, Davide; Pierantonio, Alfonso
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Trace Simulation Semantics is not Finitely Based over BCCSP | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D; Ingólfsdóttir, A | |
| Traceability visualization in metamodel change impact detection | 1-gen-2013 | Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Track reconstruction and matching between emulsion and silicon pixel detectors for the SHiP-charm experiment | 1-gen-2022 | Ahdida, C.; Akmete, A.; Albanese, R.; Alt, J.; Alexandrov, A.; Anokhina, A.; Aoki, S.; Arduini, G.; Atkin, E.; Azorskiy, N.; Back, J. J.; Bagulya, A.; Baaltasar Dos Santos, F.; Baranov, A.; Bardou, F.; Barker, G. J.; Battistin, M.; Bauche, J.; Bay, A.; Bayliss, V.; Bencivenni, G.; Berdnikov, A. Y.; Berdnikov, Y. A.; Bertani, M.; Betancourt, C.; Bezshyiko, I.; Bezshyyko, O.; Bick, D.; Bieschke, S.; Blanco, A.; Boehm, J.; Bogomilov, M.; Boiarska, I.; Bondarenko, K.; Bonivento, W. M.; Borburgh, J.; Boyarsky, A.; Brenner, R.; Breton, D.; Brignoli, A.; B??scher, V.; Buonaura, A.; Buontempo, S.; Cadeddu, S.; Calcaterra, A.; Calviani, M.; Campanelli, M.; Casolino, M.; Charitonidis, N.; Chau, P.; Chauveau, J.; Chepurnov, A.; Chernyavskiy, M.; Choi, K. -Y.; Chumakov, A.; Ciambrone, P.; Cicero, V.; Climescu, M.; Conaboy, A.; Congedo, L.; Cornelis, K.; Cristinziani, M.; Crupano, A.; Dallavalle, G. M.; Datwyler, A.; D'Ambrosio, N.; D'Appollonio, G.; de Asmundis, R.; De Carvalho Saraiva, J.; De Lellis, G.; de Magistris, M.; De Roeck, A.; De Serio, M.; De Simone, D.; Dedenko, L.; Dergachev, P.; Di Crescenzo, A.; Di Giulio, L.; Di Marco, N.; Dib, C.; Dijkstra, H.; Dmitrenko, V.; Dougherty, L. A.; Dolmatov, A.; Domenici, D.; Donskov, S.; Drohan, V.; Dubreuil, A.; Durhan, O.; Ehlert, M.; Elikkaya, E.; Enik, T.; Etenko, A.; Fabbri, F.; Fedin, O.; Fedotovs, F.; Felici, G.; Ferrillo, M.; Ferro-Luzzi, M.; Filippov, K.; Fini, R. A.; Fischer, H.; Fonte, P.; Franco, C.; Fraser, M.; Fresa, R.; Froeschl, R.; Fukuda, T.; Galati, G.; Gall, J.; Gatignon, L.; Gavrilov, G.; Gentile, V.; Goddard, B.; Golinka-Bezshyyko, L.; Golovatiuk, A.; Golovtsov, V.; Golubkov, D.; Golutvin, A.; Gorbounov, P.; Gorbunov, D.; Gorbunov, S.; Gorkavenko, V.; Gorshenkov, M.; Grachev, V.; Grandchamp, A. L.; Graverini, E.; Grenard, J. -L.; Grenier, D.; Grichine, V.; Gruzinskii, N.; Guler, A. M.; Guz, Yu; Haefeli, G. J.; Hagner, C.; Hakobyan, H.; Harris, I. W.; van Herwijnen, E.; Hessler, C.; Hollnagel, A.; Hosseini, B.; Hushchyn, M.; Iaselli, G.; Iuliano, A.; Jacobsson, R.; Jokovi??, D.; Jonker, M.; Kadenko, I.; Kain, V.; Kaiser, B.; Kamiscioglu, C.; Karpenkov, D.; Kershaw, K.; Khabibullin, M.; Khalikov, E.; Khaustov, G.; Khoriauli, G.; Khotyantsev, A.; Kim, Y. G.; Kim, V.; Kitagawa, N.; Ko, J. -W.; Kodama, K.; Kolesnikov, A.; Kolev, D. I.; Kolosov, V.; Komatsu, M.; Kono, A.; Konovalova, N.; Kormannshaus, S.; Korol, I.; Korol'Ko, I.; Korzenev, A.; Kostyukhin, V.; Koukovini Platia, E.; Kovalenko, S.; Krasilnikova, I.; Kudenko, Y.; Kurbatov, E.; Kurbatov, P.; Kurochka, V.; Kuznetsova, E.; Lacker, H. M.; Lamont, M.; Lanfranchi, G.; Lantwin, O.; Lauria, A.; Lee, K. S.; Lee, K. Y.; Leonardo, N.; L??vy, J. -M.; Loschiavo, V. P.; Lopes, L.; Lopez Sola, E.; Lyons, F.; Lyubovitskij, V.; Maalmi, J.; Magnan, A. -M.; Maleev, V.; Malinin, A.; Manabe, Y.; Managadze, A. K.; Manfredi, M.; Marsh, S.; Marshall, A. M.; Mefodev, A.; Mermod, P.; Miano, A.; Mikado, S.; Mikhaylov, Yu.; Mikulenko, A.; Milstead, D. A.; Mineev, O.; Montanari, A.; Montesi, M. C.; Morishima, K.; Movchan, S.; Muttoni, Y.; Naganawa, N.; Nakamura, M.; Nakano, T.; Nasybulin, S.; Ninin, P.; Nishio, A.; Obinyakov, B.; Ogawa, S.; Okateva, N.; Osborne, J.; Ovchynnikov, M.; Owtscharenko, N.; Owen, P. H.; Pacholek, P.; Paoloni, A.; Park, B. D.; Pastore, A.; Patel, M.; Pereyma, D.; Perillo-Marcone, A.; Petkov, G. L.; Petridis, K.; Petrov, A.; Podgrudkov, D.; Poliakov, V.; Polukhina, N.; Prieto Prieto, J.; Prokudin, M.; Prota, A.; Quercia, A.; Rademakers, A.; Rakai, A.; Ratnikov, F.; Rawlings, T.; Redi, F.; Reghunath, A.; Ricciardi, S.; Rinaldesi, M.; Rodin, Volodymyr; Rodin, Viktor; Robbe, P.; Rodrigues Cavalcante, A. B.; Roganova, T.; Rokujo, H.; Rosa, G.; Rovelli, T.; Ruchayskiy, O.; Ruf, T.; Samoylenko, V.; Samsonov, V.; Sanchez Galan, F.; Santos Diaz, P.; Sanz Ull, A.; Saputi, A.; Sato, O.; Savchenko, E. S.; Schliwinski, J. S.; Schmidt-Parzefall, W.; Schumann, M.; Serra, N.; Sgobba, S.; Shadura, O.; Shakin, A.; Shaposhnikov, M.; Shatalov, P.; Shchedrina, T.; Shchutska, L.; Shevchenko, V.; Shibuya, H.; Shihora, L.; Shirobokov, S.; Shustov, A.; Silverstein, S. B.; Simone, S.; Simoniello, R.; Skorokhvatov, M.; Smirnov, S.; Soares, G.; Sohn, J. Y.; Sokolenko, A.; Solodko, E.; Starkov, N.; Stoel, L.; Stramaglia, M. E.; Sukhonos, D.; Suzuki, Y.; Takahashi, S.; Tastet, J. L.; Teterin, P.; Than Naing, S.; Timiryasov, I.; Tioukov, V.; Tommasini, D.; Torii, M.; Tosi, N.; Treille, D.; Tsenov, R.; Ulin, S.; Ursov, E.; Ustyuzhanin, A.; Uteshev, Z.; Uvarov, L.; Vankova-Kirilova, G.; Vannucci, F.; Venkova, P.; Venturi, V.; Vidulin, I.; Vilchinski, S.; Vincke, Heinz; Vincke, Helmut; Visone, C.; Vlasik, K.; Volkov, A.; Voronkov, R.; van Waasen, S.; Wanke, R.; Wertelaers, P.; Williams, O.; Woo, J. -K.; Wurm, M.; Xella, S.; Yilmaz, D.; Yilmazer, A. U.; Yoon, C. S.; Zaytsev, Yu.; Zelenov, A.; Zimmerman, J. | |
| Track reconstruction in the emulsion-lead target of the OPERA experiment using the ESS microscope | 1-gen-2007 | Arrabito, L; Bozza, C; Buontempo, S; Consiglio, L; Cozzi, M; D'Ambrosio, N; De Lellis, G; De Serio, M; Di Capua, F; Di Ferdinando, D; Di Marco, N; Ereditato, A; Esposito, Ls; Fini, Ra; Giacomelli, G; Giorgini, M; Grella, G; Ieva, M; Csathy, Jj; Juget, F; Kreslo, I; Laktineh, I; Manai, K; Mandrioli, G; Marotta, A; Migliozzi, P; Monacelli, P; Moser, U; Muciaccia, Mt; Pastore, A; Patrizii, L; Petukhov, Y; Pistillo, C; Pozzato, M; Romano, G; Rosa, G; Russo, A; Savvinov, N; Schembri, A; Lavina, Ls; Simone, S; Sioli, M; Sirignano, C; Sirri, G; Strolin, P; Tioukov, V; Waelchli, T | |
| Tracking and managing deemed abilities | 1-gen-2021 | Troquard, N | |
| Trade policy shocks in the UK textile and apparel value chain: Firm perceptions of Brexit uncertainty | 1-gen-2021 | Casadei, P.; Iammarino, S. | |
| The Traffic Grooming Problem in Optical Networks with Respect to ADMs and OADMs: Complexity and Approximation | 1-gen-2021 | Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Shalom, Mordechai; Zaks, Shmuel | |
| Traffic Grooming: Combinatorial Results and Practical Resolutions. | 1-gen-2010 | Flammini, Michele | |
| Traiettorie di sviluppo economico in Italia: il caso dell’Umbria | 1-gen-2007 | Compagnucci, F | |
| Trails in Kinetic Theory. Foundational Aspects and Numerical Methods | 1-gen-2021 | Albi, Giacomo; Merino-Aceituno, Sara; Nota, Alessia; Zannella, Mattia | |
| Transformation of UML Behavioral Diagrams to Support Software Model Checking | 1-gen-2014 | Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi | |
| Transformer Coupling and Its Modelling for the Flux-Ramp Modulation of rf-SQUIDs | 1-gen-2019 | Carniti, Paolo; Cassina, Lorenzo; Faverzani, Marco; Ferri, Elena; Giachero, Andrea; Gotti, Claudio; Maino, Matteo; Nucciotti, Angelo; Pessina, Gianluigi; Puiu, Andrei | |
| Transient Dynamics Under Structured Perturbations: Bridging Unstructured and Structured Pseudospectra | 1-gen-2025 | Guglielmi, Nicola; Lubich, Christian | |
| Transient gravity perturbations from a double-couple in a homogeneous half-space | 1-gen-2016 | Harms, J | |
| Transient gravity perturbations induced by earthquake rupture | 1-gen-2015 | Harms, J; Ampuero, J; Barsuglia, M; Chassande-Mottin, E; Montagner, J; Somala, Sn; Whiting, Bf | |
| Transition from galactic to extra-galactic cosmic rays | 1-gen-2006 | Aloisio, R | |
| Transition from galactic to extra-galactic cosmic rays | 1-gen-2012 | Aloisio, R; Berezinsky, V; Gazizov, A | |
| Transition to kinetic turbulence at proton scales driven by large-amplitude Kinetic Alfv'en fluctuations | 1-gen-2017 | Valentini, Francesco; Vasconez, C. L.; Pezzi, O; Servidio, Sergio; Malara, Francesco; Pucci, F. | |
| Translating Orc Features into Petri Nets and the Join Calculus | 1-gen-2006 | Bruni, Roberto; Melgratti, C; Tuosto, E | |
| Translational semantics of a co-evolution specific language with the EMF transformation virtual machine | 1-gen-2012 | Wagelaar, Dennis; Iovino, Ludovico; Di Ruscio, Davide; Pierantonio, Alfonso |
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