![]() | ![]() |
| 2009 | ||
|---|---|---|
| 4 | Carmen Graciani Díaz, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez: An Approach to Ballistic Deposition Based on Membrane Computing. IJUC 5(5): 427-439 (2009) | |
| 2005 | ||
| 3 | Carmen Graciani Díaz, Agustin Riscos-Núñez: Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. UC 2005: 94-104 | |
| 2004 | ||
| 2 | Carmen Graciani Díaz, Mario J. Pérez-Jiménez: Using Automated Reasoning Systems on Molecular Computing. DNA 2004: 128-137 | |
| 2002 | ||
| 1 | Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez: Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. UMC 2002: 126-136 | |
| 1 | Miguel A. Gutiérrez-Naranjo | [4] |
| 2 | Francisco-Jesús Martín-Mateos | [1] |
| 3 | Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) | [1] [2] [4] |
| 4 | Agustin Riscos-Núñez | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page