|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 6 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 183 | Roberta Gori, Francesca Levi |
A New Occurrence Counting Analysis for BioAmbients.  |
APLAS  |
2005 |
DBLP DOI BibTeX RDF |
Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation |
| 80 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
A Stochastic Semantics for BioAmbients. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
Stochastic Operational Semantics, Systems Biology, Process Calculi |
| 79 | Cristian Versari |
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
| 56 | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
Spatial Analysis of BioAmbients. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 56 | Cheng Fu, Zhengwei Qi, Jinyuan You |
A BioAmbients Based Framework for Chain-Structured Biomolecules Modelling. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 55 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
| 32 | A. Aziz Altowayan |
Static Analysis for Biological Systems (BioAmbients). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 32 | Giorgio Delzanno, Gianluigi Zavattaro |
Reachability problems in BioAmbients. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 32 | Sara Capecchi, Angelo Troina |
Types for BioAmbients |
FBTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 32 | Roberta Gori, Francesca Levi |
Abstract interpretation based verification of temporal properties for BioAmbients. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 32 | Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson |
Pathway analysis for BioAmbients. |
J. Log. Algebraic Methods Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 32 | Gianluigi Zavattaro |
Reachability Analysis in BioAmbients. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
| 32 | Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath |
Modelling Intracellular Fate of FGF Receptors With BioAmbients. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 32 | Giorgio Delzanno, Roberto Montagna |
On Reachability and Spatial Reachability in Fragments of BioAmbients. |
MeCBIC@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 32 | Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson |
Context Dependent Analysis of BioAmbients. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 32 | Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro |
BioAmbients: an abstraction for biological compartments. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 32 | Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa |
Control Flow Analysis for BioAmbients. |
BioConcur@CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 24 | Roberta Gori, Francesca Levi |
An Analysis for Proving Temporal Properties of Biological Systems. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license