Jörg Denzinger Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReid Holmes, Rylan Cottrell, Robert J. Walker, Jörg Denzinger: The end-to-end use of source code examples: An exploratory study. ICSM 2009: 555-558
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Kasinger, Jörg Denzinger, Bernhard Bauer: Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. SAC 2009: 1223-1224
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohsen Afsharchi, Jörg Denzinger, Behrouz Homayoun Far: Enhancing communication with groups of agents using learned non-unanimous ontology concepts. Web Intelligence and Agent Systems 7(1): 107-121 (2009)
2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Mora, Abu B. Sesay, Jörg Denzinger, Hossein Golshan, Gene Poissant, Cameron Konecnik: Cooperative search for optimizing pipeline operations. AAMAS (Industry Track) 2008: 115-122
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRylan Cottrell, Robert J. Walker, Jörg Denzinger: Jigsaw: a tool for the small-scale reuse of source code. ICSE Companion 2008: 933-934
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Pilar Herrero, Gonzalo Méndez, Rainer Unland: AWeSOMe 2008 PC Co-chairs' Message. OTM Workshops 2008: 87
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal Sramka, Reihaneh Safavi-Naini, Jörg Denzinger, Mina Askari, Jie Gao: Utility of Knowledge Extracted from Unsanitized Data when Applied to Sanitized Data. PST 2008: 227-231
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoe Szabo, John Aycock, Randal Acton, Jörg Denzinger: The tale of the weather worm. SAC 2008: 2097-2102
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Kasinger, Bernhard Bauer, Jörg Denzinger: The Meaning of Semiochemicals to the Design of Self-Organizing Systems. SASO 2008: 139-148
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPauline Jepp, Jörg Denzinger, Brian Wyvill, Mario Costa Sousa: Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces. SIBGRAPI 2008: 255-262
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRylan Cottrell, Robert J. Walker, Jörg Denzinger: Semi-automating small-scale source code reuse via structural correspondence. SIGSOFT FSE 2008: 214-225
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth Ablett, Frank Maurer, Ehud Sharlin, Jörg Denzinger, Craig Schock: Build Notifications in Agile Environments. XP 2008: 230-231
2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger: Determining detailed structural correspondence for generalization tasks. ESEC/SIGSOFT FSE 2007: 165-174
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth Ablett, Ehud Sharlin, Frank Maurer, Jörg Denzinger, Craig Schock: BuildBot: Robotic Monitoring of Agile Software Development Teams. RO-MAN 2007: 931-936
2006
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohsen Afsharchi, Behrouz H. Far, Jörg Denzinger: Ontology-guided learning to improve communication between groups of agents. AAMAS 2006: 923-930
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShelly Park, Jörg Denzinger, Frank Maurer, Ehud Sharlin: An interactive speech interface for summarizing agile project planning meetings. CHI Extended Abstracts 2006: 1205-1210
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Kidney, Jörg Denzinger: Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior. ECAI 2006: 260-264
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohsen Afsharchi, Behrouz H. Far, Jörg Denzinger: Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents. IAT 2006: 211-217
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jordan Kidney: Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior Using Evolutionary Learning of Behavior. IAT 2006: 23-29
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDean Yergens, Julie Hiner, Jörg Denzinger, Tom Noseworthy: IDESS - A Multi Agent Based Simulation System for Rapid Development of Infectious Disease Models. ITSSA 1(1): 51-58 (2006)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Fedoruk, Jörg Denzinger: A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search. ITSSA 1(4): 357-362 (2006)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jasmine Hamdan: Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring. Web Intelligence and Agent Systems 4(3): 255-270 (2006)
2005
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie Gao, Jörg Denzinger, Robert C. James: A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes. AIS-ADM 2005: 93-107
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Chris Winder: Combining Coaching and Learning to Create Cooperative Character Behavior. CIG 2005
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Kevin Loose, Darryl Gates, John W. Buchanan: Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games. CIG 2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jordan Kidney: ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems. Canadian Conference on AI 2005: 38-42
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie Gao, Jörg Denzinger, Robert C. James: CoLe: A Cooperative Data Mining Approach and Its Application to Early Diabetes Detection. ICDM 2005: 617-620
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaye Mason, Jörg Denzinger, M. Sheelagh T. Carpendale: Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents. Smart Graphics 2005: 103-114
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRainer Unland, Jörg Denzinger: Multi-agent systems. Comput. Syst. Sci. Eng. 20(4): (2005)
2004
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings Springer 2004
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaye Mason, Jörg Denzinger, M. Sheelagh T. Carpendale: Negotiating Gestalt: Artistic Expression and Coalition Formation in Multiagent Systems. AAMAS 2004: 1350-1351
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jasmine Hamdan: Improving Modeling of Other Agents Using Stereotypes and Compactification of Observations. AAMAS 2004: 1414-1415
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Alvin Schur: On Customizing Evolutionary Learning of Agent Behavior. Canadian Conference on AI 2004: 146-160
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jasmine Hamdan: Improving Modeling of Other Agents using Tentative Stereotypes and Compactification of Observations. IAT 2004: 106-112
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Tim Williams: Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems. PRICAI 2004: 381-390
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Günther Ruhe: Decision Support for Software Release Planning Using e-Assistants. Journal of Decision Systems 13(4): 399-421 (2004)
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVinícius Guilherme Fracari Branco, Weigang Li, Maria Pilar Estrela Abad, Jörg Denzinger: An Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: A Case Study with the Brazilian Central Bank. ICCSA (3) 2003: 148-157
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jordan Kidney: Improving migration by diversity. IEEE Congress on Evolutionary Computation (1) 2003: 700-707
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Sean Ennis: Improving Evolutionary Learning of Cooperative Behavior by Including Accountability of Strategy Components. MATES 2003: 205-216
2002
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Sean Ennis: Being the new guy in an experienced team: enhancing training on the job. AAMAS 2002: 1246-1253
2001
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin: Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari: AAAI 2000 Workshop Reports. AI Magazine 22(1): 127-136 (2001)
2000
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Michael Kordt: Evolutionary On-line Learning of Cooperative Behavior with Situation-Action-Pairs. ICMAS 2000: 103-110
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Stephan Schulz: Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. 162(1-2): 59-79 (2000)
1999
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Dirk Fuchs: Cooperation of Heterogeneous Provers . IJCAI 1999: 10-15
1998
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Dirk Fuchs: Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. ICMAS 1998: 419-420
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Bernd Löchner, Sebastian Scheffler: Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java. Java-Informations-Tage 1998: 180-191
1997
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Martin Kronenburg, Stephan Schulz: DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reasoning 18(2): 189-198 (1997)
1996
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Stephan Schulz: Learning Domain Knowledge to Improve Theorem Proving. CADE 1996: 62-76
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger: Equational Theorem Proving Using Taxonomic Constraints. KI 1996: 29-42
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Martin Kronenburg: Planning for Distributed Theorem Proving: The Teamwork Approach. KI 1996: 43-56
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Stephan Schulz: Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. 21(4): 523-541 (1996)
1995
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger: Knowledge-Based Distributed Search Using Teamwork. ICMAS 1995: 81-88
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Avenhaus, Jörg Denzinger, Matthias Fuchs: DISCOUNT: A SYstem for Distributed Equational Deduction. RTA 1995: 397-402
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Matthias Fuchs: Goal Oriented Equational Theorem Proving Using Team Work. KI 1994: 343-354
1993
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Avenhaus, Jörg Denzinger: Distributing Equational Theorem Proving. RTA 1993: 62-76
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Denzinger, Jürgen Müller: EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. GWAI 1989: 92-101
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Avenhaus, Jörg Denzinger, Jürgen Müller: THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. RTA 1989: 538-541

