Juan José Sánchez Penas  

Profesor asociado tipo 3 (ASOC-3)

Department Computer Science and Information Technologies
Knowledgment area Computational Science and Artificial Intelligence
Research  Research group Models and Applications of Distributed Systems
Research lines No data available from Curriculum Management System at UDC. (SUXI).
Contacto UDC directory
Scopus57198660045

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 57
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 30
Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 55
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 30
Master's Dissertation
Master's in Computer Engineering
0 2
Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 57
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 30
Master's Dissertation
Master's in Computer Engineering
0 2
Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 45
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 30
Master's Dissertation
Master's in Computer Engineering
0 10
Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 60
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 26
Subject and involved studies Distance hours Total hours
Concurrency and Parallelism
Degree in Computer Engineering
0 60
Design of Information Systems
Master's in Computer Engineering
0 63
Human Machine Interfaces
Degree in Computer Engineering
0 26
Master's Dissertation
Master's in Computer Engineering
0 10

Defined tutoring by teacher for 2025/2026 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Wednesday
12:30 a 14:30 		Teams
1st quarter Friday
12:30 a 14:30 		Teams
2nd quarter Thursday
12:30 a 14:30 		Teams
2nd quarter Friday
12:30 a 14:30 		Teams

EOG works and final master thesis directed

Directed or codirected by current teacher since 2013 year.

Development of custom proesthetics with fre software and hardware

Research results

Select merit type and year to query research merits.

CONTRATO ART. 83 PARA A ADAPTACIÓN DO SERVIDOR DE VIDEO VODKA Á TELEVISIÓN DIXITAL ENTRE LAMBDASTREAM SERVICIOS INTERACTIVOS S.L., VICTOR MANUEL GULÍAS FERNÁNDEZ E A FUA C

Funding entity LAMBDASTREAM SERVICIOS INTERACTIVOS S.L.
Type Contrato
Dates From 01/10/2005 to 30/09/2006

CONTRATO ART. 83 PARA A ADAPTACIÓN DO SERVIDOR DE VIDEO VODKA Á TELEVISIÓN DIXITAL ENTRE LAMBDASTREAM SERVICIOS INTERACTIVOS S.L., VICTOR MANUEL GULÍAS FERNÁNDEZ E A FUA C

Funding entity LAMBDASTREAM SERVICIOS INTERACTIVOS S.L.
Type Contrato
Dates From 01/10/2005 to 30/09/2006

-

Funding entity LAMBDASTREAM SERVICIOS INTERACTIVOS S.L.
Type Contrato
Dates From 01/10/2005 to 30/09/2006

Model checking a video-on-demand server using Mcerlang

Authors Lars-Ake Fredlund, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 539 to 546)

Towards a Certified and Efficient Computing of Gröbner Bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 111 to 120)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel

Authors 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
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel

Authors 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
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230)

Lambda Goes to Hollywood

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (pages 391 to 407)

Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Place 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)
International

Authors Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
Place 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
International

Authors 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
Place España

Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
International

Authors Juan José Sánchez Penas, Carlos Abalde Ramiro
Place Uppsala (Suecia)