Felix Weiss

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An exact penalty approach for general ℓ <sub>0</sub> -sparse optimization problems Optimization Methods & Software	2026-03-03	Paper
Beam modeling in a floating frame of reference for torsion dynamics of helicopter rotor blades Multibody System Dynamics	2025-04-29	Paper
The sparse(st) optimization problem: reformulations, optimality, stationarity, and numerical results Computational Optimization and Applications	2025-01-20	Paper
An Exact Penalty Approach for General \ell₀ -Sparse Optimization Problems	2023-12-25	Paper
The Sparse(st) Optimization Problem: Reformulations, Optimality, Stationarity, and Numerical Results	2022-10-18	Paper
Intuitionistic implication makes model checking hard Logical Methods in Computer Science	2012-05-16	Paper
The model checking problem for propositional intuitionistic logic with one variable is \(\text{AC}^1\)-complete	2012-01-23	Paper
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions Lecture Notes in Computer Science	2010-08-31	Paper

Research outcomes over time

This page was built for person: Felix Weiss