Libero Nigro - Publications, H-index & Citations

Libero Nigro

university of calabria

21H指数

218论文数

1.5K被引数

收录论文 22

发表时间

Clustering Performance of a Recombinator Hartigan–Wong Algorithm 重组型Hartigan–Wong算法的聚类性能

Computers

IF4.2

2026-06-19

OAAI

Libero Nigro; Franco Cicirelli

Black-White Bakery Algorithm Made RW-Safe 黑-白面包店算法实现RW安全

Computers

IF4.2

2026-04-03

OAAI

Libero Nigro; Franco Cicirelli

Formal Analysis of Bakery-Based Mutual Exclusion Algorithms 基于面包店模型的互斥算法的形式化分析

Computers

IF4.2

2026-03-03

OAAI

Libero Nigro

Genetic Elitist Approach and Density Peaks to Improve K-Means Clustering 遗传精英算法与密度峰值法用于改进K-均值聚类

Algorithms

IF2.1

2026-02-05

OAAI

Nigro, Libero; Cicirelli, Franco; Pupo, Francesco

Parallel random swap: An efficient and reliable clustering algorithm in java

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2023-04-01

PREAI

Nigro, Libero; Cicirelli, Franco; Fra, Pasi

Analyzing stochastic reward nets by model checking and parallel simulation

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2022-04-01

PREAI

Cicirelli, Franco; Nigro, Libero

Parallel Theatre: An actor framework in Java for high performance computing

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2021-01-01

PREAI

Nigro, Libero

Qualitative and quantitative model checking of distributed probabilistic timed actors

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2018-09-01

PREAI

Nigro, Libero; Sciammarella, Paolo F.

Model continuity in cyber-physical systems: A control-centered methodology based on agents

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2018-04-01

PREAI

Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.

Model checking time-dependent system specifications using Time Stream Petri Nets and UPPAAL

APPLIED MATHEMATICS AND COMPUTATION

IF3.4

2012-04-01

PREAI

Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero

Modelling and simulation of complex manufacturing systems using statechart-based actors

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2011-02-01

PREAI

Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2011-01-01

PREAI

Cicirelli, Franco; Furfaro, Angelo; Giordano, Andrea; Nigro, Libero

A service-based architecture for dynamically reconfigurable workflows 用于动态可重构工作流的基于服务的体系结构

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2010-07-01

PREAI

Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2007-11-01

PREAI

Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero

Timed verification of hierarchical communicating real-time state machines

COMPUTER STANDARDS & INTERFACES

IF3.1

2007-09-01

PREAI

Furfaro, Angelo; Nigro, Libero

MADAMS: A software architecture for the management of networked measurement services

COMPUTER STANDARDS & INTERFACES

IF3.1

2006-04-01

PREAI

Cicirelli, F; Furfaro, A; Grimaldi, D; Nigro, L; Pupo, F

Modelling and simulation of complex systems using TPN Designer

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2003-12-01

PREAI

Carullo, L; Furfaro, A; Nigro, L; Pupo, F

Development of virtual data acquisition systems based on multimedia internetworking

COMPUTER STANDARDS & INTERFACES

IF3.1

1999-12-01

PREAI

Fortino, G; Nigro, L

A modular approach to real-time programming using actors and Java

CONTROL ENGINEERING PRACTICE

IF4.6

1998-12-01

PREAI

Nigro, L; Pupo, F

Java-based distributed measurement systems

IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT

IF5.9

1998-01-01

PREAI

Grimaldi, D; Nigro, L; Pupo, F

研究方向