Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pedro Merino
Map detail
Pedro Merino4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipPedro MerinoAPedro MerinoResearcherAn enriched second-order method for nonconvex composite sparse optimization problemsWAn enriched second-orde...preprint / 2021Static Analysis using Parameterised Boolean Equation SystemsWStatic Analysis using P...preprint / 2006Using Model Checking to Generate Test Cases for Android ApplicationsWUsing Model Checking to...preprint / 2015
Person3 links

Pedro Merino

Researcher