Il ruolo degli indicatori ESG nel “Modello di Business Sostenibile”: un’analisi sistematica della letteratura
2020-01-01 Benvenuto, Marco; Ligorio, Lorenzo; Viola, Carmine
Taming the complexity of timeline-based planning over dense temporal domains
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Decision Problems for Lower/Upper Bound Parametric Timed Automata
2007-01-01 Bozzelli, L; Salvatore La, Torre
The Complexity of One-Agent Refinement Modal Logic
2012-01-01 Bozzelli, L; Hans P., Van Ditmarsch; Sophie, Pinchinat
The Complexity of CTL* + Linear Past
2008-01-01 Bozzelli, L
Complexity Results on Branching-Time Pushdown Model Checking
2006-01-01 Bozzelli, L
On decidability of LTL model checking for process rewrite systems
2006-01-01 Bozzelli, L.; Kretinsky, M.; Rehak, V.; Strejcek, J.
Full Characterisation of Extended CTL
2024-01-01 Benerecetti, M.; Bozzelli, L.; Mogavero, F.; Peron, A.
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems
2012-01-01 Bozzelli, L
Verification of Well-Formed Communicating Recursive State Machines
2006-01-01 Bozzelli, L; Salvatore La, Torre; Adriano, Peron
Branching-time temporal logic extended with qualitative presburger constraints
2006-01-01 Bozzelli, L.; Gascon, R.
Pushdown Module Checking
2005-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
2006-01-01 Bozzelli, L; Régis, Gascon
Results on Alternating-Time Temporal Logics with Linear Past
2018-01-01 Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
2005-01-01 Bozzelli, L
On Timed Alternating Simulation for Concurrent Timed Games
2009-01-01 Bozzelli, L; Axel, Legay; Sophie, Pinchinat
On Decidability of LTL Model Checking for Process Rewrite Systems
2006-01-01 Bozzelli, L; Mojmír, Kretínský; Vojtech, Rehák; Jan, Strejcek
Asynchronous Extensions of HyperLTL
2021-01-01 Bozzelli, L.; Peron, A.; Sanchez, C.
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Verification of Gap-Order Constraint Abstractions of Counter Systems
2012-01-01 Bozzelli, L; Sophie, Pinchinat
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
- 4 Contributo in Atti di Convegno ...3238
Data di pubblicazione
- In corso di stampa6
- 2020 - 20261348
- 2010 - 20191389
- 2000 - 2009448
- 1990 - 199946
- 1987 - 19891
Editore
- IOS Press111
- IEEE67
- Institute of Electrical and Elect...61
- Springer48
- Pensa MultiMedia41
- Springer Science and Business Med...38
- IEEE Computer Society36
- CEUR-WS28
- EuroMed Press26
- Elsevier B.V.22
Rivista
- PROCEDIA STRUCTURAL INTEGRITY35
- PROCEDIA COMPUTER SCIENCE19
- CE/PAPERS10
- ELECTRONIC PROCEEDINGS IN THEORET...10
- ANALELE UNIVERSITATII "OVIDIUS" C...8
- JOURNAL OF PHYSICS. CONFERENCE SE...7
- ENERGY PROCEDIA5
- JOURNAL OF PREVENTIVE MEDICINE AN...5
- MEMORIE GEOGRAFICHE5
- TRANSPORTATION RESEARCH PROCEDIA5
Serie
- CEUR WORKSHOP PROCEEDINGS18
- COMMUNICATIONS IN COMPUTER AND IN...17
- LECTURE NOTES IN COMPUTER SCIENCE16
- LECTURE NOTES IN CIVIL ENGINEERING9
- LECTURE NOTES IN COMPUTER SCIENCE6
- AIP CONFERENCE PROCEEDINGS5
- EDULEARN PROCEEDINGS5
- LECTURE NOTES IN COMPUTER SCIENCE5
- PROCEEDINGS OF THE ... EUROPEAN C...5
- ARTICOLO TRENTATRÉ4
Keyword
- Digital Industry and Space18
- Empirical Software Engineering18
- Artificial Intelligence16
- Cold spray14
- Software14
- Machine Learning13
- sustainability11
- Deep Learning10
- E-learning10
- machine learning10
Lingua
- eng1818
- ita803
- und80
- spa12
- fre10
- lat6
- ger3
- ara1
- grc1
- ind1
Accesso al fulltext
- no fulltext3232
- reserved6