We stand with Ukraine  

David Cortés Sáenz

Orcid: 0000-0003-1459-6127

Affiliations:
  • University of Ciudad Juárez, Department of Design, Mexico


According to our database1, David Cortés Sáenz authored at least 3 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Formal Verification of a Mechanical Ventilator using UPPAAL.
[BibTeX]
[DOI]
Jaime Cuartas
,
David Cortés
,
Joan S. Betancourt
,
Jesús Aranda
,
José I. García
,
Andrés M. Valencia
,
James Ortiz
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2019
Design Process: The Importance of Its Implementation.
[BibTeX]
[DOI]
Leticia Castillo
,
David Cortés
,
Cesar O. Balderrama-Armendariz
Proceedings of the 2nd International Conference on Human Systems Engineering and Design: Future Trends and Applications, 2019

2015
A fuzzy approach for the selection of non-traditional sheet metal cutting processes.
[BibTeX]
[DOI]
David Cortés Sáenz
,
Nelly Gordillo Castillo
,
Carles Riba Romeva
,
Joaquim Lloveras Macià
Expert Syst. Appl., 2015


  Loading...