Skip to content

Jrg Denzinger

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

35

Venues

21

Active years

1989–2020

Best venue rank

A*

Where they publish

Papers

35 indexed papers, newest first.

YearVenueTitleAuthors
2020ICTAIDecision Support for Combining Security Mechanisms using Exploratory Evolutionary Testing.Jonathan Hudson, Jrg Denzinger
2019CECUsing Exploratory Testing for Decision Support in Choosing a Security Mechanism.Jonathan Hudson, Jrg Denzinger
2017FlAIRSA Challenge for Multi-Party Decision Making: Malicious Argumentation Strategies.Andrew Kuipers, Jrg Denzinger
2016IJCNNLung nodule detection in CT images using deep convolutional neural networks.Rotem Golan, Christian Jacob, Jrg Denzinger
2015ICCSAGPS Data Interpolation: Bezier Vs. Biarcs for Tracing Vehicle Trajectory.Rahul Vishen, Marius-Calin Silaghi, Jrg Denzinger
2014GECCOPredicting patterns of gene expression during drosophila embryogenesis.Rotem Golan, Christian Jacob, Savraj Grewal, Jrg Denzinger
2014GECCODynamic multi-dimensional PSO with indirect encoding for proportional fair constrained resource allocation.Jonathan Hudson, Majid Ghaderi, Jrg Denzinger
2013GECCOTesting of precision agricultural networks for adversary-induced problems.Karel P. Bergmann, Jrg Denzinger
2012ICSELearning gestures for interacting with low-fidelity prototypes.Tulio de Souza Alcantara, Jrg Denzinger, Jennifer Ferreira, Frank Maurer
2010COMMAPitfalls in Practical Open Multi Agent Argumentation Systems: Malicious Argumentation.Andrew Kuipers, Jrg Denzinger
2009ICDMAn Attack on the Privacy of Sanitized Data that Fuses the Outputs of Multiple Data Miners.Michal Sramka, Reihaneh Safavi-Naini, Jrg Denzinger
2009SACDecentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.Holger Kasinger, Jrg Denzinger, Bernhard Bauer
2009VISSOFTCompare and contrast: Visual exploration of source code examples.Rylan Cottrell, Brina Goyette, Reid Holmes, Robert J. Walker, Jrg Denzinger
2008ICSEJigsaw: a tool for the small-scale reuse of source code.Rylan Cottrell, Robert J. Walker, Jrg Denzinger
2008PSTUtility of Knowledge Extracted from Unsanitized Data when Applied to Sanitized Data.Michal Sramka, Reihaneh Safavi-Naini, Jrg Denzinger, Mina Askari, Jie Gao
2008SACThe tale of the weather worm.Joe Szabo, John Aycock, Randal Acton, Jrg Denzinger
2007RO-MANBuildBot: Robotic Monitoring of Agile Software Development Teams.Ruth Ablett, Ehud Sharlin, Frank Maurer, Jrg Denzinger, Craig Schock
2006CHIAn interactive speech interface for summarizing agile project planning meetings.Shelly Park, Jrg Denzinger, Frank Maurer, Ehud Sharlin
2006ECAITesting the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior.Jordan Kidney, Jrg Denzinger
2005AIARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems.Jrg Denzinger, Jordan Kidney
2005ICDMCoLe: A Cooperative Data Mining Approach and Its Application to Early Diabetes Detection.Jie Gao, Jrg Denzinger, Robert C. James
2004AIOn Customizing Evolutionary Learning of Agent Behavior.Jrg Denzinger, Alvin Schur
2004CECEvolutionary behavior testing of commercial computer games.Ben Chan, Jrg Denzinger, Darryl Gates, Kevin Loose, John W. Buchanan
2004PRICAIUsing Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems.Jrg Denzinger, Tim Williams
2003CECImproving migration by diversity.Jrg Denzinger, Jordan Kidney
2003ICCSAAn Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: A Case Study with the Brazilian Central Bank.Vincius Guilherme Fracari Branco, Weigang Li, Maria Pilar Estrela Abad, Jrg Denzinger
2001PPAMCombining Parallel and Distributed Search in Automated Equational Deduction.Carsten Sinz, Jrg Denzinger, Jrgen Avenhaus, Wolfgang Kchlin
1999CECOn cooperation between evolutionary algorithms and other search paradigms.Jrg Denzinger, Tim Offermann
1999IJCAICooperation of Heterogeneous Provers .Jrg Denzinger, Dirk Fuchs
1997IJCAIHigh Performance ATP Systems by Combining Several AI Methods.Jrg Denzinger, Marc Fuchs, Matthias Fuchs
1996CADELearning Domain Knowledge to Improve Theorem Proving.Jrg Denzinger, Stephan Schulz
1996KIEquational Theorem Proving Using Taxonomic Constraints.Jrg Denzinger
1996KIPlanning for Distributed Theorem Proving: The Teamwork Approach.Jrg Denzinger, Martin Kronenburg
1994KIGoal Oriented Equational Theorem Proving Using Team Work.Jrg Denzinger, Matthias Fuchs
1989KIEQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.Jrg Denzinger, Jrgen Mller