Marcelo Arroyo
According to our database1,
Marcelo Arroyo
authored at least 5 papers
between 2005 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Proceedings of the Fundamental Approaches to Software Engineering, 2021
2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2016
Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016
2013
Teaching Parallel and Distributed Computing to Undergraduate Computer Science Students.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
2005
Proceedings of the Formal Methods and Software Engineering, 2005