Risultati ricerca pubblicazioni

Polynomial calculus space and resolution width

pubblicato su: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS - 2019

Galesi N., Kolodziejczyk L., Thapen N.

Cops-Robber games and the resolution of Tseitin Formulas

pubblicato su: 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018; Oxford; United Kingdom; 9 July 2018 through 12 July 2018; Code 215249 - 2018

Galesi Nicola, Talebanfard Navid, Torán Jacobo

Tight bounds for maximal identifiability of failure nodes in boolean network tomography

pubblicato su: Proceedings - International Conference on Distributed Computing Systems - 2018

Galesi Nicola, Ranjbar Fariba

Space proof complexity for random 3-CNFs

pubblicato su: INFORMATION AND COMPUTATION - 2017

Bennett Patrick, Bonacina Ilario, Galesi Nicola, Huynh Tony, Molloy Mike, Wollan PAUL JOSEPH

Conflict vs Causality in Event Structures

pubblicato su: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 2020

Gorla D., Salvo I.

Output Sampling for Output Diversity in Automatic Unit Test Generation

pubblicato su: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - 2020

Menendez Hd, Boreale M, Gorla D, Clark D

Conflict vs causality in event structures

pubblicato su: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 2019

Gorla Daniele, Salvo Ivano, Piperno Adolfo

Enhanced models for privacy and utility in continuous-time diffusion networks

pubblicato su: Theoretical Aspects of Computing – ICTAC 2019 - 2019

GORLA DANIELE, GRANESE FEDERICA, Palamidessi Catuscia

Approximate model counting, sparse XOR constraints and minimum distance

pubblicato su: The art of modelling computational systems: a journey from logic and concurrency to security and privacy - 2019

Boreale M., Gorla D.

Semantic subtyping for objects and classes

pubblicato su: COMPUTER JOURNAL - 2017

Dardha Ornela, Gorla Daniele, Varacca Daniele

A Novel Stealthy Attack to Gather SDN Configuration-Information

pubblicato su: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING - 2020

Conti Mauro, De Gaspari Fabio, Mancini Luigi Vincenzo

SARA: Secure Asynchronous Remote Attestation for IoT systems

pubblicato su: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY - 2020

Dushku E., Rabbani M. M., Conti M., Mancini LV, Ranise S.

The Naked Sun: Malicious Cooperation Between Benign-Looking Processes

pubblicato su: ACNS 2020 - 2020

DE GASPARI Fabio, Hitaj Dorjan, Pagnotta Giulio, De Carli Lorenzo, Mancini Luigi V.

Evasion attacks against watermarking techniques found in MLaaS systems

pubblicato su: 2019 6th International Conference on Software Defined Systems, SDS 2019 - 2019

Hitaj D., Hitaj B., Mancini L. V.

Multi-covert channel attack in the cloud

pubblicato su: 2019 6th International Conference on Software Defined Systems, SDS 2019 - 2019

Akil M., Mancini L. V., Venturi D.

RADIS: remote attestation of distributed IoT services

pubblicato su: 2019 6th International Conference on Software Defined Systems, SDS 2019 - 2019

Conti M., Dushku E., Mancini L. V.

Remote attestation as a service for IoT

pubblicato su: 2019 6th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2019 - 2019

Conti M., Dushku E., Mancini L. V., Rabbani M. M., Ranise S.

An accurate approach for the evaluation of the performance of overhead distribution lines due to indirect lightning

pubblicato su: ELECTRIC POWER SYSTEMS RESEARCH - 2020

Andreotti A., Araneo R., Mahmood F., Pierno A.

Review of O&M practices in PV plants. Failures, solutions, remote control, and monitoring tools

pubblicato su: IEEE JOURNAL OF PHOTOVOLTAICS - 2020

Lorenzo G. D., Araneo R., Mitolo M., Niccolai A., Grimaccia F.

Utilization of underbuilt shield wires to improve the lightning performance of overhead distribution lines hit by direct strokes

