662 citations
- Institute for Complex SystemsIT13 papers
- University of FlorenceIT8 papers
- Boston UniversityUS6 papers
- KU LeuvenBE5 papers
- London Institute for Mathematical SciencesGB5 papers
- Sapienza University of RomeIT5 papers
- European Centre for Living TechnologyIT4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Ca' Foscari University of VeniceIT3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Centro Ricerche Enrico FermiIT3 papers
8 papers · 1 filter
Forward and Backward Bisimulations for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulat…
Topological characterization of antireflective and hydrophobic rough surfaces: are random process theory and fractal modeling applicable?
Claudia Borri, Marco Paggi
The random process theory (RPT) has been widely applied to predict the joint probability distribution functions (PDFs) of asperity heights and curvatures of rough surfaces. A check…
Fluid Model Checking of Timed Properties
Luca Bortolussi, Roberta Lanciani
We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on t…
Optimization algorithms for the solution of the frictionless normal contact between rough surfaces
A. Bemporad, M. Paggi
This paper revisits the fundamental equations for the solution of the frictionless unilateral normal contact problem between a rough rigid surface and a linear elastic half-plane u…
Model order reduction applied to heat conduction in photovoltaic modules
S. O. Ojo, S. Grivet-Talocia, M. Paggi
Modelling of physical systems may be a challenging task when it requires solving large sets of numerical equations. This is the case of photovoltaic (PV) systems which contain many…
Identifying Geographic Clusters: A Network Analytic Approach
Roberto Catini, Dmytro Karamshuk, Orion Penner +1
In recent years there has been a growing interest in the role of networks and clusters in the global economy. Despite being a popular research topic in economics, sociology and urb…