Pedro Merino

From MaRDI portal
Person:263165

Available identifiers

zbMath Open merino.pedroDBLP95/1885WikidataQ92965483 ScholiaQ92965483MaRDI QIDQ263165

List of research outcomes





PublicationDate of PublicationType
6G-MOBKPI results: Network-layer and radio-related measurements from mobility experiments on the 6G-SANDBOX Málaga platform2025-01-12Dataset
Sparse optimal control of Timoshenko's beam using a locking-free finite element approximation2024-07-02Paper
The role of abstraction in model checking2023-08-17Paper
Numerical approximation of regularized non-convex elliptic optimal control problems by the finite element method2022-09-22Paper
Nonsmooth exact penalization second-order methods for incompressible bi-viscous fluids2021-12-08Paper
A Semismooth Newton Method for Regularized L q-quasinorm Sparse Optimal Control Problems2021-09-27Paper
Error estimates for the FEM approximation of optimal sparse control of elliptic equations with pointwise state constraints and finite‐dimensional control space2021-07-22Paper
An enriched second-order method for nonconvex composite sparse optimization problems2020-09-03Paper
A difference-of-convex functions approach for sparse PDE optimal control problems with nonconvex costs2019-09-04Paper
Second-order orthant-based methods with enriched Hessian information for sparse \(\ell _1\)-optimization2017-08-03Paper
A locking-free optimal control problem with $L^1$ cost for optimal placement of control devices in Timoshenko beam2017-07-23Paper
Finite element error estimates for an optimal control problem governed by the Burgers equation2016-04-04Paper
An adaptive numerical method for semi-infinite elliptic control problems based on error estimates2015-09-04Paper
On linear-quadratic elliptic control problems of semi-infinite type2011-06-20Paper
Error estimates for the finite element discretization of semi-infinite elliptic optimal control problems2011-05-18Paper
Error estimates for the finite element approximation of a semilinear elliptic control problem with state constraints and finite dimensional control space2010-04-15Paper
Model checking dynamic memory allocation in operating systems2009-08-31Paper
Optimality conditions for state-constrained PDE control problems with time-dependent controls2009-01-28Paper
Model Checking Software2007-05-02Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols2007-03-08Paper
A generalized semantics of PROMELA for abstract model checking2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q47384882004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44119742003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q43564401998-01-14Paper

Research outcomes over time

This page was built for person: Pedro Merino