Tomás Diaz

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

Collaborative distances:

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

2026

Bounded Sort Polymorphism with Elimination Constraints.

Johann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Théo Winterhalter

Proc. ACM Program. Lang., 2026

2025

Flexible and Expressive Typed Path Patterns for GQL.

Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc

Proc. ACM Program. Lang., 2025

Incremental Certified Programming.

Tomás Díaz, Kenji Maillard, Nicolas Tabareau, Éric Tanter

Proc. ACM Program. Lang., 2025

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, Gabriel 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