IRIS

MONTANARI, ANGELO

MONTANARI, ANGELO  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.042 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Evaluation of temporal datasets via interval temporal logic model checking 4.1 Articoli in Atti di convegno 2017 Monica, Dario Della; De Frutos-escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1.1 Articolo in rivista 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 1.1 Articolo in rivista 2018 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Which fragments of the interval temporal logic HS are tractable in model checking? 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison 1.1 Articolo in rivista 2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling 4.1 Articoli in Atti di convegno 2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 1.1 Articolo in rivista 2020 Ahdida, C.; Albanese, R.; Alexandrov, A.; Anokhina, A.; Aoki, S.; Arduini, G.; Atkin, E.; Azorskiy, N.; Back, J. J.; Bagulya, A.; Santos, F. Baaltasar Dos; Baranov, A.; Bardou, F.; Barker, G. J.; Battistin, M.; Bauche, J.; Bay, A.; Bayliss, V.; Bencivenni, G.; Berdnikov, A. Y.; Berdnikov, Y. A.; Berezkina, I.; Bertani, M.; Betancourt, C.; Bezshyiko, I.; Bezshyyko, O.; Bick, D.; Bieschke, S.; Blanco, Antonio; Boehm, J.; Bogomilov, M.; Bondarenko, K.; Bonivento, W. M.; Borburgh, J.; Boyarsky, A.; Brenner, R.; Breton, D.; Brundler, R.; Bruschi, M.; 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.; Congedo, Luca; Cornelis, K.; Cristinziani, M.; Crupano, A.; Dallavalle, G. M.; Datwyler, A.; D'Ambrosio, N.; D'Appollonio, G.; Saraiva, J. De Carvalho; Lellis, G. De; de Magistris, M.; Roeck, A. De; Serio, M. De; DE SIMONE, David; Dedenko, L.; Dergachev, P.; Crescenzo, A. Di; Dib, C.; Dijkstra, H.; Dipinto, P.; Dmitrenko, V.; Dmitrievskiy, S.; Dougherty, L. A.; Dolmatov, A.; Domenici, D.; Donskov, S.; Drohan, V.; Dubreuil, A.; Ehlert, M.; Enik, T.; Etenko, A.; Fabbri, Franco; Fabbri, Loretta; Fabich, A.; Fedin, O.; Fedotovs, F.; Felici, G.; Ferro-Luzzi, M.; Filippov, K.; Fini, R. A.; Fonte, P.; Franco, C.; Fraser, M.; Fresa, R.; Froeschl, R.; Fukuda, T.; Galati, G.; Gall, J.; Gatignon, L.; Gavrilov, G.; Gentile, V.; Gerlach, S.; Goddard, B.; Golinka-Bezshyyko, L.; Golovatiuk, A.; Golubkov, D.; Golutvin, A.; Gorbounov, P.; Gorbunov, D.; Gorbunov, S.; Gorkavenko, V.; Gornushkin, Y.; Gorshenkov, M.; Grachev, V.; Grandchamp, A. L.; Granich, G.; 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.; Herwijnen, E. van; Hessler, CHRISTIANE JOHANNA; Hollnagel, A.; Hosseini, B.; Hushchyn, M.; Iaselli, G.; Iuliano, A.; Ivantchenko, V.; Jacobsson, R.; Joković, D.; Jonker, M.; Kadenko, I.; Kain, V.; Kaiser, B.; Kamiscioglu, C.; Kershaw, K.; Khabibullin, M.; Khalikov, E.; Khaustov, G.; Khoriauli, G.; Khotyantsev, A.; Kim, S. H.; Kim, Y. G.; Kim, V.; Kitagawa, N.; Ko, J. -W.; Kodama, K.; Kolesnikov, A.; Kolev, D. I.; Kolosov, V.; Komatsu, M.; Kondrateva, N.; Kono, A.; Konovalova, N.; Kormannshaus, S.; Korol, I.; Korol'Ko, I.; Korzenev, A.; Kostyukhin, V.; Platia, E. Koukovini; 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.; Lévy, J. -M.; Loschiavo, V. P.; Lopes, L.; Sola, E. Lopez; Lyubovitskij, V.; Maalmi, J.; Magnan, A.; 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.; Milstead, D. A.; Mineev, O.; Minutolo, V.; Montanari, A.; Montesi, M. C.; Morishima, K.; Movchan, S.; Muttoni, Y.; Naganawa, N.; Nakamura, M.; Nakano, T.; Nasybulin, S.; Ninin, P.; Nishio, A.; Novikov, A.; Obinyakov, B.; Ogawa, S.; Okateva, N.; Opitz, B.; Osborne, J.; Ovchynnikov, M.; Owtscharenko, N.; Owen, P. H.; Pacholek, P.; Paoloni, A.; Park, B. D.; Park, S. K.; Passeggio, G.; Pastore, A.; Patel, M.; Pereyma, D.; Perillo-Marcone, A.; Petkov, G. L.; Petridis, K.; Petrov, A.; Podgrudkov, D.; Poliakov, V.; Polukhina, N.; Prieto, J. Prieto; Prokudin, M.; Prota, A.; Quercia, A.; Rademakers, A.; Rakai, A.; Ratnikov, F.; Rawlings, T.; Redi, Fabio; Ricciardi, Silvestro; Rinaldesi, M.; Rodin, Volodymyr; Rodin, Viktor; Robbe, P.; Cavalcante, A. B. Rodrigues; Roganova, T.; Rokujo, H.; Rosa, G.; Rovelli, T.; Ruchayskiy, O.; Ruf, T.; Samoylenko, V.; Samsonov, V.; Galan, F. Sanchez; Diaz, P. Santos; Ull, A. Sanz; Saputi, A.; Sato, O.; Savchenko, E. S.; Schliwinski, J. S.; Schmidt-Parzefall, W.; 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.; Sohn, J. Y.; Sokolenko, A.; Solodko, E.; Starkov, N.; Stoel, L.; Storaci, B.; Stramaglia, M. E.; Sukhonos, D.; Suzuki, Y.; Takahashi, S.; Tastet, J. L.; Teterin, P.; Naing, S. Than; Timiryasov, I.; Tioukov, V.; Tommasini, D.; Torii, M.; Tosi, N.; Treille, D.; Tsenov, R.; Ulin, S.; Ustyuzhanin, A.; Uteshev, Z.; Vankova-Kirilova, G.; Vannucci, F.; Venkova, P.; Venturi, V.; Vilchinski, S.; Villa, M.; Vincke, Heinz; Vincke, Helmut; Visone, C.; Vlasik, K.; Volkov, A.; Voronkov, R.; Waasen, S. van; Wanke, R.; Wertelaers, P.; Woo, J. -K.; Wurm, M.; Xella, S.; Yilmaz, D.; Yilmazer, A. U.; Yoon, C. S.; Zarubin, P.; Zarubina, I.; Zaytsev, Yu.
Timeline-based planning over dense temporal domains 1.1 Articolo in rivista 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Model checking interval temporal logics with regular expressions 1.1 Articolo in rivista 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Undecidability of future timeline-based planning over dense temporal domains 4.1 Articoli in Atti di convegno 2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
On a temporal logic of prefixes and infixes 4.1 Articoli in Atti di convegno 2020 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1.1 Articolo in rivista 2021 Bozzelli, L.; Montanari, A.; Peron, A.
Ultimately-periodic interval model checking for temporal dataset evaluation 4.1 Articoli in Atti di convegno 2019 Della Monica, D.; Montanari, A.; Murano, A.; Sciavicco, G.
Interval temporal logic for visibly pushdown systems 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Taming the complexity of timeline-based planning over dense temporal domains 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Model Checking Timeline-based Systems over Dense Temporal Domains? 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Complexity issues for timeline-based planning over dense time under future and minimal semantics 1.1 Articolo in rivista 2022 Bozzelli, L.; Montanari, A.; Peron, A.