IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 123 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Efficient Agent Based Simulation Exploiting the Model Structure 2027 Lorenzo Capra + Book Part (author) -
Rewriting for Efficient Multiformalism Performance Modeling of a Smart City Edge Server 2027 Capra, Lorenzo + Book Part (author) -
Modelling Multi-Level Learning in Multi-Agent-Systems with Stochastic Nets-within-Nets 2026 Capra L. + Book Part (author) -
Symmetry Preservation in Modular Rewritable Muliformalism Models 2026 Capra L.Bruzzone F. Book Part (author) -
Reconfigurable Multi-formalism Models for Performance Analysis of Distributed Systems 2026 Capra, Lorenzo + Book Part (author) -
Integral Implementation of Higher-Order Algebraic Petri Nets in Maude 2026 Capra, Lorenzo + Book Part (author) -
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets 2026 L. Capra Article (author) -
A Practical Approach To Verifying Structural Invariants In Colored Petri Nets 2026 Capra, Lorenzo Article (author) -
Integral Maude Operation Semantics for Algebraic Petri Nets: An Effective Model of Adaptive Systems 2026 Capra, Lorenzo Book Part (author) -
Enhancing Multiformalism Models with Rewrite Engines 2026 Capra, Lorenzo + Book Part (author) -
Effective Translation of Algebraic PNs with Active Tokens in Maude: A Model for Adaptive Systems 2026 Capra, Lorenzo + Book Part (author) -
Associating a Markov Process with Maude Executable Modules 2025 Capra, Lorenzo Book Part (author) -
A “Symbolic” Representation of Object-Nets 2025 Capra, Lorenzo + Book Part (author) -
Simulating Self-modifying Multi-agent Systems with Probabilistic Nets-Within-Nets 2025 Capra, Lorenzo + Book Part (author) -
Using Rewriting Systems for Performance Analysis 2025 Capra L. + Book Part (author) -
Modular Stochastic Rewritable Petri Nets 2025 Capra, Lorenzo Article (author) -
Symbolic structural techniques improving the analysis of Stochastic Symmetric Nets 2025 Capra L. + Book Part (author) -
Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude 2025 Lorenzo Capra + Book Part (author) -
Analysing Probabilistic Hornets 2025 Capra, Lorenzo + Book Part (author) -
Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets 2025 Capra L. Book Part (author) -