Arturo Sanchez
Orcid: 0000-0001-5453-0478
According to our database1,
Arturo Sanchez
authored at least 15 papers
between 1997 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
2
1
1
1
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Impact of Multi-Thresholds and Vector Correction for Tracking Precipitating Systems over the Amazon Basin.
Remote. Sens., 2022
2012
Improving the Teaching of Discrete-Event Control Systems Using a LEGO Manufacturing Prototype.
IEEE Trans. Educ., 2012
2011
On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011
Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
2007
IEEE Trans. Syst. Man Cybern. Part C, 2007
2006
Proceedings of the 44st Annual Southeast Regional Conference, 2006
2005
Proceedings of the 18th Conference on Software Engineering Education and Training (CSEE&T 2005), 2005
2004
Toward a General Framework for Building Scientific Data Sharing Web Services.
Proceedings of the International Conference on Internet Computing, 2004
2003
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003
Proceedings of the 7th European Control Conference, 2003
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the Computer Safety, 1998
1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997