| High performance ATP systems by combining several AI methods J Denzinger, M Fuchs | 114 | 1996 |
| Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18 (2), 189-198, 1997 | 96 | 1997 |
| Lung nodule detection in CT images using deep convolutional neural networks R Golan, C Jacob, J Denzinger 2016 International joint conference on neural networks (IJCNN), 243-250, 2016 | 91 | 2016 |
| Knowledge-Based Distributed Search Using Teamwork. J Denzinger ICMAS, 81-88, 1995 | 87 | 1995 |
| DISCOUNT: A system for distributed equational deduction J Avenhaus, J Denzinger, M Fuchs International Conference on Rewriting Techniques and Applications, 397-402, 1995 | 83 | 1995 |
| Experiments in learning prototypical situations for variants of the pursuit game J Denzinger, M Fuchs Technische Universität Kaiserslautern, Fachbereich Informatik, 1999 | 82 | 1999 |
| On cooperation between evolutionary algorithms and other search paradigms J Denzinger, T Offermann Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No …, 1999 | 77 | 1999 |
| Semi-automating small-scale source code reuse via structural correspondence R Cottrell, RJ Walker, J Denzinger Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 67 | 2008 |
| Distributing equational theorem proving J Avenhaus, J Denzinger International Conference on Rewriting Techniques and Applications, 62-76, 1993 | 59 | 1993 |
| Evaluating different genetic operators in the testing for unwanted emergent behavior using evolutionary learning of behavior J Denzinger, J Kidney 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology …, 2006 | 58 | 2006 |
| Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996 | 58 | 1996 |
| Goal oriented equational theorem proving using team work J Denzinger, M Fuchs Annual Conference on Artificial Intelligence, 343-354, 1994 | 57 | 1994 |
| Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996 | 50 | 1996 |
| Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring J Denzinger, J Hamdan Web Intelligence and Agent Systems: An International Journal 4 (3), 255-270, 2006 | 49 | 2006 |
| Ontology-guided learning to improve communication between groups of agents M Afsharchi, BH Far, J Denzinger Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 48 | 2006 |
| Evolutionary online learning of cooperative behavior with situation-action pairs J Denzinger, M Kordt Proceedings Fourth International Conference on MultiAgent Systems, 103-110, 2000 | 48 | 2000 |
| Cooperation of heterogeneous provers J Denzinger, D Fuchs IJCAI 99, 10-15, 1999 | 45 | 1999 |
| Evolutionary behavior testing of commercial computer games B Chan, J Denzinger, D Gates, K Loose, J Buchanan Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No …, 2004 | 43 | 2004 |
| Planning for distributed theorem proving: The teamwork approach J Denzinger, M Kronenburg Annual Conference on Artificial Intelligence, 43-56, 1996 | 43 | 1996 |
| Determining detailed structural correspondence for generalization tasks R Cottrell, JJC Chang, RJ Walker, J Denzinger Proceedings of the the 6th joint meeting of the European software …, 2007 | 41 | 2007 |
