Jörg Denzinger

Orcid: 0000-0002-1450-8230

Affiliations:
  • University of Calgary, Canada


According to our database1, Jörg Denzinger authored at least 106 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
API usage templates via structural generalization.
J. Syst. Softw., April, 2024

2020
(Energy) Policies Can Be Complicated: So Be Careful With Your Simulators!
Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020

Decision Support for Combining Security Mechanisms using Exploratory Evolutionary Testing.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019
Using Simple Games to Evaluate Self-Organization Concepts: a Whack-a-mole Case Study.
Proceedings of the IEEE Conference on Games, 2019

Using Active Probing by a Game Management AI to Faster Classify Players.
Proceedings of the IEEE Conference on Games, 2019

Using Exploratory Testing for Decision Support in Choosing a Security Mechanism.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018
Extending the Advisor Concept to Deal with Known-Ahead Transportation Tasks.
Proceedings of the Internet and Distributed Computing Systems, 2018

2017
A Challenge for Multi-Party Decision Making: Malicious Argumentation Strategies.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Focusing Learning-Based Testing Away from Known Weaknesses.
Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

2016
Lung nodule detection in CT images using deep convolutional neural networks.
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

2015
Automated Testing of Physical Security: Red Teaming Through Machine Learning.
Comput. Intell., 2015

Risk management for self-adapting self-organizing emergent multi-agent systems performing dynamic task fulfillment.
Auton. Agents Multi Agent Syst., 2015

GPS Data Interpolation: Bezier Vs. Biarcs for Tracing Vehicle Trajectory.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

Mining game logs to create a playbook for unit AIs.
Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

2014
Learning cooperative behavior for the shout-ahead architecture.
Web Intell. Agent Syst., 2014

Adaptive agent abstractions to speed up spatial agent-based simulations.
Simul. Model. Pract. Theory, 2014

DisSLib: CC: A Library for Distributed Search with a Central Common Search State.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Dynamic multi-dimensional PSO with indirect encoding for proportional fair constrained resource allocation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Predicting patterns of gene expression during drosophila embryogenesis.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Automated testing for cyber threats to ad-hoc wireless networks.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Cyber Security, 2014

2013
An Advisor Concept for Distributed Self-organizing Systems Acting in Highly Connected Environments.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2013

A Hybrid Machine Learning Method and Its Application in Municipal Waste Prediction.
Proceedings of the Advances in Data Mining. Applications and Theoretical Aspects, 2013

Testing of precision agricultural networks for adversary-induced problems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Creating large numbers of game AIs by learning behavior for cooperating units.
Proceedings of the 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013

2012
Learning gestures for interacting with low-fidelity prototypes.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

A Hybrid Cooperative Behavior Learning Method for a Rule-Based Shout-Ahead Architecture.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

The huddle: Combining AI techniques to coordinate a player's game characters.
Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012

The Gold Standard: Automatically Generating Puzzle Game Levels.
Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2011
Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Self-organized Middle-Out Abstraction.
Proceedings of the Self-Organizing Systems - 5th International Workshop, 2011

Evaluating goal ordering structures for testing harbour security policies.
Proceedings of the 2011 IEEE Symposium on Computational Intelligence for Security and Defense Applications, 2011

User-preference-based automated level generation for platform games.
Proceedings of the 2011 IEEE Conference on Computational Intelligence and Games, 2011

Behavior Learning-Based Testing of Starcraft Competition Entries.
Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2011

2010
Imitation as a Mechanism of Cultural Transmission.
Artif. Life, 2010

Decentralized Real-Time Control of Water Distribution Networks Using Self-Organizing Multi-agent Systems.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Adapting environment-mediated self-organizing emergent systems by exception rules.
Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

A practice-oriented framework for measuring privacy and utility in data sanitization systems.
Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010

Pitfalls in Practical Open Multi Agent Argumentation Systems: Malicious Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009
Enhancing communication with groups of agents using learned non-unanimous ontology concepts.
Web Intell. Agent Syst., 2009

Compare and contrast: Visual exploration of source code examples.
Proceedings of the 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

The end-to-end use of source code examples: An exploratory study.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

An Attack on the Privacy of Sanitized Data that Fuses the Outputs of Multiple Data Miners.
Proceedings of the ICDM Workshops 2009, 2009

Testing harbour patrol and interception policies using particle-swarm-based learning of cooperative behavior.
Proceedings of the 2009 IEEE Symposium on Computational Intelligence for Security and Defense Applications, 2009

Improving testing of multi-unit computer players for unwanted behavior using coordination macros.
Proceedings of the 2009 IEEE Symposium on Computational Intelligence and Games, 2009