pubblicato su: IEEE TRANSACTIONS ON POWER DELIVERY - 2020

Araneo R., Andreotti A., Brandao Faria J., Celozzi S., Assante D., Verolino L.

Smart ECM-based electrospun biomaterials for skeletal muscle regeneration

pubblicato su: NANOMATERIALS - 2020

Politi S., Carotenuto F., Rinaldi A., Nardo P. D., Manzari V., Albertini M. C., Araneo R., Ramakrishna S., Teodori L.

Modeling and design of a residential energy community with PV sharing

pubblicato su: Proceedings - 2020 IEEE International Conference on Environment and Electrical Engineering and 2020 IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2020 - 2020

Di Lorenzo G., Martirano L., Araneo R., Petrone G.

A Review of the enabling methodologies for knowledge discovery from smart grids data

pubblicato su: 2020 IEEE International conference on environment and electrical engineering and 2020 IEEE industrial and commercial power systems Europe, EEEIC / I and CPS Europe 2020 - 2020

De Caro F., Andreotti A., Araneo R., Panella M., Vaccaro A., Villacci D.

Thermal oxidation of ball-milled ZnO doped powders for synthesis of nanomaterials

pubblicato su: Proceedings of the IEEE Conference on Nanotechnology - 2019

Ferrone E., Garroni S., Millan N. A., Roda M. M., Cuesta-Lopez S., Pea M., Notargiacomo A., Rinaldi A., Araneo R.

On electrical safety in academic laboratories

pubblicato su: IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS - 2019

Araneo R., Dehghanian P., Mitolo M.

ZnO nanostructures and electrospun ZnO–polymeric hybrid nanomaterials in biomedical, health, and sustainability applications

pubblicato su: NANOMATERIALS - 2019

Ferrone E., Araneo R., Notargiacomo A., Pea M., Rinaldi A.

Electrospinning nanofibers as separators for lithium-ion batteries

pubblicato su: AIP Conference Proceedings - 2019

Di Carli M., Caso M. F., Aurora A., Seta L. D., Rinaldi A., Ferrone E., Araneo R., Prosini P. P.

On the insulation resistance in high-power free-field grid-connected photovoltaic plants

pubblicato su: 2019 IEEE International Conference on Environment and Electrical Engineering and 2019 IEEE Industrial and Commercial Power Systems Europe, EEEIC/I and CPS Europe 2019 - 2019

Araneo R., Mitolo M.

Lightning performance of overhead distribution lines with underbuilt ground wires

pubblicato su: 2019 International Applied Computational Electromagnetics Society Symposium in Miami, ACES-Miami 2019 - 2019

Araneo R., Celozzi S., Faria J. B., Andreotti A., Verolino L.

A brief history of Maxwell's equations

pubblicato su: IEEE INDUSTRY APPLICATIONS MAGAZINE - 2019

Mitolo M., Araneo R.

A brief history of electromagnetism

pubblicato su: IEEE INDUSTRY APPLICATIONS MAGAZINE - 2019

Mitolo M., Araneo R.

Electrical safety of academic laboratories

pubblicato su: - 2019

Araneo R., Dehghanian P., Mitolo M.

Matching a nonuniform MTL with only passive elements is not always possible

pubblicato su: IEEE TRANSACTIONS ON POWER DELIVERY - 2019

Faria J. A. B., Araneo R.

Nonlinear elasticity effects in core-shell III-N piezo-semiconductive nanowires

pubblicato su: 2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO) - 2019

Ferrone E., Araneo R., Pea M., Rinaldi A., Notargiacomo A., Migliorato M. A.

Towards a full model of non-linear piezolectricity in ZnO nanowires

pubblicato su: 2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO) - 2019

Ferrone E., Araneo R., Pea M., Rinaldi A., Notargiacomo A., Migliorato M. A.

Femtosecond laser and reactive ion etching based treatments for nanoscale surface texturing of porous silicon carbide

pubblicato su: 2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO) - 2019

