Interval temporal logic for visibly pushdown systems
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Hardness of Preorder Checking for Basic Formalisms
2010-01-01 Bozzelli, L; Axel, Legay; Sophie, Pinchinat
New results on pushdown module checking with imperfect information
2011-01-01 Bozzelli, L
Event-Clock Nested Automata
2018-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Controller synthesis for MTL specifications
2006-01-01 Bouyer, P.; Bozzelli, L.; Chevalier, F.
Undecidability of future timeline-based planning over dense temporal domains
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
On the complexity of ATL and ATL* module checking
2017-01-01 Bozzelli, Laura; Murano, Aniello
Visibly Rational Expressions
2012-01-01 Bozzelli, L; Cesar, Sanchez
On a temporal logic of prefixes and infixes
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
The complexity of model checking knowledge and time
2019-01-01 Bozzelli, L.; Maubert, B.; Murano, A.
Complexity Analysis of the Backward Coverability Algorithm for VASS
2011-01-01 Bozzelli, L; Pierre, Ganty
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022-01-01 Bozzelli, L.; Peron, A.
Complexity results on branching-time pushdown model checking
2006-01-01 Bozzelli, L.
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions
2017-01-01 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Hybrid and First-Order Complete Extensions of CaRet
2011-01-01 Bozzelli, L; Ruggero, Lanotte
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
2022-01-01 Bozzelli, L.; Peron, A.; Sanchez, C.
Interval temporal logic model checking based on track bisimilarity and prefix sampling
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Module Checking of Pushdown Multi-agent Systems
2020-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Hierarchical cost-parity games
2017-01-01 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
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