Juan José Sánchez Penas  

(ASOC-3)

Department Computer Science
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

Teaching

Subjects taught

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

Subject and involved studies Total hours
Concurrency and Parallelism 60
Design of Information Systems 42
Human Machine Interfaces 47
Subject and involved studies Total hours
Concurrency and Parallelism
Degree in Computer Engineering
60
Design of Information Systems
Master's in Computer Engineering
63
Human Machine Interfaces
Degree in Computer Engineering
20
Subject and involved studies Total hours
Concurrency and Parallelism
Degree in Computer Engineering
60
Design of Information Systems
Master's in Computer Engineering
63
Final Project. Mention in Information Systems
Degree in Computer Engineering
8
Human Machine Interfaces
Degree in Computer Engineering
10
Work Placement
Degree in Computer Engineering
Degree in Computer Engineering
6
Subject and involved studies Total hours
Concurrency and Parallelism
Degree in Computer Engineering
15
Design of Information Systems
Master's in Computer Engineering
63
Work Placement
Degree in Computer Engineering
Degree in Computer Engineering
10
Subject and involved studies Total hours
Design of Information Systems
Master's in Computer Engineering
63
Final Project. Mention in Information Systems
Degree in Computer Engineering
4
Final Project. Mention in Software Engineering
Degree in Computer Engineering
23
Subject and involved studies Total hours
Design of Information Systems
Master's in Computer Engineering
63
Software Design
Degree in Computer Engineering
20

Defined tutoring by teacher for 2018/2019 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Tuesday
11:30 a 13:00
Despacho 1.10. Edificio Área Científica
1st quarter Thursday
11:30 a 13:00
Despacho 1.10. Edificio Área Científica

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.

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)