Michele Loreti - Publications, H-index & Citations

Michele Loreti

University of Camerino

29H指数

184论文数

2.7K被引数

收录论文 7

发表时间

Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter 模块化和在线监测具有积分和滤波器的时间逻辑规范

RUNTIME VERIFICATION, RV 2025

IF0

2026-01-01

PREAI

Silvetti, Simone; Loreti, Michele; Nenzi, Laura

A Formal Approach to Identify Structural Patterns in RNA 一种识别RNA结构模式的形式化方法

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025

IF0

2026-01-01

PREAI

Loreti, Michele; Quadrini, Michela; Scoccia, Matteo; Tesei, Luca

Synthesis Tool Suite for Large Stochastic Model 大型随机模型的合成工具套件

PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS, VALUETOOLS 2024

IF0

2026-01-01

PREAI

Matteucci, Lorenzo; Quadrini, Michela; Loreti, Michele

DT-STARK: a tool for evaluating the effectiveness of digital twins through feedback and perturbations DT-STARK：一种通过反馈和扰动评估数字孪生有效性的工具

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER

IF1.4

2025-10-01

OAAI

Castiglioni, Valentina; Lanotte, Ruggero; Loreti, Michele; Tini, Simone

CONTEXT-AWARE WIRELESS MOBILE AUTONOMIC COMPUTING AND COMMUNICATIONS: RESEARCH TRENDS AND EMERGING APPLICATIONS

IEEE WIRELESS COMMUNICATIONS

IF11.5

2016-04-01

PREAI

Chiti, Francesco; Fantacci, Romano; Loreti, Michele; Pugliese, Rosario

A Uniform Definition of Stochastic Process Calculi

ACM COMPUTING SURVEYS

IF28

2013-07-11

OAAI

de Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke

Modelling global computations with KLAIM

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2008-07-31

PREAI

De Nicola, Rocco; Loreti, Michele

研究方向