Johannes Schmidt
Orcid: 0000-0001-8551-1624Affiliations:
- Jönköping University, Sweden
- Linköping University, Sweden (former)
- Aix-Marseille Université, France (former)
According to our database1,
Johannes Schmidt
authored at least 21 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
1
1
1
1
1
1
1
1
1
1
1
1
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
ACM Trans. Comput. Log., 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2021
The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems.
Theor. Comput. Sci., 2021
2020
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020
2019
2017
Proceedings of the Language and Automata Theory and Applications, 2017
2015
2014
ACM Trans. Comput. Log., 2014
Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
PhD thesis, 2012
J. Log. Comput., 2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Computational Models of Argument, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010