Notargiacomo A., Laghi L., Rinaldi A., Moller H., Hansen K. K., Araneo R., Pea M., Di Gaspare L., De Seta M., Bellucci A., Girolami M., Orlando S., Trucchi D. M.

Improvement of lightning performance of overhead power lines by addition of underbuilt ground wires

pubblicato su: 2018 IEEE International conference on environment and electrical engineering and 2018 IEEE industrial and commercial power systems Europe, EEEIC/I and CPS Europe 2018 - 2018

Araneo R., Lovat G., Celozzi S., Brandao Faria J., Andreotti A., Verolino L.

Computation, properties, and realizability of the characteristic immittance matrices of nonuniform multiconductor transmission lines

pubblicato su: IEEE TRANSACTIONS ON POWER DELIVERY - 2018

Faria J. A. B., Araneo R.

ELF shielding of finite-size finite-thickness screens against magnetic fields

pubblicato su: IEEE International conference on environment and electrical engineering and 2018 IEEE Industrial and commercial power systems europe, EEEIC/I and CPS Europe 2018 - 2018

Araneo R., Lovat G., Celozzi S., Burghianoli P.

Frequency-Domain Analysis of Sectionalized Shield Wires on PLC Transmission over High-Voltage Lines

pubblicato su: IEEE TRANSACTIONS ON ELECTROMAGNETIC COMPATIBILITY - 2017

Araneo Rodolfo, Faria Jose Antonio Marinho Brandao, Celozzi Salvatore

A microgrid with PV production and energy storage for an university building

pubblicato su: Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017 - 2017

Martirano L., Araneo R., Ruvio A., Leonowicz Z., Rezmer J.

Analysis of the lightning transient response of the earthing system of large-scale ground-mounted PV plants

pubblicato su: 2017 IEEE Manchester PowerTech, Powertech 2017 - 2017

Araneo Rodolfo, Maccioni Marco, Lauria Stefano, Celozzi Salvatore

Frequency analysis of PLC over HV transmission lines with segmented shield wires

pubblicato su: 2017 IEEE Manchester PowerTech, Powertech 2017 - 2017

Araneo Rodolfo, Maccioni Marco, Lauria Stefano, Celozzi Salvatore, Faria J. Brandao

Reliability and maintenance in high-power grid-connected photovoltaic systems: a survey of critical issues and failures

pubblicato su: Conference Proceedings - 2017 17th IEEE International Conference on Environment and Electrical Engineering and 2017 1st IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2017 - 2017

Piantoni G., Araneo R.

Frequency-domain analysis of the characteristic impedance matrix of high-voltage transmission lines

pubblicato su: 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE 2017, EMC Europe 2017 - 2017

Araneo R., Celozzi S., Brandão Faria J. A.

Joint meeting of the 17th edition of the IEEE international conference on environment and electrical engineering (EEEIC) and the 1st edition of the IEEE industrial and commercial power systems Europe (I&CPS Europe)

pubblicato su: - 2017

Araneo R.

A rigorous matrix procedure for calculating the line constants and wave parameters of uniform MTLs using SMT/PMU

pubblicato su: INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS - 2017

Brandao Faria J. A., Araneo R.

Use of smartphone apps to monitor human exposure to solar radiation: Comparison between predicted and measured UV index values

pubblicato su: ENVIRONMENTAL RESEARCH - 2020

Salvadori G., Leccese F., Lista D., Burattini C., Bisegna F.

Planning smart cities. Comparison of two quantitative multicriteria methods applied to real case studies

pubblicato su: SUSTAINABLE CITIES AND SOCIETY - 2020

Mattoni B., Pompei Laura, Losilla J. C., Bisegna F.

Towards the definition of a sustainable Smart Model for the suburbs redevelopment

pubblicato su: 2020 IEEE International Conference on Environment and Electrical Engineering and 2020 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) - 2020

Mangialavori Marco, Pompei Laura, Nardecchia Fabio, Bisegna Fabio, Fichera Alberto, Tronchin Lamberto, Rizzo Gianfranco, Schibuola Luigi