-
1
-
-
24144495222
-
Executable specifications of P systems
-
In Mauri, G., Pâun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., Pâun, G., Jesús Pérez- Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126-145. Springer, Heidelberg (2005)
-
(2005)
WMC 2004. LNCS
, vol.3365
, pp. 126-145
-
-
Andrei, O.1
Ciobanu, G.2
Lucanu, D.3
-
2
-
-
77949635434
-
A P system based model of an ecosystem of some scavenger birds
-
In Pâun, G., Pérez-Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Cardona, M., Colomer, M.A., Margalida, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D.: A P system based model of an ecosystem of some scavenger birds. In: Pâun, G., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 182-195. Springer, Heidelberg (2010)
-
(2010)
WMC 2009. LNCS
, vol.5957
, pp. 182-195
-
-
Cardona, M.1
Colomer, M.A.2
Margalida, A.3
Pérez-Hurtado, I.4
Pérez-Jiménez, M.J.5
Sanuy, D.6
-
3
-
-
77955431709
-
Simulating a P system based efficient solution to SAT by using GPUs
-
Cecilia, J.M., García, J.M., Guerrero, G.D., del Amor, M.A.M., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming 79(6), 317-325 (2010)
-
(2010)
Journal of Logic and Algebraic Programming
, vol.79
, Issue.6
, pp. 317-325
-
-
Cecilia, J.M.1
García, J.M.2
Guerrero, G.D.3
Del Amor, M.A.M.4
Pérez-Hurtado, I.5
Pérez-Jiménez, M.J.6
-
4
-
-
60349085093
-
A P-lingua programming environment for membrane computing
-
In Corne, D.W., Frisco, P., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Díaz-Pernil, D., Pérez-Hurtado, I., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A.: A P-lingua programming environment for membrane computing. In: Corne, D.W., Frisco, P., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 187-203. Springer, Heidelberg (2009)
-
(2009)
WMC 2008. LNCS
, vol.5391
, pp. 187-203
-
-
Díaz-Pernil, D.1
Pérez-Hurtado, I.2
Pérez-Jiménez, M.J.3
Riscos-Núnez, A.4
-
7
-
-
77955421251
-
Test generation from P systems using model checking
-
Ipate, F., Gheorghe, M., Lefticaru, R.: Test generation from P systems using model checking. Journal of Logic and Algebraic Programming 79(6), 350-362 (2010)
-
(2010)
Journal of Logic and Algebraic Programming 79
, vol.6
, Issue.350-362
-
-
Ipate, F.1
Gheorghe, M.2
Lefticaru, R.3
-
8
-
-
79251640878
-
Formal verification of P systems using Spin
-
Ipate, F., Lefticaru, R., Tudose, C.: Formal verification of P systems using Spin. International Journal of Foundations of Computer Science 22(1), 133-142 (2011)
-
(2011)
International Journal of Foundations of Computer Science
, vol.22
, Issue.1
, pp. 133-142
-
-
Ipate, F.1
Lefticaru, R.2
Tudose, C.3
-
9
-
-
34548059833
-
Genetic programming with fitness based on model checking
-
In Ebner, M., O'Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds Springer, Heidelberg
-
Johnson, C.: Genetic programming with fitness based on model checking. In: Ebner, M., O'Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114-124. Springer, Heidelberg (2007)
-
(2007)
EuroGP 2007. LNCS
, vol.4445
, pp. 114-124
-
-
Johnson, C.1
-
10
-
-
53449095108
-
The many facets of natural computing
-
Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM 51(10), 72-83 (2008)
-
(2008)
Communications of the ACM
, vol.51
, Issue.10
, pp. 72-83
-
-
Kari, L.1
Rozenberg, G.2
-
11
-
-
77951187122
-
Automated model design using genetic algorithms and model checking
-
IEEE Computer Society, Los Alamitos
-
Lefticaru, R., Ipate, F., Tudose, C.: Automated model design using genetic algorithms and model checking. In: BCI 2009: Proceedings of the 2009 Fourth Balkan Conference in Informatics, pp. 79-84. IEEE Computer Society, Los Alamitos (2009)
-
(2009)
BCI 2009: Proceedings of the 2009 Fourth Balkan Conference in Informatics
, pp. 79-84
-
-
Lefticaru, R.1
Ipate, F.2
Tudose, C.3
-
12
-
-
82555203717
-
Model checking based test generation from P systems using P-Lingua
-
Lefticaru, R., Ipate, F., Gheorghe,M.: Model checking based test generation from P systems using P-Lingua. Romanian Journal of Information Science and Technology 13(2), 153-168 (2010)
-
(2010)
Romanian Journal of Information Science and Technology 13
, vol.2
, Issue.153-168
-
-
Lefticaru, R.1
Ipate, F.2
Gheorghe, M.3
-
13
-
-
77949607800
-
Tuning P systems for solving the broadcasting problem
-
In Pâun, G., Pérez-Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Lefticaru, R., Ipate, F., Gheorghe, M., Zhang, G.: Tuning P Systems for Solving the Broadcasting Problem. In: Pâun, G., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 354-370. Springer, Heidelberg (2010)
-
(2010)
WMC 2009. LNCS
, vol.5957
, pp. 354-370
-
-
Lefticaru, R.1
Ipate, F.2
Gheorghe, M.3
Zhang, G.4
-
14
-
-
82555174845
-
Towards automated verification of P systems using Spin
-
Lefticaru, R., Tudose, C., Ipate, F.: Towards automated verification of P systems using Spin. In: Ninth Brainstorming Week on Membrane Computing, pp. 237-250 (2011), http://www.gcn.us.es/9BWMC/volume/ 16Lefticaru psys spin.pdf
-
(2011)
Ninth Brainstorming Week on Membrane Computing
, pp. 237-250
-
-
Lefticaru, R.1
Tudose, C.2
Ipate, F.3
-
15
-
-
77955414251
-
A P-Lingua based simulator for tissue P systems
-
Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Nú̃nez, A.: A P-Lingua based simulator for tissue P systems. Journal of Logic and Algebraic Programming 79(6), 374-382 (2010)
-
(2010)
Journal of Logic and Algebraic Programming 79
, vol.6
, Issue.374-382
-
-
Martínez-del-Amor, M.A.1
Pérez-Hurtado, I.2
Pérez-Jiménez, M.J.3
Riscos-Nú̃nez, A.4
-
16
-
-
57049102453
-
-
last visited, July
-
Meffert, K.,Meseguer, J.,Martí, E.D.,Meskauskas, A., Vos, J., Rotstan, N.: JGAP-Java Genetic Algorithms and Genetic Programming Package, http://jgap.sf.net (last visited, July 2011)
-
(2011)
JGAP-Java Genetic Algorithms and Genetic Programming Package
-
-
Meffert, K.1
Meseguer, J.2
Martí, E.D.3
Meskauskas, A.4
Vos, J.5
Rotstan, N.6
-
18
-
-
82555203715
-
-
P-Lingua website last visited, July 2011
-
P-Lingua website, http://www.p-lingua.org (last visited, July 2011)
-
-
-
-
20
-
-
0002552120
-
P systems with active membranes: Attacking NP-complete problems
-
Pâun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6(1), 75-90 (2001)
-
(2001)
Journal of Automata, Languages and Combinatorics 6
, vol.1
, pp. 75-90
-
-
Pâun, G.1
-
21
-
-
74049121675
-
-
Oxford University Press, Oxford
-
Pâun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)
-
(2010)
The Oxford Handbook of Membrane Computing
-
-
Pâun, G.1
Rozenberg, G.2
Salomaa, A.3
-
22
-
-
84876560146
-
Towards probabilistic model checking on P systems using PRISM
-
In Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jesús Pérez-Jímenez, M., Ceterchi, R.: Towards probabilistic model checking on P systems using PRISM. In: Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 477-495. Springer, Heidelberg (2006)
-
(2006)
WMC 2006. LNCS
, vol.4361
, pp. 477-495
-
-
Romero-Campero, F.J.1
Gheorghe, M.2
Bianco, L.3
Pescini, D.4
Jesús Pérez-Jímenez, M.5
Ceterchi, R.6
-
23
-
-
84876582159
-
Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems
-
In Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
-
Zaharie, D., Ciobanu, G.: Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems. In: Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 536-553. Springer, Heidelberg (2006)
-
(2006)
WMC 2006. LNCS
, vol.4361
, pp. 536-553
-
-
Zaharie, D.1
Ciobanu, G.2
-
24
-
-
82555203708
-
An approximate algorithm combining P systems and ant colony optimization for traveling salesman problems
-
Zhang, G., Cheng, J., Gheorghe, M.: An approximate algorithm combining P systems and ant colony optimization for traveling salesman problems, Eighth Brainstorming Week on Membrane Computing, pp. 321-340 (2010), http://www.gcn.us.es/8BWMC/volume/25ACOPS-Latex.pdf
-
(2010)
Eighth Brainstorming Week on Membrane Computing
, pp. 321-340
-
-
Zhang, G.1
Cheng, J.2
Gheorghe, M.3
-
25
-
-
78149293622
-
A particle swarm optimization based on P systems
-
Zhou, F., Zhang, G., Rong, H., Gheorghe, M., Cheng, J., Ipate, F., Lefticaru, R.: A particle swarm optimization based on P systems. In: Sixth International Conference on Natural Computation, pp. 3003-3007 (2010)
-
(2010)
Sixth International Conference on Natural Computation
, pp. 3003-3007
-
-
Zhou, F.1
Zhang, G.2
Rong, H.3
Gheorghe, M.4
Cheng, J.5
Ipate, F.6
Lefticaru, R.7
|