Pedro Merino

Available identifiers

zbMath Open merino.pedroWikidataQ92965483 ScholiaQ92965483MaRDI QIDQ263165

List of research outcomes

Publication	Date of Publication	Type
The role of abstraction in model checking	2023-08-17	Paper
Numerical approximation of regularized non-convex elliptic optimal control problems by the finite element method	2022-09-22	Paper
Nonsmooth exact penalization second-order methods for incompressible bi-viscous fluids	2021-12-08	Paper
A Semismooth Newton Method for Regularized L q-quasinorm Sparse Optimal Control Problems	2021-09-27	Paper
Error estimates for the FEM approximation of optimal sparse control of elliptic equations with pointwise state constraints and finite‐dimensional control space	2021-07-22	Paper
An enriched second-order method for nonconvex composite sparse optimization problems	2020-09-03	Paper
A difference-of-convex functions approach for sparse PDE optimal control problems with nonconvex costs	2019-09-04	Paper
Second-order orthant-based methods with enriched Hessian information for sparse \(\ell _1\)-optimization	2017-08-03	Paper
A locking-free optimal control problem with $L^1$ cost for optimal placement of control devices in Timoshenko beam	2017-07-23	Paper
Finite element error estimates for an optimal control problem governed by the Burgers equation	2016-04-04	Paper
An adaptive numerical method for semi-infinite elliptic control problems based on error estimates	2015-09-04	Paper
On linear-quadratic elliptic control problems of semi-infinite type	2011-06-20	Paper
Error estimates for the finite element discretization of semi-infinite elliptic optimal control problems	2011-05-18	Paper
Error estimates for the finite element approximation of a semilinear elliptic control problem with state constraints and finite dimensional control space	2010-04-15	Paper
Model checking dynamic memory allocation in operating systems	2009-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5506059	2009-01-28	Paper
Model Checking Software	2007-05-02	Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols	2007-03-08	Paper
A generalized semantics of PROMELA for abstract model checking	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738488	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411974	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4356440	1998-01-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro Merino