On the Complexity of Ltl Model-Checking of Recursive State Machines
2007 SALVATORE LA, Torre; Parlato, Gennaro
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005 Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre
A Comparison between 2D and 3D Iconic Visual Arrangements for Representing Topological Relationships
2007 DEL FATTO, Vincenzo; Paolino, L; Sebillo, Monica Maria Lucia; Tortora, Genoveffa; Vitiello, Giuliana
Context-Bounded Analysis of Concurrent Queue Systems
2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
A Flexible and Tailorable Architecture for Scripts in F2F Collaboration
2008 DE CHIARA, R; Belgiorno, Furio; Manno, I. AND SCARANO V.
A fuzzy based safe power management algorithm for energy storage systems in electric vehicles
2006 Piccolo, Antonio; Galdi, Vincenzo; Siano, Pierluigi
Integrazione di generatori eolici di piccola taglia in reti elettriche BT -Parte I-
2006 Calderaro, Vito; Galdi, Vincenzo; Piccolo, Antonio; Siano, Pierluigi
Integrazione di generatori eolici di piccola taglia in reti elettriche BT - Parte II -
2006 Calderaro, Vito; Galdi, Vincenzo; Piccolo, Antonio; Siano, Pierluigi
Generalized efficient solutions to multiobjective optimization in Banach spaces
2009 P. I., Kogut; Manzo, Rosanna
LE STRATEGIE LINGUISTICHE DEL RACCONTO TELEVISIVO
2008 Messina, Simona
Il “parlato parlato trasmesso”
2004 Messina, Simona
Il che tuttofare
2008 Messina, Simona
Wastewater treatment with vertical flow constructed wetlands
2004 DE FEO, Giovanni; Lofrano, G; Belgiorno, Vincenzo
Evaluation of groundwater pollution in an endoreic basin in Southern Italy
2004 DE FEO, Giovanni; Galasso, M; Belgiorno, Vincenzo
Wastewater treatment with biological aerated filters
2004 DE FEO, Giovanni; Belgiorno, Vincenzo; Napoli, R. M. A.
L'aureo sole di Napoli: dal guappo di Marotta al camorrista di Saviano
2008 Granese, Alberto
Monti a Napoli
2008 Castori, Loredana
Magico leopardiano. Il limite estremo: tra il "sudato sogno" e la condizione larvale
2008 Castori, Loredana
L'«autobiografia» di Umberto Saba. La veglia come autoanalisi e la scrittura come catarsi
2008 Castori, Loredana
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 convegno(ex ...10626
Data di pubblicazione
- In corso di stampa4
- 2020 - 2026821
- 2010 - 20193885
- 2000 - 20095120
- 1990 - 1999740
- 1980 - 198954
- 1974 - 19792
Editore
- IEEE671
- Springer240
- Institute of Electrical and Elect...185
- IEEE Computer Society155
- -82
- Springer Verlag81
- Springer-Verlag71
- ACM56
- World Scientific55
- SPIE49
Rivista
- ANALELE UNIVERSITATII "OVIDIUS" C...8
- IJCAI6
- THE FIEP BULLETIN4
- Journal of Visual Languages and S...3
- AMTA PROCEEDINGS2
- APLIMAT - JOURNAL OF APPLIED MATH...2
- BULETIN STIINTIFIC - UNIVERSITATE...2
- CONFERENCE PROCEEDINGS - IEEE INS...2
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- PROCEDIA STRUCTURAL INTEGRITY2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE124
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LECTURE NOTES IN COMPUTER SCIENCE8
- PROCEEDINGS OF THE INTERNATIONAL ...7
- LECTURE NOTES IN CIVIL ENGINEERING6
- PUBLICATION SP6
- ICERI PROCEEDINGS4
- KEY ENGINEERING MATERIALS4
- RILEM PROCEEDINGS4
- SIRD4
Keyword
- Electrical and Electronic Enginee...69
- Computer Networks and Communications44
- Software36
- Energy Engineering and Power Tech...34
- Instrumentation27
- Renewable Energy24
- Computer Science Applications1707...23
- Artificial Intelligence22
- Computer Science (all)22
- Sustainability and the Environment22
Lingua
- eng5222
- ita1580
- spa93
- fre58
- ger11
- por4
- gre3
- cat2
- lat2
- rum2
Accesso al fulltext
- no fulltext10604
- open16
- reserved6