Pedro Merino

Available identifiers

zbMath Open merino.pedroDBLP95/1885WikidataQ92965483 ScholiaQ92965483MaRDI QIDQ263165

List of research outcomes

Publication	Date of Publication	Type
6G-MOBKPI results: Network-layer and radio-related measurements from mobility experiments on the 6G-SANDBOX Málaga platform	2025-01-12	Dataset
Sparse optimal control of Timoshenko's beam using a locking-free finite element approximation	2024-07-02	Paper
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
Optimality conditions for state-constrained PDE control problems with time-dependent controls	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

This page was built for person: Pedro Merino