IRIS

1.1 Articolo in rivista: [12526] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 41 a 60 di 12.526
Titolo Data di pubblicazione Autore(i) File
Verification of well-formed Communicating Recursive State Machines 1-gen-2008 Bozzelli, L.; La Torre, S.; Adriano, Peron
Context-free timed formalisms: Robust automata and linear temporal logics 1-gen-2022 Bozzelli, L.; Murano, A.; Peron, A.
Hierarchical cost-parity games 1-gen-2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Pushdown module checking 1-gen-2010 Bozzelli, L; Aniello, Murano; Adriano, Peron
Model checking for process rewrite systems and a class of action-based regular properties 1-gen-2006 Bozzelli, L.
Hardness of preorder checking for basic formalisms 1-gen-2011 Bozzelli, L; Axel, Legay; Sophie, Pinchinat
Complexity and succinctness issues for linear-time hybrid logics 1-gen-2010 Bozzelli, L; Ruggero, Lanotte
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1-gen-2021 Bozzelli, L.; Montanari, A.; Peron, A.
Model checking for process rewrite systems and a class of action-based regular properties 1-gen-2006 Bozzelli, L
Visibly Linear Temporal Logic 1-gen-2018 Bozzelli, L.; Sanchez, C.
Complexity results on branching-time pushdown model checking 1-gen-2007 Bozzelli, L
Timeline-based planning over dense temporal domains 1-gen-2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
On timed alternating simulation for concurrent timed games 1-gen-2012 Bozzelli, L; Axel, Legay; Sophie, Pinchinat
Decision problems for lower/upper bound parametric timed automata 1-gen-2009 Bozzelli, L; Salvatore La, Torre
On the Complexity of Model Checking Knowledge and Time 1-gen-2024 Bozzelli, L.; Maubert, B.; Murano, A.
Which fragments of the interval temporal logic HS are tractable in model checking? 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On decidability of LTL model checking for process rewrite systems 1-gen-2009 Bozzelli, L; Mojmír, Kretínský; Vojtech, Rehák; Jan, Strejcek
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 1-gen-2024 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison 1-gen-2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 41 a 60 di 12.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
  • 1 Contributo su Rivista12526
Autore
  • Mirone, Vincenzo434
  • Castagna, Carlo311
  • Raiola, Gaetano279
  • Barrea, Luigi276
  • Sessa, Francesco234
  • Polito, Rita231
  • Del Giudice, Manlio175
  • Limone, Pierpaolo153
  • Altavilla, Gaetano148
  • Piscitelli, Prisco144
Data di pubblicazione
  • In corso di stampa34
  • 2020 - 20267101
  • 2010 - 20194271
  • 2000 - 2009971
  • 1990 - 1999141
  • 1985 - 19895
Editore
  • Anicia1
  • CISA Publisher1
  • Edizioni Universitarie Romane1
  • GIAPETO1
  • Greco&Greco1
  • PACINI EDITORE SPA1
  • PRINTING HOUSE UNIVERSITY OF PITESTI1
  • SAKARYA university1
  • Sakarya University1
  • Zanichelli1
Rivista
  • GIORNALE ITALIANO DI EDUCAZIONE A...283
  • INTERNATIONAL JOURNAL OF ENVIRONM...142
  • FRONTIERS IN PSYCHOLOGY137
  • JOURNAL OF HUMAN SPORT AND EXERCISE135
  • NUOVA SECONDARIA107
  • SUSTAINABILITY106
  • JOURNAL OF STRENGTH AND CONDITION...87
  • NUTRIENTS81
  • Q-TIMES WEBMAGAZINE79
  • FORMAZIONE & INSEGNAMENTO72
Serie
  • ARTICOLO TRENTATRÉ1
Keyword
  • Humans215
  • COVID-19128
  • Male114
  • Obesity113
  • Italy95
  • Female86
  • Adult81
  • Middle Aged59
  • Diet58
  • obesity57
Lingua
  • eng6769
  • ita3325
  • spa83
  • fre50
  • lat16
  • ger13
  • por7
  • ara5
  • dan4
  • gre3
Accesso al fulltext
  • no fulltext12479
  • reserved23
  • open21