Model checking a video-on-demand server using Mcerlang
| Autores | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 539 ata 546) |
| Departamento | Ciencias da Computación e Tecnoloxías da Información |
| Área | Ciencia da computación e intelixencia artificial |
| Investigación | Grupo de investigación Models and Applications of Distributed Systems |
| Liñas de investigación | Aínda non figuran no xestor curricular da UDC (SUXI). |
| Contacto | Directorio da UDC |
| Scopus57198660045 | |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 2 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Concorrencia e Paralelismo | Obrigatorio | 0 | 57 |
| Deseño de Sistemas de Información | Obrigatorio | 0 | 63 |
| Interfaces Persoa Máquina | Obrigatorio | 0 | 30 |
| Traballo Fin de Máster | Obrigatorio | 0 | 2 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 45 |
|
Deseño de Sistemas de Información
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 63 |
|
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 30 |
|
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 60 |
|
Deseño de Sistemas de Información
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 63 |
|
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 26 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 60 |
|
Deseño de Sistemas de Información
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 63 |
|
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 26 |
|
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 60 |
|
Deseño de Sistemas de Información
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 63 |
|
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 26 |
Titorías definidas polo/a docente para o curso académico 2023/2024.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
mércores
12:30 a 14:30 |
Teams |
| Primeiro cuadrimestre |
venres
12:30 a 14:30 |
Teams |
| Segundo cuadrimestre |
xoves
12:30 a 14:30 |
Teams |
| Segundo cuadrimestre |
venres
12:30 a 14:30 |
Teams |
Dirixidos ou codirixidos polo/a docente desde o ano 2013.
| Desenvolvemento dunha prótese persoal con software e hardware libre |
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
Model checking a video-on-demand server using Mcerlang
| Autores | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 539 ata 546) |
Towards a Certified and Efficient Computing of Gröbner Bases
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (páxs. 111 ata 120) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (páxs. 220 ata 230) |
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (páxs. 220 ata 230) |
Lambda Goes to Hollywood
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (páxs. 391 ata 407) |
Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Lugar | España |
Translating Erlang to mCRL - Making Industrial Code Available for Research Tools
Fourth International Conference on Application of Concurrency to System Design (ACSD 2004)
Internacional
| Autores | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
| Lugar | Hamilton, Ontario (Canadá) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias |
| Lugar | España |
Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
Internacional
| Autores | Juan José Sánchez Penas, Carlos Abalde Ramiro |
| Lugar | Uppsala (Suecia) |