Publicaciones (21) Publicaciones de Juan José Sánchez Penas

2007

  1. Model checking a video-on-demand server using McErlang

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

2005

  1. Fisterra: gestión de empresa con software libre

    Libro de actas

  2. Serval: software libre para la gestión de VLANs en Internet

    Libro de actas

  3. Towards a certified and efficient computing of gröbrier bases

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

2004

  1. Development of a scalable, fault tolerant, and low cost cluster-based e-payment system with a distributed functional kernel

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2809, pp. 220-230

  2. Translating Erlang to μCRL

    Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

2003

  1. Extending the VoDKA architecture to improve resource modelling

    Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03

  2. Lambda goes to Hollywood

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2562, pp. 391-407

  3. VoDkaV tool: model checking for extracting global scheduler properties from local restrictions

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

2002

  1. Global scheduler properties derived from local restrictions

    ACM SIGPLAN Erlang Workshop

  2. LDAP (II): diseño y despliegue de un servicio de directorios

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 4, Núm. 24, pp. 68-73

2001

  1. Fusion in Coq

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

  2. Haskell: programación funcional pura

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 3, Núm. 18, pp. 61-64

  3. Netfilter, mutilación de paquetes en Linux 2.4: (especial Linux Expo)

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 3, Núm. 18, pp. 22

  4. Netfilter: filtrado y reescritura de paquetes

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 3, Núm. 18, pp. 74-77

  5. PAM [Pluggable Autentification Method] en GNU/ Linux

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 3, Núm. 19, pp. 71-77

  6. Persistent haskell

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2178, pp. 657-667

  7. The tertiary level in a functional cluster-based hierarchical VoD server

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2178, pp. 540-554

2000

  1. Firewalls (III): Gauntlet vs TIS FWT

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 2, Núm. 10, pp. 76-78

1999

  1. Firewalls (I): conceptos teóricos

    Linux Actual: la primera revista en castellano del sistema operativo Gnu/Linux, Año 1, Núm. 8, pp. 43-47