CORPORATE TAX BEHAVIORS AND FIRM VALUE: THE MODERATING ROLE OF AUDIT CHARACTERISTICS
2021-01-01 Iazzi, Antonio; Maizza, Amedeo; Ligorio, Lorenzo; Fait, Monica
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
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 ...3379
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261471
- 2010 - 20191397
- 2000 - 2009451
- 1990 - 199946
- 1987 - 19891
Editore
- IOS Press111
- Institute of Electrical and Elect...80
- IEEE71
- Springer Science and Business Med...52
- Springer51
- Pensa MultiMedia44
- IEEE Computer Society36
- CEUR-WS29
- EuroMed Press26
- Elsevier B.V.24
Rivista
- PROCEDIA STRUCTURAL INTEGRITY37
- PROCEDIA COMPUTER SCIENCE20
- 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
- SPORT SCIENCES FOR HEALTH5
Serie
- COMMUNICATIONS IN COMPUTER AND IN...24
- CEUR WORKSHOP PROCEEDINGS18
- LECTURE NOTES IN COMPUTER SCIENCE18
- LECTURE NOTES IN CIVIL ENGINEERING10
- LECTURE NOTES IN COMPUTER SCIENCE6
- LECTURE NOTES IN NETWORKS AND SYS...6
- AIP CONFERENCE PROCEEDINGS5
- EDULEARN PROCEEDINGS5
- LECTURE NOTES IN COMPUTER SCIENCE5
- PROCEEDINGS OF THE ... EUROPEAN C...5
Keyword
- Digital Industry and Space18
- Empirical Software Engineering18
- Artificial Intelligence17
- Internet of Things17
- Cultural Heritage16
- Machine Learning15
- Cold spray14
- Software14
- Deep Learning12
- BIM11
Lingua
- eng1902
- ita826
- und80
- spa13
- fre10
- lat6
- ger3
- ara1
- grc1
- ind1
Accesso al fulltext
- no fulltext3373
- reserved6