2008
Build Notifications in Agile Environments.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

Semi-automating small-scale source code reuse via structural correspondence.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces.
Proceedings of the SIBGRAPI 2008, 2008

The Meaning of Semiochemicals to the Design of Self-Organizing Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

The tale of the weather worm.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Utility of Knowledge Extracted from Unsanitized Data when Applied to Sanitized Data.
Proceedings of the Sixth Annual Conference on Privacy, Security and Trust, 2008

AWeSOMe 2008 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Jigsaw: a tool for the small-scale reuse of source code.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Cooperative search for optimizing pipeline operations.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Determining detailed structural correspondence for generalization tasks.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

BuildBot: Robotic Monitoring of Agile Software Development Teams.
Proceedings of the IEEE RO-MAN 2007, 2007

Extracting NPC behavior from computer games using computer vision and machine learning techniques.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Games, 2007

2006
Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring.
Web Intell. Agent Syst., 2006

IDESS - A Multi Agent Based Simulation System for Rapid Development of Infectious Disease Models.
Int. Trans. Syst. Sci. Appl., 2006

A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search.
Int. Trans. Syst. Sci. Appl., 2006

Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior Using Evolutionary Learning of Behavior.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

An interactive speech interface for summarizing agile project planning meetings.
Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Ontology-guided learning to improve communication between groups of agents.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Multi-agent systems.
Comput. Syst. Sci. Eng., 2005

Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents.
Proceedings of the Smart Graphics, 5th International Symposium, 2005

CoLe: A Cooperative Data Mining Approach and Its Application to Early Diabetes Detection.
Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 2005

Combining Coaching and Learning to Create Cooperative Character Behavior.
Proceedings of the 2005 IEEE Symposium on Computational Intelligence and Games (CIG05), 2005

Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games.
Proceedings of the 2005 IEEE Symposium on Computational Intelligence and Games (CIG05), 2005

A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes.
Proceedings of the Autonomous Intelligent Systems: Agents and Data Mining, 2005

ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems.
Proceedings of the Advances in Artificial Intelligence, 2005

2004
Decision Support for Software Release Planning Using e-Assistants.
J. Decis. Syst., 2004

Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Improving Modeling of Other Agents using Tentative Stereotypes and Compactification of Observations.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Evolutionary behavior testing of commercial computer games.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Negotiating Gestalt: Artistic Expression and Coalition Formation in Multiagent Systems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Improving Modeling of Other Agents Using Stereotypes and Compactification of Observations.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

On Customizing Evolutionary Learning of Agent Behavior.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
Improving Evolutionary Learning of Cooperative Behavior by Including Accountability of Strategy Components.
Proceedings of the Multiagent System Technologies, First German Conference, 2003

An Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: A Case Study with the Brazilian Central Bank.
Proceedings of the Computational Science and Its Applications, 2003

Improving migration by diversity.
Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002
Being the new guy in an experienced team: enhancing training on the job.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
AAAI 2000 Workshop Reports.
AI Mag., 2001

Combining Parallel and Distributed Search in Automated Equational Deduction.
Proceedings of the Parallel Processing and Applied Mathematics, 2001

2000
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts.
Inf. Comput., 2000

Evolutionary On-line Learning of Cooperative Behavior with Situation-Action-Pairs.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1999
Cooperation of Heterogeneous Provers .
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

On cooperation between evolutionary algorithms and other search paradigms.
Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998
Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java.
Proceedings of the JIT '98, 1998

Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study.
Proceedings of the Third International Conference on Multiagent Systems, 1998

1997
DISCOUNT - A Distributed and Learning Equational Prover.
J. Autom. Reason., 1997

High Performance ATP Systems by Combining Several AI Methods.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Recording and Analysing Knowledge-Based Distributed Deduction Processes.
J. Symb. Comput., 1996

Planning for Distributed Theorem Proving: The Teamwork Approach.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Equational Theorem Proving Using Taxonomic Constraints.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Learning Domain Knowledge to Improve Theorem Proving.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
DISCOUNT: A SYstem for Distributed Equational Deduction.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Knowledge-Based Distributed Search Using Teamwork.
Proceedings of the First International Conference on Multiagent Systems, 1995

1994
Recording, Analyzing and Presenting Distributed Deduction Processes.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Goal Oriented Equational Theorem Proving Using Team Work.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993
Distributing Equational Theorem Proving.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Teamwork - eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser.
PhD thesis, 1993

1989
THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.
Proceedings of the GWAI-89, 1989


  Loading...