Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy
2024 Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello
ATL for Dynamic Gaming Environments
2024 Aruta, Marco; Murano, Aniello; Romano, Salvatore
Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models
2024 Catta, D.; Leneutre, J.; Malvone, V.; Murano, A.
Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces
2024 Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello
First-Order Coalition Logic
2025 Catta, Davide; Galimullin, Rustam; Murano, Aniello
Repairing General Game Descriptions
2025 He, Yifan; Mittelmann, Munyque; Murano, Aniello; Saffidine, Abdallah; Thielscher, Michael
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
2026 Galimullin, Rustam; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello
Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces
2024 Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello
How Much Do Knowledge About and Attitude Toward Mobile Phone Use Affect Behavior While Driving? An Empirical Study Using a Structural Equation Model
2022 Cavicchia, Carlo; Sarnacchiaro, Pasquale; Montuori, Paolo
Dall’Assiria a Petra e Palmira: antichità orientali a Napoli
2025 Amodio, Maria
«Leer una casa»: funciones del espacio doméstico y modelos de intimidad en algunas novelas cortas cervantinas
2026 Gherardi, Flavia
Per l’edizione dell’Enceclopedia di Giovan Battista Manso: uno studio preparatorio
2026 De Vita, Giovanni
Crisi e orizzonti mitico-rituali in Ernesto De Martino. Dal Mondo magico alla Fine del mondo
2025 Cappiello, Chiara
Per una patografia del Novecento. Hans Sedlmayr: l’arte come sintomo di un’epoca
2026 Cappiello, Chiara
Patria pugliese, cultura napoletana
2026 Venezia, Antonella
Religious Tourism and Protection of Biodiversity
2026 Balsamo, Fabio
«Somos exilio en la patria del río». La diáspora mapuche en la escritura de Daniela Catrileo
2025 Carfora, Daniela
Informed Consent Challenges in Frail Surgical Patients
2024 Feola, A.; Porzio, A.; De Simone, M.; Pinto, O.; Corbi, G.; Campobasso, C. P.
La Teacher Self-Efficacy e i neo-abilitati del percorso universitario di formazione iniziale: un’indagine esplorativa
2026 Capobianco, Rosaria
Rossija i Evropa di Nikolaj Danilevskij: «the most important nineteenth century book» nella Russia post-sovietica
2025 Cigliano, G.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello | |
| ATL for Dynamic Gaming Environments | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Aruta, Marco; Murano, Aniello; Romano, Salvatore | |
| Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Catta, D.; Leneutre, J.; Malvone, V.; Murano, A. | |
| Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello | |
| First-Order Coalition Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Catta, Davide; Galimullin, Rustam; Murano, Aniello | |
| Repairing General Game Descriptions | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | He, Yifan; Mittelmann, Munyque; Murano, Aniello; Saffidine, Abdallah; Thielscher, Michael | |
| Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Galimullin, Rustam; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello | |
| Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello | |
| How Much Do Knowledge About and Attitude Toward Mobile Phone Use Affect Behavior While Driving? An Empirical Study Using a Structural Equation Model | 2.1 Contributo in volume (Capitolo o Saggio) | 2022 | Cavicchia, Carlo; Sarnacchiaro, Pasquale; Montuori, Paolo | |
| Dall’Assiria a Petra e Palmira: antichità orientali a Napoli | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Amodio, Maria | |
| «Leer una casa»: funciones del espacio doméstico y modelos de intimidad en algunas novelas cortas cervantinas | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Gherardi, Flavia | |
| Per l’edizione dell’Enceclopedia di Giovan Battista Manso: uno studio preparatorio | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | De Vita, Giovanni | |
| Crisi e orizzonti mitico-rituali in Ernesto De Martino. Dal Mondo magico alla Fine del mondo | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Cappiello, Chiara | |
| Per una patografia del Novecento. Hans Sedlmayr: l’arte come sintomo di un’epoca | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Cappiello, Chiara | |
| Patria pugliese, cultura napoletana | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Venezia, Antonella | |
| Religious Tourism and Protection of Biodiversity | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Balsamo, Fabio | |
| «Somos exilio en la patria del río». La diáspora mapuche en la escritura de Daniela Catrileo | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Carfora, Daniela | |
| Informed Consent Challenges in Frail Surgical Patients | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Feola, A.; Porzio, A.; De Simone, M.; Pinto, O.; Corbi, G.; Campobasso, C. P. | |
| La Teacher Self-Efficacy e i neo-abilitati del percorso universitario di formazione iniziale: un’indagine esplorativa | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Capobianco, Rosaria | |
| Rossija i Evropa di Nikolaj Danilevskij: «the most important nineteenth century book» nella Russia post-sovietica | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Cigliano, G. |
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
- 2 Contributo in Volume45807
- 1 Contributo su Rivista2
- 3 Libro1
- 4 Contributo in Atti di Convegno ...1
- 5 Altro1
Data di pubblicazione
- In corso di stampa51
- 2020 - 202710387
- 2010 - 201917196
- 2000 - 200913763
- 1990 - 19993420
- 1980 - 1989874
- 1970 - 1979103
- 1960 - 196917
Editore
- Springer853
- Edizioni Scientifiche Italiane761
- Franco Angeli760
- Giappichelli678
- Editoriale Scientifica654
- FrancoAngeli504
- Clean394
- CLEAN333
- Aracne316
- Il Mulino310
Rivista
- AIP CONFERENCE PROCEEDINGS1
- CEUR WORKSHOP PROCEEDINGS1
- GLOBAL CRIME1
- I-LAND JOURNAL1
- Methods in Molecular Biology1
- ONCOLOGY REPORTS1
- RECENT ADVANCES IN COMPUTER ENGIN...1
- RENDICONTI ONLINE DELLA SOCIETÀ G...1
- STRUCTURE AND BONDING1
- STUDIES IN PUBLIC AND NON-PROFIT ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE122
- ABITARE IL FUTURO72
- STUDIES IN CLASSIFICATION, DATA A...66
- SMART INNOVATION, SYSTEMS AND TEC...29
- LECTURE NOTES IN ARTIFICIAL INTEL...28
- LECTURE NOTES IN ELECTRICAL ENGIN...27
- STORIA E ICONOGRAFIA DELL’ARCHITE...27
- LECTURE NOTES IN CIVIL ENGINEERING26
- LO STILE DELLA SIRENA26
- LECTURE NOTES IN NETWORKS AND SYS...25
Keyword
- Napoli538
- architettura256
- Architettura204
- paesaggio169
- Campania148
- progetto146
- Italia133
- città108
- urbanistica107
- Mezzogiorno105
Lingua
- ita21863
- eng10226
- fre549
- spa485
- ger389
- lat100
- por54
- und44
- grc24
- mul15
Accesso al fulltext
- no fulltext34450
- restricted4425
- reserved3533
- open3356
- partially open27
- mixed12
- embargoed7
- internalNetwork1