Jana Koehler

Jana Köhler

2008
54	EE	Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115
53	EE	Thomas Gschwind, Jana Koehler, Janette Wong: Applying Patterns during Business Process Modeling. BPM 2008: 4-19
52	EE	Jana 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
50	EE	Jana 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
49	EE	Jana 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
48	EE	Jochen 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
47	EE	Michael 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
45	EE	Jana 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
43	EE	Jana Koehler, Rainer Hauser: Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. CoopIS/DOA/ODBASE (1) 2004: 121-138
42	EE	Rainer Hauser, Jana Koehler: Compiling Process Graphs into Executable Code. GPCE 2004: 317-336
41	EE	John 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
39	EE	Jana 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
36	EE	Jana 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
34	EE	Jana 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
31	EE	Jana 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)
29	EE	Jana 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
27	EE	Jana Köhler: Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK 1999
26	EE	Bernhard Seckinger, Jana Köhler: Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK 1999
25	EE	Jana Koehler, Jörg Hoffmann: Planen mit Zielagendas. PuK 1999
24	EE	Hans 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
20	EE	Hans 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
16	EE	Jana 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
14	EE	Bernhard 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

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

Colors in the list of coauthors