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.
Device-free hand gesture recognition exploiting machine learning applied to RFID
2021 Merenda, M.; Cimino, G.; Carotenuto, R.; Della Corte, F. G.; Iero, D.
Ribosomal gene amplification during meiotic prophase in lizard oocytes
1988 Motta, CHIARA MARIA; Filosa, Silvana; Andreuccetti, Piero
El impuesto patrimonial francés
2016 Bisogno, Marina
La reforma del concepto de establecimiento permanente: el asunto Expo, Milán 2015
2018 Bisogno, Marina
Differenti gradi di (in)visibilità: le città romane di Municipium S e Doclea in Montenegro
2023 Alberti, L.; Colosi, F.; Di Palma, B.; Merola, P.
A Real-Time Simulation Framework for Powerline Communications in More-Electric Aircraft and Spacecraft
2023 Ugo Castrillo, Vittorio; Iudice, Ivan; Pascarella, Domenico; Pigliasco, Gianpaolo; Vozella, Angela
PYRO-ELECTRIFICATION OF POLYMER MEMBRANES FOR CELL PATTERNING
2016 Rega, R; Gennari, O; Mecozzi, L; Grilli, S; Pagliarulo, V; Ferraro, P
Pyro-EHD ink-jet printing for direct functionalization of 3D lab-on-chip devices
2016 Coppola, S.; Vespini, V.; Bianco, V.; Mecozzi, L.; Olivieri, F.; Todino, M.; Paturzo, M.; Grilli, S.; Ferraro, P.
PYRO-PRINTING ON DEMAND OF POLYMER MICROLENSES
2014 Coppola, S; Vespini, V; Mecozzi, L; Miccio, L; Grilli, S; Ferraro, P; Grimaldi, Ia; Loffredo, F; Nenna, G; Villani, F; Minarini, C
Replica
2023 Zoppoli, Antonello
“Prospettiva rimediale, fattispecie, sistema”, Relazione
2023 Zoppoli, Antonello
Distributed Resilient Control for autonomous connected vehicles platoon over uncertain V2X communication links
2023 Caiazzo, B.; Di Rosa, F.; Lui, D. G.; Petrillo, A.; Santini, S.
On the Resilience of Autonomous Connected Vehicles Platoon Under DoS Attacks: a Predictor-Based Sampled Data Control
2023 Caiazzo, B.; Lui, D. G.; Mungiello, A.; Petrillo, A.; Santini, S.
Oltre la città recinto della fascia costiera Domitia: intepretazioni, strategie e regole per la rigenerazione urbana ed ambientale
2024 Terracciano, Anna; Sammarco, Francesco
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| 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. | |
| Device-free hand gesture recognition exploiting machine learning applied to RFID | 4.1 Articoli in Atti di convegno | 2021 | Merenda, M.; Cimino, G.; Carotenuto, R.; Della Corte, F. G.; Iero, D. | |
| Ribosomal gene amplification during meiotic prophase in lizard oocytes | 4.1 Articoli in Atti di convegno | 1988 | Motta, CHIARA MARIA; Filosa, Silvana; Andreuccetti, Piero | |
| El impuesto patrimonial francés | 4.1 Articoli in Atti di convegno | 2016 | Bisogno, Marina | |
| La reforma del concepto de establecimiento permanente: el asunto Expo, Milán 2015 | 4.1 Articoli in Atti di convegno | 2018 | Bisogno, Marina | |
| Differenti gradi di (in)visibilità: le città romane di Municipium S e Doclea in Montenegro | 4.1 Articoli in Atti di convegno | 2023 | Alberti, L.; Colosi, F.; Di Palma, B.; Merola, P. | |
| A Real-Time Simulation Framework for Powerline Communications in More-Electric Aircraft and Spacecraft | 4.1 Articoli in Atti di convegno | 2023 | Ugo Castrillo, Vittorio; Iudice, Ivan; Pascarella, Domenico; Pigliasco, Gianpaolo; Vozella, Angela | |
| PYRO-ELECTRIFICATION OF POLYMER MEMBRANES FOR CELL PATTERNING | 4.1 Articoli in Atti di convegno | 2016 | Rega, R; Gennari, O; Mecozzi, L; Grilli, S; Pagliarulo, V; Ferraro, P | |
| Pyro-EHD ink-jet printing for direct functionalization of 3D lab-on-chip devices | 4.1 Articoli in Atti di convegno | 2016 | Coppola, S.; Vespini, V.; Bianco, V.; Mecozzi, L.; Olivieri, F.; Todino, M.; Paturzo, M.; Grilli, S.; Ferraro, P. | |
| PYRO-PRINTING ON DEMAND OF POLYMER MICROLENSES | 4.1 Articoli in Atti di convegno | 2014 | Coppola, S; Vespini, V; Mecozzi, L; Miccio, L; Grilli, S; Ferraro, P; Grimaldi, Ia; Loffredo, F; Nenna, G; Villani, F; Minarini, C | |
| Replica | 4.1 Articoli in Atti di convegno | 2023 | Zoppoli, Antonello | |
| “Prospettiva rimediale, fattispecie, sistema”, Relazione | 4.1 Articoli in Atti di convegno | 2023 | Zoppoli, Antonello | |
| Distributed Resilient Control for autonomous connected vehicles platoon over uncertain V2X communication links | 4.1 Articoli in Atti di convegno | 2023 | Caiazzo, B.; Di Rosa, F.; Lui, D. G.; Petrillo, A.; Santini, S. | |
| On the Resilience of Autonomous Connected Vehicles Platoon Under DoS Attacks: a Predictor-Based Sampled Data Control | 4.1 Articoli in Atti di convegno | 2023 | Caiazzo, B.; Lui, D. G.; Mungiello, A.; Petrillo, A.; Santini, S. | |
| Oltre la città recinto della fascia costiera Domitia: intepretazioni, strategie e regole per la rigenerazione urbana ed ambientale | 4.1 Articoli in Atti di convegno | 2024 | Terracciano, Anna; Sammarco, Francesco |
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 ...50922
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
Data di pubblicazione
- In corso di stampa39
- 2020 - 20266349
- 2010 - 201915018
- 2000 - 200920860
- 1990 - 19996610
- 1980 - 19891727
- 1970 - 1979302
- 1963 - 196918
Editore
- Institute of Electrical and Elect...1643
- IEEE924
- Springer360
- Springer Science and Business Med...313
- IEEE Computer Society298
- Elsevier B.V.161
- SPIE151
- Springer Verlag143
- CEUR-WS115
- American Institute of Physics Inc.110
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...169
- POS PROCEEDINGS OF SCIENCE140
- AIP CONFERENCE PROCEEDINGS105
- SAE TECHNICAL PAPER96
- PROCEDIA STRUCTURAL INTEGRITY77
- PROCEEDINGS OF SPIE, THE INTERNAT...72
- MINERVA ANESTESIOLOGICA68
- EPJ WEB OF CONFERENCES61
- IFMBE PROCEEDINGS56
- JOURNAL OF DENTAL RESEARCH48
Serie
- LECTURE NOTES IN CIVIL ENGINEERING160
- LECTURE NOTES IN COMPUTER SCIENCE140
- CEUR WORKSHOP PROCEEDINGS120
- PROCEEDINGS OF SPIE, THE INTERNAT...89
- LECTURE NOTES IN MECHANICAL ENGIN...87
- LECTURE NOTES IN ARTIFICIAL INTEL...75
- AIP CONFERENCE PROCEEDINGS68
- PROCEDIA CIRP63
- IFAC-PAPERSONLINE60
- MECHANISMS AND MACHINE SCIENCE53
Keyword
- Electrical and Electronic Enginee...176
- Computer Networks and Communications158
- Computer Science Applications1707...120
- Artificial Intelligence107
- Control and Systems Engineering96
- Physics and Astronomy (all)90
- Software90
- Instrumentation82
- Mechanical Engineering76
- Energy Engineering and Power Tech...73
Lingua
- eng25944
- ita7943
- fre236
- spa129
- ger65
- und24
- por20
- enm19
- rus9
- lat7
Accesso al fulltext
- no fulltext45351
- reserved1961
- open1909
- restricted1687
- partially open10
- embargoed3
- mixed2