dblp.uni-trier.dewww.uni-trier.de

Jana Koehler Vis

Jana Köhler

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

*2009
60EEUmeshwar 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
59EEHajo 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
58EEDirk 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
57EEJussi Vanhatalo, Hagen Völzer, Jana Koehler: The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009)
56EEOlaf 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
55EEJussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115
54EEThomas Gschwind, Jana Koehler, Janette Wong: Applying Patterns during Business Process Modeling. BPM 2008: 4-19
53EECesare 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
52EEJana 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
51 Jana 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
50EEJana 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
49EEJana 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
48EEJochen 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
47EEMichael Wahler, Jana Koehler, Achim D. Brucker: Model-Driven Constraint Engineering. ECEASST 5: (2006)
2005
46 Biplav Srivastava, Jussi Vanhatalo, Jana Koehler: Managing the Life Cycle of Plans. AAAI 2005: 1569-1575
45EEJana Koehler, Rainer Hauser, Shane Sendall, Michael Wahler: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1): 47-66 (2005)
2004
44 Shlomo 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
43EEJana Koehler, Rainer Hauser: Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. CoopIS/DOA/ODBASE (1) 2004: 121-138
42EERainer Hauser, Jana Koehler: Compiling Process Graphs into Executable Code. GPCE 2004: 317-336
41EEJohn Novatnack, Jana Koehler: Using Patterns in the Design of Inter-organizational Systems - An Experience Report. OTM Workshops 2004: 444-455
40 Shlomo Zilberstein, Jana Koehler, Sven Koenig: The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AI Magazine 25(4): 101-104 (2004)
2003
39EEJana Koehler, Rainer Hauser, Shubir Kapoor, Frederick Y. Wu, Santhosh Kumaran: A Model-Driven Transformation Method. EDOC 2003: 186-197
38 Jana Koehler, Gerhard Lakemeyer: The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Magazine 24(2): 97-98 (2003)
2002
37 Matthias 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
36EEJana Koehler, Giuliano Tirenni, Santhosh Kumaran: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. EDOC 2002: 96-
35 Jana Koehler, Daniel Ottiger: An AI-Based Approach to Destination Control in Elevators. AI Magazine 23(3): 59-78 (2002)
2001
34EEJana Koehler: From Theory to Practice: AI Planning for High Performance Elevator Control. KI/ÖGAI 2001: 459-462
33 Jana Köhler: Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge. KI 15(2): 25-30 (2001)
2000
32 Jana Koehler, Kilian Schuster: Elevator Control as a Planning Problem. AIPS 2000: 331-338
31EEJana Koehler, Jörg Hoffmann: On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK 2000
30 Derek 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)
29EEJana 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
28 Jörg Hoffmann, Jana Koehler: A New Method to Index and Query Sets. IJCAI 1999: 462-467
27EEJana Köhler: Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK 1999
26EEBernhard Seckinger, Jana Köhler: Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK 1999
25EEJana Koehler, Jörg Hoffmann: Planen mit Zielagendas. PuK 1999
24EEHans Jürgen Ohlbach, Jana Koehler: Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999)
23 Jana Koehler: Panen mit Planungsgraphen in IPP. KI 13(1): 49-53 (1999)
1998
22 Jana Koehler: Solving Complex Planning Tasks Through Extraction of Subproblems. AIPS 1998: 62-69
21 Jana Koehler: Planning under Resource Constraints. ECAI 1998: 489-493
1997
20EEHans Jürgen Ohlbach, Jana Koehler: Role Hierarchies and Number Restrictions. Description Logics 1997
19 Yannis Dimopoulos, Bernhard Nebel, Jana Koehler: Encoding Planning Problems in Nonmonotonic Logic Programs. ECP 1997: 169-181
18 Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos: Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285
17 Bernhard Nebel, Yannis Dimopoulos, Jana Koehler: Ignoring Irrelevant Facts and Operators in Plan Generation. ECP 1997: 338-350
1996
16EEJana Koehler: Planning from Second Principles. Artif. Intell. 87(1-2): 145-186 (1996)
15 Jana Koehler: Wiederverwendung von Plänen in deduktiven Planungssystemen. KI 10(2): 19-22 (1996)
1995
14EEBernhard Nebel, Jana Koehler: Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artif. Intell. 76(1-2): 427-454 (1995)
1994
13 Jana Koehler: Avoiding Pitfalls in Case-based Planning. AIPS 1994: 104-109
12 Jana Koehler: Correct Modification of Complex Plans. ECAI 1994: 605-609
11 Jana Koehler: An Application of Terminological Logics to Case-based Reasoning. KR 1994: 351-362
10 Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: The System PH. PuK 1994: 155
9 Jana Koehler: An Application of Terminological Logics to Case-based Reasoning. PuK 1994: 98-107
1993
8 Jana Koehler, Ralf Treinen: Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics 1993: 103-117
7 Bernhard Nebel, Jana Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444
6 Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI 1993: 460-466
5 Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: PHI - A Logica-Based Tool for Intelligent Help Systems. PuK 1993: 39-50
4 Bernhard Nebel, Jana Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. PuK 1993: 7-17
1992
3 Susanne Biundo, Dietmar Dengler, Jana Koehler: Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992: 628-632
2 Michael 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
1 Mathias 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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)