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 117 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Integral Implementation of Higher-Order Algebraic Petri Nets in Maude 2026 Capra, Lorenzo + Book Part (author) -
Reconfigurable Multi-formalism Models for Performance Analysis of Distributed Systems 2026 Capra, Lorenzo + Book Part (author) -
Integral Maude Operation Semantics for Algebraic Petri Nets: An Effective Model of Adaptive Systems 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) -
Enhancing Multiformalism Models with Rewrite Engines 2026 Capra, Lorenzo + Book Part (author) -
Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude 2025 Lorenzo Capra + Book Part (author) -
Symbolic structural techniques improving the analysis of Stochastic Symmetric Nets 2025 Capra L. + Book Part (author) -
Using Rewriting Systems for Performance Analysis 2025 Capra L. + Book Part (author) -
Simulating Self-modifying Multi-agent Systems with Probabilistic Nets-Within-Nets 2025 Capra, Lorenzo + Book Part (author) -
SNexpression: A New Component for SN Matrix-Based Structural Analysis 2025 Capra, Lorenzo + Book Part (author) -
Modular Stochastic Rewritable Petri Nets 2025 Capra, Lorenzo Article (author) -
A “Symbolic” Representation of Object-Nets 2025 Capra, Lorenzo + Book Part (author) -
A Lumped CTMC for Modular Rewritable PN 2025 L. 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) -
Associating a Markov Process with Maude Executable Modules 2025 Capra, Lorenzo Book Part (author) -
A "Symbolic" Representation of Object-Nets (Extended Version) 2024 L. Capra + Article (author) -
Efficient Performance Analysis of Modular Rewritable Petri Nets 2024 Capra, Lorenzo + Article (author) -
Modelling Adaptive Systems with Maude Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets 2024 Capra, Lorenzo + Book Part (author) -