Alessandro Romanel

Available identifiers

zbMath Open romanel.alessandroWikidataQ57051986 ScholiaQ57051986MaRDI QIDQ1044843

List of research outcomes

Publication	Date of Publication	Type
The Decidability of the Structural Congruence for Beta-binders	2013-12-06	Paper
On the computational power of BlenX	2009-12-15	Paper
BlenX Static and Dynamic Semantics	2009-10-22	Paper
Evolving BlenX programs to simulate the evolution of biological networks	2008-12-12	Paper
On the decidability and complexity of the structural congruence for beta-binders	2008-11-06	Paper
Modeling Static Biological Compartments with Beta-binders	2007-11-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Romanel