Coauthor Index

1Maria Pilar Estrela Abad [23]
2Ruth Ablett [46] [48]
3Randal Acton [52]
4Mohsen Afsharchi [42] [45] [57]
5David W. Aha [18]
6Mina Askari [53]
7Jürgen Avenhaus [1] [3] [5] [19]
8John Aycock [52]
9Bernhard Bauer [51] [58]
10Claudio Bettini [18]
11William P. Birmingham [18]
12Kurt D. Bollacker [18]
13Vinícius Guilherme Fracari Branco [23]
14John W. Buchanan [35]
15M. Sheelagh T. Carpendale [29] [32]
16Joseph J. C. Chang [47]
17Rylan Cottrell [47] [49] [55] [59]
18Sean Ennis [20] [21]
19Behrouz Homayoun Far (Behrouz H. Far) [42] [45] [57]
20Alan Fedoruk [39]
21Timothy W. Finin (Tim Finin) [18]
22Dirk Fuchs [14] [15]
23Marc Fuchs [12]
24Matthias Fuchs [4] [5] [12]
25Jie Gao [33] [37] [53]
26Darryl Gates [35]
27Lise Getoor [18]
28Yolanda Gil [18]
29Hossein Golshan [56]
30Carla P. Gomes [18]
31Benjamin N. Grosof [18]
32Jasmine Hamdan [26] [28] [38]
33Pilar Herrero [54]
34Julie Hiner [40]
35Reid Holmes [59]
36Robert C. Holte (Robert Holte) [18]
37Holger H. Hoos (Holger Hoos) [18]
38Robert C. James [33] [37]
39Nathalie Japkowicz [18]
40Pauline Jepp [50]
41Holger Kasinger [51] [58]
42Jordan Kidney [22] [34] [41] [43]
43Cameron Konecnik [56]
44Michael Kordt [17]
45Martin Kronenburg [8] [11]
46Miroslav Kubat [18]
47Wolfgang Küchlin [19]
48Yves Lespérance [18]
49Weigang Li (Li Weigang) [23]
50Gabriela Lindemann [30]
51Bernd Löchner [13]
52Kevin Loose [35]
53Katherine Mason (Kaye Mason) [29] [32]
54Frank Maurer [44] [46] [48]
55Gonzalo Méndez [54]
56Tom M. Mitchell [18]
57Angelo Montanari [18]
58T. Mora [56]
59Jürgen Müller [1] [2]
60Karen L. Myers [18]
61Alexander Nareyek [18]
62Tom Noseworthy [40]
63Shelly Park [44]
64Gene Poissant [56]
65Günther Ruhe [24]
66Reihaneh Safavi-Naini [53]
67Sebastian Scheffler [13]
68Craig Schock [46] [48]
69Alan C. Schultz [18]
70Stephan Schulz [7] [10] [11] [16]
71Alvin Schur [27]
72Abu B. Sesay [56]
73Ehud Sharlin [44] [46] [48]
74Carsten Sinz [19]
75Mario Costa Sousa [50]
76Michal Sramka [53]
77Joe Szabo [52]
78Ingo J. Timm [30]
79Rainer Unland [30] [31] [54]
80Gerd Wagner [18]
81Robert J. Walker [47] [49] [55] [59]
82J. Paul Walser [18]
83Tim Williams [25]
84Chris Winder [36]
85Brian Wyvill [50]
86Dean Yergens [40]

Colors in the list of coauthors

Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)