1.1 Articolo in rivista

1.1 Articolo in rivista: [12526] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 12.526

Complexity issues for timeline-based planning over dense time under future and minimal semantics

2022-01-01 Bozzelli, L.; Montanari, A.; Peron, A.

SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION

2022-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.

Verification of well-formed communicating recursive state machines

2008-01-01 Bozzelli, L; Salvatore La, Torre; Adriano, Peron

Alternating-time temporal logics with linear past

2020-01-01 Bozzelli, L.; Murano, A.; Sorrentino, L.

Interval Temporal Logic for Visibly Pushdown Systems

2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.

Model checking interval temporal logics with regular expressions

2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.

PSPACE-completeness of the temporal logic of sub-intervals and suffixes

2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.

Pushdown Module Checking

2010-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano

Protezione degli Oceani e cambiamenti climatici: verso una ridefinizione degli obblighi internazionali degli Stati per la tutela dell’ambiente marino

2026-01-01 Corleto, Michele

Towards the Legal Recognition of the Ocean – Climate Nexus: Systemic Integration and the Redefinition of States’ Duties of Care in the ITLOS Advisory Opinion

2026-01-01 Corleto, Michele

Artificial intelligence and feedback in university education: effectiveness and student perceptions

2026-01-01 Grion, Valentina; Doria, Beatrice; Agostini, Daniele; Slaviero, Giorgia

The role of foreign markets for Italian State-owned enterprises. Industrial plant construction in developing countries (1950s-1970s)

2024-01-01 Romano, Maurizio; Berbenni, Enrico

Additive Manufacturing of GNP‐Enriched Copper Feedstock via Bound Metal Deposition

2026-01-01 Mariani, Matteo; Tata, Maria Elisa; Costanza, Girolamo; Nanni, Francesca; Pizzi, Elisa; Bragaglia, Mario

Institutional policy responses to generative AI in European higher education: a scoping review of published research

2026-01-01 Scierri, Irene D. M.; Picasso, Federica; Cataldo, Maria Clara Di; Dipace, Anna

Teacher feedback, rubrics, and annotated exemplars: examining the effects on Italian psychology university students’ performance on writing assignments

2026-01-01 Tomazin, Ligia; Bentenuto, Arianna; Perzolli, Silvia; Venuti, Paola; Serbati, Anna; Picasso, Federica; Lipnevich, Anastasiya A.

Integrated analysis for a resilient urban planning using ensemble modeling and machine learning algorithms

2026-01-01 Bausilio, Giuseppe; Di Martire, Diego; Allocca, Vincenzo; Coda, Silvio; De Vita, Pantaleone; Guerriero, Luigi; Calcaterra, Domenico

Groundwater Changes in the Highly Stressed, Urbanized and Active Volcanic System of the Somma-Vesuvius (Italy)

2026-01-01 Allocca, Pasquale; Coda, Silvio; De Vita, Pantaleone; Cusano, Delia; Castello, Nicola; Lepore, Daniele; Petrone, Paola; Saviano, Sara; Caliro, Stefano; Avino, Rosario; Cuoco, Emilio; Santi, Alessandro; Allocca, Vincenzo

Gut Microbial Metabotypes Shape Polyphenol Bioactivity: Toward Precision Nutrition Strategies for Human Health

2026-01-01 Perrone, Pasquale; D'Angelo, Stefania

Consumers’ Attitudes and Preferences Towards Ingredients List, Nutrition Information and Health Warning Labelling on Alcohol Products: A Scoping Review

2026-01-01 Crevar, Milana; Esterman, Adrian; Corsi, Armando Maria; Waye, Vicki; Ireland, Colin

Tiny brands, big challenges: The limits of loyalty and the role of penetration in driving growth

2026-01-01 Barker-Trowse, Alicia; Dunn, Steven; Graham, Charles; Sharp, Byron; Corsi, Armando Maria

