Aurelio Arenas
Orcid: 0000-0003-1569-4853
According to our database1,
Aurelio Arenas
authored at least 6 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 9th International Conference on Control, 2023
2022
2019
Proceedings of the 5th International Conference on Event-Based Control, 2019
2009
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
2001
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybern. Syst., 2001
1997
Formal Specification of a Scanning Tunnelling Microscope.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997