Felix Weiss
Orcid: 0000-0002-1685-3732
According to our database1,
Felix Weiss
authored at least 9 papers
between 2010 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
The sparse(st) optimization problem: reformulations, optimality, stationarity, and numerical results.
Comput. Optim. Appl., January, 2025
2014
Comput. Complex., 2014
Zur Bereitstellung amtlicher Mikrodaten für die Wissenschaft aus sozialwissenschaftlicher Perspektive.
AStA Wirtschafts und Sozialstatistisches Arch., 2014
2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete.
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011
2010
J. Appl. Log., 2010
The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete
CoRR, 2010
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions.
Proceedings of the Reachability Problems, 4th International Workshop, 2010