Luz Amanda Garcia

Affiliations:

Polytechnic University of Turin, Italy

According to our database¹, Luz Amanda Garcia authored at least 5 papers between 2008 and 2021.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Modules and Techniques for Motion Planning: An Industrial Perspective.

[BibT_eX]

[DOI]

Stefano Quer

Luz Amanda Garcia

Sensors, 2021

2010

Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2009

Speeding up model checking by exploiting explicit and hidden verification constraints.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2008

Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

Luz Amanda Garcia

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...