nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P
|
Nguyen, Van |
|
2010 |
79 |
6 |
p. 383-396 14 p. |
artikel |
2 |
An overview of the K semantic framework
|
Roșu, Grigore |
|
2010 |
79 |
6 |
p. 397-434 38 p. |
artikel |
3 |
A P-Lingua based simulator for tissue P systems
|
Martínez-del-Amor, Miguel A. |
|
2010 |
79 |
6 |
p. 374-382 9 p. |
artikel |
4 |
A quick introduction to membrane computing
|
Păun, Gheorghe |
|
2010 |
79 |
6 |
p. 291-294 4 p. |
artikel |
5 |
Compositional semantics of spiking neural P systems
|
Barbuti, Roberto |
|
2010 |
79 |
6 |
p. 304-316 13 p. |
artikel |
6 |
Contents
|
|
|
2010 |
79 |
6 |
p. v- 1 p. |
artikel |
7 |
Editorial Board
|
|
|
2010 |
79 |
6 |
p. IFC- 1 p. |
artikel |
8 |
Membrane computing and programming
|
Păun, Gheorghe |
|
2010 |
79 |
6 |
p. 289-290 2 p. |
artikel |
9 |
Metabolic approximation of real periodical functions
|
Manca, Vincenzo |
|
2010 |
79 |
6 |
p. 363-373 11 p. |
artikel |
10 |
P systems and the Byzantine agreement
|
Dinneen, Michael J. |
|
2010 |
79 |
6 |
p. 334-349 16 p. |
artikel |
11 |
P systems with control nuclei: The concept
|
Chira, Camelia |
|
2010 |
79 |
6 |
p. 326-333 8 p. |
artikel |
12 |
Rule-based and object-based event structures for membrane systems
|
Agrigoroaiei, Oana |
|
2010 |
79 |
6 |
p. 295-303 9 p. |
artikel |
13 |
Simulating a P system based efficient solution to SAT by using GPUs
|
Cecilia, José M. |
|
2010 |
79 |
6 |
p. 317-325 9 p. |
artikel |
14 |
Test generation from P systems using model checking
|
Ipate, Florentin |
|
2010 |
79 |
6 |
p. 350-362 13 p. |
artikel |