| 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
Optimal Control Applications & Methods | 2024-07-02 | Paper |
The role of abstraction in model checking
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 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
Computational Optimization and Applications | 2021-12-08 | Paper |
A semismooth Newton method for regularized \(L^q\)-quasinorm sparse optimal control problems
Lecture Notes in Computational Science and Engineering | 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
Optimal Control Applications & Methods | 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
Computational Optimization and Applications | 2019-09-04 | Paper |
Second-order orthant-based methods with enriched Hessian information for sparse \(\ell _1\)-optimization
Computational Optimization and Applications | 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
Computational Optimization and Applications | 2016-04-04 | Paper |
An adaptive numerical method for semi-infinite elliptic control problems based on error estimates
Optimization Methods & Software | 2015-09-04 | Paper |
On linear-quadratic elliptic control problems of semi-infinite type
Applicable Analysis | 2011-06-20 | Paper |
Error estimates for the finite element discretization of semi-infinite elliptic optimal control problems
Discussiones Mathematicae. Differential Inclusions, Control and Optimization | 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
ESAIM: Mathematical Modelling and Numerical Analysis | 2010-04-15 | Paper |
Model checking dynamic memory allocation in operating systems
Journal of Automated Reasoning | 2009-08-31 | Paper |
| Optimality conditions for state-constrained PDE control problems with time-dependent controls | 2009-01-28 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
PiXL: applying XML standards to support the integration of analysis tools for protocols
Science of Computer Programming | 2007-03-08 | Paper |
A generalized semantics of PROMELA for abstract model checking
Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2087639 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1948409 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1069488 (Why is no real title available?) | 1998-01-14 | Paper |
