Sfoglia
Percorsi emergenti di azione sindacale oltre la subordinazione: un focus sui riders
2021 Allocca, Valeria
Algorithmic forms of discrimination and the protection of people with disabilities
2023 Salvatore, Barbara
Le sanzioni per l’abusiva reiterazione di contratti a termine nelle pubbliche amministrazioni tra limiti costituzionali e vincoli eurounitari
2023 Allocca, Valeria
An Empirical Evaluation of the Energy and Performance Overhead of Monitoring Tools on Docker-Based Systems
2023 Dinga, M.; Malavolta, I.; Giamattei, L.; Guerriero, A.; Pietrantuono, R.
Sistemi informatici per il catalogo e la divulgazione della Collezione Fienga
2022 Capaldi, Carmela; Ciotola, Antonella
Il Foro di Cuma: indagini di approfondimento nel portico settentrionale
2022 Capaldi, Carmela; Ciotola, Antonella
La tutela dei diritti dei lavoratori attraverso l’esercizio dell’“azione giudiziale di classe
2023 Crudeli, GIOVANNI GUGLIELMO
DESIGN/DISCOURSE: Cartografare le controversie nei discorsi del design contemporaneo
2023 Marotta, Fabiana
Forma
2023 Stendardo, Luigi
Presidio
2023 Bernieri, Adriana
Limes/Limen
2023 Piscopo, Carmine
Decidability and complexity of timeline-based planning over dense temporal domains
2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
2022 Bozzelli, L.; Peron, A.; Sanchez, C.
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
Parametric Interval Temporal Logic over Infinite Words
2022 Bozzelli, L.; Peron, A.
On decidability of LTL model checking for process rewrite systems
2006 Bozzelli, L.; Kretinsky, M.; Rehak, V.; Strejcek, J.
Complexity results on branching-time pushdown model checking
2006 Bozzelli, L.
Branching-time temporal logic extended with qualitative presburger constraints
2006 Bozzelli, L.; Gascon, R.
Controller synthesis for MTL specifications
2006 Bouyer, P.; Bozzelli, L.; Chevalier, F.
Model checking for Process Rewrite Systems and a class of action-based regular properties
2005 Bozzelli, L.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Percorsi emergenti di azione sindacale oltre la subordinazione: un focus sui riders | 4.1 Articoli in Atti di convegno | 2021 | Allocca, Valeria | |
Algorithmic forms of discrimination and the protection of people with disabilities | 4.1 Articoli in Atti di convegno | 2023 | Salvatore, Barbara | |
Le sanzioni per l’abusiva reiterazione di contratti a termine nelle pubbliche amministrazioni tra limiti costituzionali e vincoli eurounitari | 4.1 Articoli in Atti di convegno | 2023 | Allocca, Valeria | |
An Empirical Evaluation of the Energy and Performance Overhead of Monitoring Tools on Docker-Based Systems | 4.1 Articoli in Atti di convegno | 2023 | Dinga, M.; Malavolta, I.; Giamattei, L.; Guerriero, A.; Pietrantuono, R. | |
Sistemi informatici per il catalogo e la divulgazione della Collezione Fienga | 4.1 Articoli in Atti di convegno | 2022 | Capaldi, Carmela; Ciotola, Antonella | |
Il Foro di Cuma: indagini di approfondimento nel portico settentrionale | 4.1 Articoli in Atti di convegno | 2022 | Capaldi, Carmela; Ciotola, Antonella | |
La tutela dei diritti dei lavoratori attraverso l’esercizio dell’“azione giudiziale di classe | 4.1 Articoli in Atti di convegno | 2023 | Crudeli, GIOVANNI GUGLIELMO | |
DESIGN/DISCOURSE: Cartografare le controversie nei discorsi del design contemporaneo | 4.1 Articoli in Atti di convegno | 2023 | Marotta, Fabiana | |
Forma | 4.1 Articoli in Atti di convegno | 2023 | Stendardo, Luigi | |
Presidio | 4.1 Articoli in Atti di convegno | 2023 | Bernieri, Adriana | |
Limes/Limen | 4.1 Articoli in Atti di convegno | 2023 | Piscopo, Carmine | |
Decidability and complexity of timeline-based planning over dense temporal domains | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. | |
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A.; Sanchez, C. | |
A Quantitative Extension of Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
Parametric Interval Temporal Logic over Infinite Words | 4.1 Articoli in Atti di convegno | 2022 | Bozzelli, L.; Peron, A. | |
On decidability of LTL model checking for process rewrite systems | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, L.; Kretinsky, M.; Rehak, V.; Strejcek, J. | |
Complexity results on branching-time pushdown model checking | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, L. | |
Branching-time temporal logic extended with qualitative presburger constraints | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, L.; Gascon, R. | |
Controller synthesis for MTL specifications | 4.1 Articoli in Atti di convegno | 2006 | Bouyer, P.; Bozzelli, L.; Chevalier, F. | |
Model checking for Process Rewrite Systems and a class of action-based regular properties | 4.1 Articoli in Atti di convegno | 2005 | Bozzelli, L. |
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 ...47531
Data di pubblicazione
- In corso di stampa37
- 2020 - 20243411
- 2010 - 201914703
- 2000 - 200920743
- 1990 - 19996592
- 1980 - 19891725
- 1970 - 1979302
- 1963 - 196918
Editore
- Institute of Electrical and Elect...1283
- IEEE870
- Springer323
- IEEE Computer Society262
- SPIE136
- Springer Verlag136
- Springer Science and Business Med...128
- Elsevier B.V.116
- Doppiavoce106
- American Institute of Physics Inc.103
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...125
- POS PROCEEDINGS OF SCIENCE116
- AIP CONFERENCE PROCEEDINGS104
- SAE TECHNICAL PAPER87
- PROCEEDINGS OF SPIE, THE INTERNAT...72
- MINERVA ANESTESIOLOGICA68
- IFMBE PROCEEDINGS56
- JOURNAL OF DENTAL RESEARCH48
- EPJ WEB OF CONFERENCES47
- PROCEDIA CIRP45
Serie
- CEUR WORKSHOP PROCEEDINGS84
- LECTURE NOTES IN COMPUTER SCIENCE81
- PROCEEDINGS OF SPIE, THE INTERNAT...80
- LECTURE NOTES IN ARTIFICIAL INTEL...74
- LECTURE NOTES IN CIVIL ENGINEERING66
- AIP CONFERENCE PROCEEDINGS59
- PROCEDIA CIRP59
- LECTURE NOTES IN MECHANICAL ENGIN...50
- MECHANISMS AND MACHINE SCIENCE38
- IFAC-PAPERSONLINE37
Keyword
- Electrical and Electronic Enginee...176
- Computer Networks and Communications157
- Computer Science Applications1707...118
- Control and Systems Engineering96
- Physics and Astronomy (all)90
- Artificial Intelligence87
- Software87
- Instrumentation82
- Mechanical Engineering76
- Energy Engineering and Power Tech...73
Lingua
- eng23701
- ita7543
- fre230
- spa122
- ger63
- und23
- enm19
- por18
- rus9
- lat6
Accesso al fulltext
- no fulltext43371
- reserved1744
- open1323
- restricted1082
- partially open9
- embargoed1
- mixed1