Fernando A. Galicia-Mendoza

According to our database, Fernando A. Galicia-Mendoza authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Linear temporal constraints for sketch-based synthesizers.

Fernando A. Galicia-Mendoza, David A. Rosenblueth, Armando Solar-Lezama

Formal Methods Syst. Des., June, 2026