Lehilton L. C. Pedrosa
Orcid: 0000-0003-1001-082X
According to our database1,
Lehilton L. C. Pedrosa
authored at least 30 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Comb. Optim., November, 2024
Theory Comput. Syst., June, 2024
2023
Positional Knapsack Problem: NP-hardness and approximation scheme (Brief Announcement).
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, 2023
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, 2023
2022
Algorithmica, 2022
Proceedings of the LATIN 2022: Theoretical Informatics, 2022
2021
Oper. Res. Lett., 2021
Algorithmica, 2021
Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, 2021
Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, 2021
2020
Proceedings of the LATIN 2020: Theoretical Informatics, 2020
2019
Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, 2019
Proceedings of the 14th International Symposium on Parameterized and Exact Computation, 2019
An Asymptotically Optimal Approximation Algorithm for the Travelling Car Renter Problem.
Proceedings of the 19th Symposium on Algorithmic Approaches for Transportation Modelling, 2019
2018
Algorithmica, 2018
Itssafe: An Intelligent Transportation System for Improving Safety and Traffic Efficiency.
Proceedings of the 87th IEEE Vehicular Technology Conference, 2018
2017
Theory Comput. Syst., 2017
J. Comb. Optim., 2017
2016
Algorithmica, 2016
2015
A systematic approach to bound factor-revealing LPs and its application to the metric and squared metric facility location problems.
Math. Program., 2015
2014
Proceedings of the Algorithms - ESA 2014, 2014
2013
Softw. Test. Verification Reliab., 2013
2011
2010
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
A New Method for Incremental Testing of Finite State Machines.
Proceedings of the Second NASA Formal Methods Symposium, 2010