Titolo	Data di pubblicazione	Autore(i)
Complexity issues for timeline-based planning over dense time under future and minimal semantics	1-gen-2022	Bozzelli, L.; Montanari, A.; Peron, A.
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION	1-gen-2022	Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Verification of well-formed communicating recursive state machines	1-gen-2008	Bozzelli, L; Salvatore La, Torre; Adriano, Peron
Alternating-time temporal logics with linear past	1-gen-2020	Bozzelli, L.; Murano, A.; Sorrentino, L.
Interval Temporal Logic for Visibly Pushdown Systems	1-gen-2023	Bozzelli, L.; Montanari, A.; Peron, A.
Model checking interval temporal logics with regular expressions	1-gen-2020	Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
PSPACE-completeness of the temporal logic of sub-intervals and suffixes	1-gen-2023	Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Pushdown Module Checking	1-gen-2010	Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Protezione degli Oceani e cambiamenti climatici: verso una ridefinizione degli obblighi internazionali degli Stati per la tutela dell’ambiente marino	1-gen-2026	Corleto, Michele
Towards the Legal Recognition of the Ocean – Climate Nexus: Systemic Integration and the Redefinition of States’ Duties of Care in the ITLOS Advisory Opinion	1-gen-2026	Corleto, Michele
Artificial intelligence and feedback in university education: effectiveness and student perceptions	1-gen-2026	Grion, Valentina; Doria, Beatrice; Agostini, Daniele; Slaviero, Giorgia
The role of foreign markets for Italian State-owned enterprises. Industrial plant construction in developing countries (1950s-1970s)	1-gen-2024	Romano, Maurizio; Berbenni, Enrico
Additive Manufacturing of GNP‐Enriched Copper Feedstock via Bound Metal Deposition	1-gen-2026	Mariani, Matteo; Tata, Maria Elisa; Costanza, Girolamo; Nanni, Francesca; Pizzi, Elisa; Bragaglia, Mario
Institutional policy responses to generative AI in European higher education: a scoping review of published research	1-gen-2026	Scierri, Irene D. M.; Picasso, Federica; Cataldo, Maria Clara Di; Dipace, Anna
Teacher feedback, rubrics, and annotated exemplars: examining the effects on Italian psychology university students’ performance on writing assignments	1-gen-2026	Tomazin, Ligia; Bentenuto, Arianna; Perzolli, Silvia; Venuti, Paola; Serbati, Anna; Picasso, Federica; Lipnevich, Anastasiya A.
Integrated analysis for a resilient urban planning using ensemble modeling and machine learning algorithms	1-gen-2026	Bausilio, Giuseppe; Di Martire, Diego; Allocca, Vincenzo; Coda, Silvio; De Vita, Pantaleone; Guerriero, Luigi; Calcaterra, Domenico
Groundwater Changes in the Highly Stressed, Urbanized and Active Volcanic System of the Somma-Vesuvius (Italy)	1-gen-2026	Allocca, Pasquale; Coda, Silvio; De Vita, Pantaleone; Cusano, Delia; Castello, Nicola; Lepore, Daniele; Petrone, Paola; Saviano, Sara; Caliro, Stefano; Avino, Rosario; Cuoco, Emilio; Santi, Alessandro; Allocca, Vincenzo
Gut Microbial Metabotypes Shape Polyphenol Bioactivity: Toward Precision Nutrition Strategies for Human Health	1-gen-2026	Perrone, Pasquale; D'Angelo, Stefania
Consumers’ Attitudes and Preferences Towards Ingredients List, Nutrition Information and Health Warning Labelling on Alcohol Products: A Scoping Review	1-gen-2026	Crevar, Milana; Esterman, Adrian; Corsi, Armando Maria; Waye, Vicki; Ireland, Colin
Tiny brands, big challenges: The limits of loyalty and the role of penetration in driving growth	1-gen-2026	Barker-Trowse, Alicia; Dunn, Steven; Graham, Charles; Sharp, Byron; Corsi, Armando Maria

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 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

Accesso al fulltext

no fulltext12479
reserved23
open21