Works by Jiménez Pérez, Mario


Results: 79
    1

    Simulating and validating virus machines.

    Published in:
    Natural Computing, 2025, v. 24, n. 2, p. 311, doi. 10.1007/s11047-025-10013-0
    By:
    • Orellana-Martín, David;
    • Ramírez-de-Arellano, Antonio;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    2
    3
    4
    5
    6

    Preface.

    Published in:
    2016
    By:
    • Gheorghe, Marian;
    • Păun, Gheorghe;
    • Pérez-Jiménez, Mario;
    • Riscos-Núñez, Agustín
    Publication type:
    Editorial
    7
    8
    9
    10

    On spiking neural P systems.

    Published in:
    Natural Computing, 2010, v. 9, n. 2, p. 475, doi. 10.1007/s11047-009-9159-3
    By:
    • Ibarra, Oscar H.;
    • Pérez-Jiménez, Mario J.;
    • Yokomori, Takashi
    Publication type:
    Article
    11
    12
    13
    14

    PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 1, doi. 10.1142/S0129054111007770
    By:
    • FREUND, RUDOLF;
    • GHEORGHE, MARIAN;
    • MARCUS, SOLOMON;
    • MITRANA, VICTOR;
    • PÉREZ-JIMÉNEZ, MARIO J.
    Publication type:
    Article
    15

    ON A PARTIAL AFFIRMATIVE ANSWER FOR A PĂUN'S CONJECTURE.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 55, doi. 10.1142/S0129054111007824
    By:
    • PÉREZ-HURTADO, IGNACIO;
    • PÉREZ-JIMÉNEZ, MARIO J.;
    • RISCOS-NÚÑEZ, AGUSTÍN;
    • GUTIÉRREZ-NARANJO, MIGUEL A.;
    • RIUS-FONT, MIQUEL;
    • Mitrana, Victor
    Publication type:
    Article
    16
    17
    18
    19

    AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 119, doi. 10.1142/S0129054111007885
    By:
    • BARBUTI, ROBERTO;
    • MAGGIOLO-SCHETTINI, ANDREA;
    • MILAZZO, PAOLO;
    • TINI, SIMONE;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    20

    FORMAL VERIFICATION OF P SYSTEMS USING SPIN.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 133, doi. 10.1142/S0129054111007897
    By:
    • IPATE, FLORENTIN;
    • LEFTICARU, RALUCA;
    • TUDOSE, CRISTINA;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    21

    FUNCTIONS DEFINED BY REACTION SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 167, doi. 10.1142/S0129054111007927
    By:
    • EHRENFEUCHT, ANDRZEJ;
    • MAIN, MICHAEL;
    • ROZENBERG, GRZEGORZ;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    22
    23

    POSITIONED AGENTS IN ECO-GRAMMAR SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 237, doi. 10.1142/S0129054111007988
    By:
    • LANGER, MIROSLAV;
    • KELEMENOVÁ, ALICA;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    24
    25

    COMPUTING MORPHISMS BY SPIKING NEURAL P SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1371, doi. 10.1142/S0129054107005418
    By:
    • PĂUN, GHEORGHE;
    • PÉREZ-JIMÉNEZ, MARIO J.;
    • ROZENBERG, GRZEGORZ;
    • Truthe, B.
    Publication type:
    Article
    26

    SPIKING NEURAL P SYSTEMS:: AN EARLY SURVEY.

    Published in:
    International Journal of Foundations of Computer Science, 2007, v. 18, n. 3, p. 435, doi. 10.1142/S0129054107004772
    By:
    • PĂUN, GHEORGHE;
    • PÉREZ-JIMÉNEZ, MARIO J.;
    • SALOMAA, ARTO
    Publication type:
    Article
    27

    SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 975, doi. 10.1142/S0129054106004212
    By:
    • PĂun, Gheorghe;
    • Pérez-Jiménez, Mario J.;
    • Rozenberg, Grzegorz
    Publication type:
    Article
    28

    ON SIMULATING A CLASS OF PARALLEL ARCHITECTURES.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 1, p. 91, doi. 10.1142/S0129054106003711
    By:
    • Ceterchi, Bodica;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    29
    30
    31
    32
    33

    Spiking Neural P Systems with Several Types of Spikes.

    Published in:
    International Journal of Computers, Communications & Control, 2011, v. 6, n. 4, p. 648, doi. 10.15837/ijccc.2011.4.2092
    By:
    • Ionescu, Mihai;
    • Păun, Gheorghe;
    • Pérez-Jiménez, Mario J.;
    • Rodríguez-Patón, Alfonso
    Publication type:
    Article
    34
    35

    Tissue P Systems with Cell Division.

    Published in:
    International Journal of Computers, Communications & Control, 2008, v. 3, n. 3, p. 295, doi. 10.15837/ijccc.2008.3.2397
    By:
    • Păun, Gheorghe;
    • Pérez-Jiménez, Mario J.;
    • Riscos-Núñez, Agustín
    Publication type:
    Article
    36
    37
    38
    39

    Simulation of P systems with active membranes on CUDA.

    Published in:
    Briefings in Bioinformatics, 2010, v. 11, n. 3, p. 313, doi. 10.1093/bib/bbp064
    By:
    • Cecilia, José M.;
    • García, José M.;
    • Guerrero, Ginés D.;
    • Martínez-del-Amor, Miguel A.;
    • Pérez-Hurtado, Ignacio;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50