Diseño y análisis formal de sistemas de software
FADOSS
Universidad de Salamanca
Salamanca, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Salamanca (8)
2021
-
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model
Advances in Intelligent Systems and Computing
2019
-
Soft Set Theory for Decision Making in Computational Biology under Incomplete Information
IEEE Access, Vol. 7, pp. 18183-18193
2017
-
Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search
BioMed Research International, Vol. 2017
-
Reverse inference in symbolic systems biology
Advances in Intelligent Systems and Computing
2016
-
Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach
Advances in Intelligent Systems and Computing
2009
-
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008
-
Rewriting logic using strategies for neural networks: An implementation in Maude
Advances in Soft Computing
2007
-
Solving Sudoku Puzzles with Rewriting Rules
Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 79-93