Tomás Diaz

According to our database, Tomás Diaz authored at least 7 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Porous Silicon Gas Sensors: The Role of the Layer Thickness and the Silicon Conductivity.

Francisco Ramírez-González, Godofredo García Salgado, Enrique Rosendo, Tomás Díaz, Fabiola Nieto-Caballero, Antonio Coyopol, Román Romano, Alberto Luna, Karim Monfil, Erick Gastellou

Sensors, 2020

A mechanized formalization of GraphQL.

Tomás Díaz, Federico Olmedo, Éric Tanter

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

A trustworthy mechanized formalization of R.

Martin Bodin, Tomás Diaz, Éric Tanter

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2015

Demo abstract MoodChat: Using context-awareness to connect likeminded co-located individuals.

Tomás Díaz, Christine Julien

Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communication Workshops, 2015

2008

Fabrication, characterization, and analysis of photodetectors metal-porous silicon with different geometry and thickness of the porous silicon layer.

Godofredo García Salgado, R. Hernández, Javier Martínez, Tomás Díaz, Héctor Juárez, Enrique Rosendo, Reina Galeazzi, A. García, G. Juárez

Microelectron. J., 2008

Low temperature SnO₂ films deposited by APCVD.

Crisóforo Morales, Héctor Juárez, Tomás Díaz, Yasuhiro Matsumoto, Enrique Rosendo, Godofredo Garcia, M. Rubin, F. Mora, Mauricio Pacio, A. García

Microelectron. J., 2008

Analog switch device using a MOS structure.

Héctor Juárez, Tomás Díaz, Mauricio Pacio, C. Pacheco, E. Rosendo, G. García Salgado, M. Rubin, G. Romero, A. García, C. Morales

Microelectron. J., 2008