Dirk Fuchs
According to our database1,
Dirk Fuchs
authored at least 14 papers
between 1997 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
UV-Light-Tunable p-/n-Type Chemiresistive Gas Sensors Based on Quasi-1D TiS3 Nanoribbons: Detection of Isopropanol at ppm Concentrations.
Sensors, 2022
2000
1999
J. Univers. Comput. Sci., 1999
J. Artif. Intell. Res., 1999
Fundam. Informaticae, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998
Proceedings of the Third International Conference on Multiagent Systems, 1998
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
1997
Proceedings of the Progress in Artificial Intelligence, 1997
Proceedings of the Automated Deduction, 1997