Jana Koehler Home Page Coauthor index DBLP Vis pubzone.org

Jana Köhler

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

DBLP keys2009
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers: Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings Springer 2009
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHajo A. Reijers, Minseok Song, Heidi Romero, Umeshwar Dayal, Johann Eder, Jana Koehler: A Collaboration and Productiveness Analysis of the BPM Community. BPM 2009: 1-14
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJussi Vanhatalo, Hagen Völzer, Jana Koehler: The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Zimmermann, Jana Koehler, Frank Leymann, Ronny Polley, Nelly Schuster: Managing architectural decision models with dependency relations, integrity constraints, and production rules. Journal of Systems and Software 82(8): 1249-1267 (2009)
2008
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gschwind, Jana Koehler, Janette Wong: Applying Patterns during Business Process Modeling. BPM 2008: 4-19
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCesare Pautasso, Jana Koehler: Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008). Business Process Management Workshops 2008: 173-175
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Rainer Hauser, Jochen Malte Küster, Ksenia Ryndina, Jussi Vanhatalo, Michael Wahler: The Role of Visual Modeling and Model Transformations in Business-driven Development. Electr. Notes Theor. Comput. Sci. 211: 5-15 (2008)
2007
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer: Combining Quality Assurance and Model Transformations in Business-Driven Development. AGTIVE 2007: 1-16
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
2006
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Malte Küster, Jana Koehler, Ksenia Ryndina: Improving Business Process Models with Reference Models in Business-Driven Development. Business Process Management Workshops 2006: 35-44
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wahler, Jana Koehler, Achim D. Brucker: Model-Driven Constraint Engineering. ECEASST 5: (2006)
2005
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBiplav Srivastava, Jussi Vanhatalo, Jana Koehler: Managing the Life Cycle of Plans. AAAI 2005: 1569-1575
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Rainer Hauser, Shane Sendall, Michael Wahler: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1): 47-66 (2005)
2004
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomo Zilberstein, Jana Koehler, Sven Koenig: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada AAAI 2004
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Rainer Hauser: Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. CoopIS/DOA/ODBASE (1) 2004: 121-138
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRainer Hauser, Jana Koehler: Compiling Process Graphs into Executable Code. GPCE 2004: 317-336
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Novatnack, Jana Koehler: Using Patterns in the Design of Inter-organizational Systems - An Experience Report. OTM Workshops 2004: 444-455
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomo Zilberstein, Jana Koehler, Sven Koenig: The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AI Magazine 25(4): 101-104 (2004)
2003
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Rainer Hauser, Shubir Kapoor, Frederick Y. Wu, Santhosh Kumaran: A Model-Driven Transformation Method. EDOC 2003: 186-197
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Gerhard Lakemeyer: The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Magazine 24(2): 97-98 (2003)
2002
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Jarke, Jana Koehler, Gerhard Lakemeyer: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings Springer 2002
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Giuliano Tirenni, Santhosh Kumaran: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. EDOC 2002: 96-
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Daniel Ottiger: An AI-Based Approach to Destination Control in Elevators. AI Magazine 23(3): 59-78 (2002)
2001
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: From Theory to Practice: AI Planning for High Performance Elevator Control. KI/ÖGAI 2001: 459-462
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Köhler: Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge. KI 15(2): 25-30 (2001)
2000
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Kilian Schuster: Elevator Control as a Planning Problem. AIPS 2000: 331-338
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK 2000
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox: The AIPS-98 Planning Competition. AI Magazine 21(2): 13-33 (2000)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. J. Artif. Intell. Res. (JAIR) 12: 338-386 (2000)
1999
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Jana Koehler: A New Method to Index and Query Sets. IJCAI 1999: 462-467
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Köhler: Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK 1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Seckinger, Jana Köhler: Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK 1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: Planen mit Zielagendas. PuK 1999
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jana Koehler: Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Panen mit Planungsgraphen in IPP. KI 13(1): 49-53 (1999)
1998
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Solving Complex Planning Tasks Through Extraction of Subproblems. AIPS 1998: 62-69
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Planning under Resource Constraints. ECAI 1998: 489-493
1997
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jana Koehler: Role Hierarchies and Number Restrictions. Description Logics 1997
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Dimopoulos, Bernhard Nebel, Jana Koehler: Encoding Planning Problems in Nonmonotonic Logic Programs. ECP 1997: 169-181
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos: Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Nebel, Yannis Dimopoulos, Jana Koehler: Ignoring Irrelevant Facts and Operators in Plan Generation. ECP 1997: 338-350
1996
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Planning from Second Principles. Artif. Intell. 87(1-2): 145-186 (1996)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Wiederverwendung von Plänen in deduktiven Planungssystemen. KI 10(2): 19-22 (1996)
1995
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Nebel, Jana Koehler: Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artif. Intell. 76(1-2): 427-454 (1995)
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Avoiding Pitfalls in Case-based Planning. AIPS 1994: 104-109
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Correct Modification of Complex Plans. ECAI 1994: 605-609
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: An Application of Terminological Logics to Case-based Reasoning. KR 1994: 351-362
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: The System PH. PuK 1994: 155
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: An Application of Terminological Logics to Case-based Reasoning. PuK 1994: 98-107
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Ralf Treinen: Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics 1993: 103-117
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Nebel, Jana Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI 1993: 460-466
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: PHI - A Logica-Based Tool for Intelligent Help Systems. PuK 1993: 39-50
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Nebel, Jana Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. PuK 1993: 7-17
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Biundo, Dietmar Dengler, Jana Koehler: Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992: 628-632
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Beetz, Joachim Hertzberg, Jana Koehler, Gerhard K. Kraetzschmar, Fritz Mädler: Bericht von der 1st International Conference on AI Planning Systems (AIPS-92). KI 6(4): 33-34 (1992)
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger: Integrated Plan Generation and Recognition - A Logic-Based Approach. Wissensbasierte Systeme 1991: 266-277

