Emmanuel Rodriguez

According to our database, Emmanuel Rodriguez authored at least 9 papers between 2009 and 2022.

Collaborative distances:

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

2022

Correction: Garcia et al. Primary Model for Biomass Growth Prediction in Batch Fermentation. Symmetry 2021, 13, 1468.

Blanca E. Garcia, Emmanuel Rodriguez, Yolocuauhtli Salazar, Paul Antonio Valle, Adriana C. Flores-Gallegos, O. Miriam Rutiaga-Quiñones, Raul Rodriguez-Herrera

Symmetry, 2022

Computational Design of Laser-Cut Bending-Active Structures.

Emmanuel Rodriguez, Georges-Pierre Bonneau, Stefanie Hahmann, Mélina Skouras

Comput. Aided Des., 2022

2021

Primary Model for Biomass Growth Prediction in Batch Fermentation.

Yolocuauhtli Salazar, Emmanuel Rodriguez, Paul Antonio Valle, Blanca E. Garcia

Symmetry, 2021

2015

Compositional Model Checking of Concurrent Systems.

Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang

IEEE Trans. Computers, 2015

Improving REST Service Discovery with Unsupervised Learning Techniques.

Juan Manuel Rodriguez, Alejandro Zunino, Cristian Mateos, Felix Oscar Segura, Emmanuel Rodriguez

Proceedings of the Ninth International Conference on Complex, 2015

2012

A Compositional Minimization Approach for Large Asynchronous Design Verification.

Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers

Proceedings of the Model Checking Software - 19th International Workshop, 2012

An Improvement in Partial Order Reduction Using Behavioral Analysis.

Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011

A Behavioral Analysis Approach for Efficient Partial Order Reduction.

Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2009

Optimal design of conical springs.

Manuel Paredes, Emmanuel Rodriguez

Eng. Comput., 2009