Publicaciones en colaboración con investigadores/as de Stanford University (4)

2021

  1. Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model

    Advances in Intelligent Systems and Computing

1995

  1. From abstract data types to logical frameworks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1991

  1. From petri nets to linear logic

    Mathematical Structures in Computer Science, Vol. 1, Núm. 1, pp. 69-101

1989

  1. From Petri nets to linear logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)