Coauthor Index

1Corin R. Anderson [30]
2Mathias Bauer [1] [5] [6] [10]
3Michael Beetz [2]
4Susanne Biundo [1] [3] [5] [6] [10]
5Blai Bonet [30]
6Michael Brenner [30]
7Achim D. Brucker [47]
8Umeshwar Dayal [59] [60]
9Dietmar Dengler [1] [3] [5] [6] [10]
10Yannis Dimopoulos [17] [18] [19]
11Johann Eder [59] [60]
12Dirk Fahland [58]
13Cédric Favre [58]
14Maria Fox [30]
15Hector Geffner [30]
16Thomas Gschwind [50] [54]
17Rainer Hauser [39] [42] [43] [45] [52]
18Matthias Hecking [1]
19Joachim Hertzberg [2]
20Jörg Hoffmann [18] [25] [28] [29] [30] [31]
21Matthias Jarke [37]
22Barbara Jobstmann [58]
23Shubir Kapoor [39]
24Henry A. Kautz [30]
25Sven Koenig [40] [44]
26Gerhard K. Kraetzschmar [2]
27Santhosh Kumaran [36] [39]
28Jochen Malte Küster [48] [50] [52]
29Gerhard Lakemeyer [37] [38]
30Frank Leymann [56]
31Niels Lohmann [58]
32Derek Long [30]
33Fritz Mädler [2]
34Gaby Merziger [1]
35Bernhard Nebel [4] [7] [14] [17] [18] [19]
36John Novatnack [41]
37Hans Jürgen Ohlbach [20] [24]
38Daniel Ottiger [35]
39Gabriele Paul [5] [6] [10]
40Cesare Pautasso [50] [53]
41Marco Pistore [49] [51]
42Ronny Polley [56]
43Hajo A. Reijers [59] [60]
44Frank Rittinger [30]
45Heidi Romero [59]
46Kilian Schuster [32]
47Nelly Schuster [56]
48Bernhard Seckinger [26]
49Bart Selman [30]
50Shane Sendall [45]
51Amit P. Sheth [49] [51]
52David E. Smith [30]
53Minseok Song [59]
54Biplav Srivastava [46]
55Giuliano Tirenni [36]
56Paolo Traverso [49] [51]
57Ralf Treinen [8]
58Jussi Vanhatalo [46] [50] [52] [55] [57]
59Hagen Völzer [50] [55] [57] [58]
60Ksenia Wahler (Ksenia Ryndina) [48] [50] [52]
61Michael Wahler [45] [47] [52]
62Daniel S. Weld [30]
63Martin Wirsing [49] [51]
64Karsten Wolf (Karsten Schmidt) [58]
65Janette Wong [54]
66Frederick Y. Wu [39]
67Shlomo Zilberstein [40] [44]
68Olaf Zimmermann [56]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)