brane calculi
Recently Published Documents

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A static analysis for Brane Calculi providing global occurrence counting information

2017 ◽  
Vol 696 ◽  
pp. 11-51 ◽  
Author(s):  
C. Bodei ◽  
L. Brodo ◽  
R. Gori ◽  
F. Levi ◽  
A. Bernini ◽  
...  
Keyword(s):  
Static Analysis ◽  
Brane Calculi

scholarly journals Causal static analysis for Brane Calculi

2015 ◽  
Vol 587 ◽  
pp. 73-103 ◽  
Author(s):  
Chiara Bodei ◽  
Roberta Gori ◽  
Francesca Levi
Keyword(s):  
Static Analysis ◽  
Brane Calculi

scholarly journals A Global Occurrence Counting Analysis for Brane Calculi

2015 ◽  
pp. 179-200 ◽  
Author(s):  
Chiara Bodei ◽  
Linda Brodo ◽  
Roberta Gori ◽  
Diana Hermith ◽  
Francesca Levi
Keyword(s):  
Brane Calculi

scholarly journals Control Flow Analysis for Brane Calculi

2009 ◽  
Vol 227 ◽  
pp. 59-75
Author(s):  
Chiara Bodei ◽  
Andrea Bracciali ◽  
Davide Chiarugi
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Brane Calculi ◽  
Control Flow Analysis

Simulation of a bounded symport/antiport P system with Brane calculi

Biosystems ◽  
2008 ◽  
Vol 91 (3) ◽  
pp. 558-571 ◽  
Author(s):  
Antonio Vitale ◽  
Giancarlo Mauri ◽  
Claudio Zandron
Keyword(s):  
P System ◽  
Brane Calculi

scholarly journals Communication via Mobile Vesicles in Brane Calculi

2007 ◽  
Vol 171 (2) ◽  
pp. 187-196 ◽  
Author(s):  
Antonio Vitale ◽  
Giancarlo Mauri
Keyword(s):  
Brane Calculi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document