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.
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
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
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. | |
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 |
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 ...47526
Data di pubblicazione
- In corso di stampa42
- 2020 - 20243401
- 2010 - 201914702
- 2000 - 200920744
- 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...127
- 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 SCIENCE80
- 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
- eng23703
- ita7536
- fre230
- spa122
- ger63
- und23
- enm19
- por18
- rus9
- lat6
Accesso al fulltext
- no fulltext43369
- reserved1745
- open1320
- restricted1081
- partially open9
- embargoed1
- mixed1