Electronic suplementary material
  • GNB-UAM GitHub with software tools and models for neuroscience research.
  • RTHybrid software for building and automatic calibration of hybrid circuits between living and model neurons described in the papers R. Amaducci, M. Reyes-Sanchez, I. Elices, F.B. Rodriguez, P. Varona. 2019. RTHybrid: A Standardized and Open-Source Real-Time Software Model Library for Experimental Neuroscience. Frontiers in Neuroinformatics 13:11 and M. Reyes-Sanchez, R. Amaducci, I. Elices, F.B. Rodriguez, P. Varona. 2020. Automatic adaptation of model neurons and connections to build hybrid circuits with living networks. Neuroinformatics 18: 377–393.
  • Code from "Temporal code-driven stimulation: definition and application to electrocommunication", Angel Lareo, Caroline Garcia Forlim, Reynaldo Daniel Pinto, Pablo Varona, Francisco B. Rodriguez, 2015.
  • Experimental Data from "Delay-dependent response in weakly electric fish under closed-loop pulse stimulation", Caroline Garcia Forlim, Reynaldo Daniel Pinto, Pablo Varona, Francisco B. Rodriguez, 2015.
  • Code for the protocols analyzed in "Methodological security verification of a registration protocol", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez.
  • Code for the protocols analyzed in "On securing online registration protocols: formal verification of a new proposal", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez.
  • Code for the protocols analyzed in "A formal methodology for integral security design and verification of network protocols", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez.
  • Code formalization for ProVerif of the CHAT-SRP protocol, included in the article "Formal security analysis of registration protocols for interactive systems: a methodology and a case of study", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez, arXiv:1201.1134.
  • Code formalization for ProVerif of the WEP Shared Key Authentication protocol, included in the article "A formal methodology for integral security design and verification of network protocols", by Jesus Diaz, David Arroyo and Francisco B. Rodriguez, arXiv:1201.5666.
  • Spike alignment software to implement the method described in the paper L.F. Lago-Fernandez, A. Szucs, P. Varona. "Determining burst firing time distributions from multiple spike trains". Neural Computation 21(4): 973-990 (2009).
  • Stand-alone code to control stepper motors under Linux with RTAI from the paper "Real-time control of stepper motors for mechanosensory stimulation" by C. Muniz, R. Levi, M. Benkrid, F.B. Rodriguez, P. Varona, Journal of Neuroscience Methods 172 (1): 105-111 (2008).
  • Advanced Dynamic Clamp (ADCLAMP) page.
  • Detailed equation description and parameter values for the model used in the paper "Structural inhomogeneities differentially modulate action currents and population spikes initiated in the axon or dendrites" by L. López-Aguado L.,  J.M. Ibarz, P. Varona and O. Herreras, J. Neurophysiol. 88(5): 2809-2820 (2002).
  • Detailed equation description and parameter values for the model used in "Macroscopic and Subcellular Factors Shaping Population Spikes", J. Neurophysiol., 83 (4): 2192-2208 by P. Varona, J. M. Ibarz, L. López, O. Herreras. 2000.