Result 1 to 20 of 52 total
Foundational aspects of multiscale modeling of biological systems with process algebras. (English)
Theor. Comput. Sci. 431, 96-116 (2012).
1
Probabilistic model checking of biological systems with uncertain kinetic rates. (English)
Theor. Comput. Sci. 419, 2-16 (2012).
2
Maximally parallel probabilistic semantics for multiset rewriting. (English)
Fundam. Inform. 112, No. 1, 1-17 (2011).
3
Spatial calculus of looping sequences. (English)
Theor. Comput. Sci. 412, No. 43, 5976-6001 (2011).
4
Delay stochastic simulation of biological systems: A purely delayed approach. (English)
Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIII. Berlin: Springer (ISBN 978-3-642-19747-5/pbk). Lecture Notes in Computer Science 6575. Lecture Notes in Bioinformatics. Journal Subline, 61-84 (2011).
5
Spatial P systems. (English)
Nat. Comput. 10, No. 1, 3-16 (2011).
6
An overview on operational semantics in membrane computing. (English)
Int. J. Found. Comput. Sci. 22, No. 1, 119-131 (2011).
7
Delay stochastic simulation of biological systems: A purely delayed approach (English)
T. Comp. Sys. Biology 13, 61-84 (2011).
8
A notion of biological diagnosability inspired by the notion of opacity in systems security. (English)
Fundam. Inform. 102, No. 1, 19-34 (2010).
9
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. (English)
Fundam. Inform. 103, No. 1-4, 1-29 (2010).
10
Membrane systems working in generating and accepting modes: Expressiveness and encodings. (English)
Gheorghe, Marian (ed.) et al., Membrane computing. 11th international conference, CMC 2010, Jena, Germany, August 24‒27, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18122-1/pbk). Lecture Notes in Computer Science 6501, 103-118 (2010).
11
Compositional semantics of spiking neural P systems. (English)
J. Log. Algebr. Program. 79, No. 6, 304-316 (2010).
12
Simulation of Kohn’s molecular interaction maps through translation into stochastic CLS+. (English)
Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15‒19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 58-69 (2010).
13
Modelling the dynamics of an aedes albopictus population (English)
AMCA-POP, 18-36 (2010).
14
Aspects of multiscale modelling in a process algebra for biological systems (English)
MeCBIC, 54-69 (2010).
15
Dynamic sync-programs for modular verification of biological systems (English)
NCMA, 71-83 (2010).
16
Membrane systems working in generating and accepting modes: expressiveness and encodings (English)
Int. Conf. on Membrane Computing, 103-118 (2010).
17
Proceedings first workshop on applications of membrane computing, concurrency and agent-based modelling in population biology (English)
EPTCS: AMCA-POP 33 (2010).
18
A process calculus for molecular interaction maps. (English)
Comput. Res. Repos. 2009, Article No. 0911.4854 (2009).
19
On the interpretation of delays in delay stochastic simulation of biological systems. (English)
Comput. Res. Repos. 2009, Article No. 0910.1219 (2009).
20
Result 1 to 20 of 52 total
Start
Contact
Print
General Help
