Jana Koehler Home Page Coauthor index 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 keys2011
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemco M. Dijkman, Jörg Hofstetter, Jana Koehler: Business Process Model and Notation - Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings Springer 2011
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: The Process-Rule Continuum - Can BPMN & SBVR Cope with the Challenge? CEC 2011: 302-309
68Electronic 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 CoRR abs/1106.0243: (2011)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5): 448-466 (2011)
2010
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions. BPMN 2010: 46-62
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler: Efficient analysis of pattern-based constraint specifications. Software and System Modeling 9(2): 225-255 (2010)
2009
64Electronic 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
63Electronic 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
62Electronic 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinöder, Alexander Maystrenko, Krenar Muhidini, Hagen Völzer, Janette Wong: Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. BPM (Demos) 2009
60Electronic 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)
59Electronic 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
58Electronic 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
57Electronic 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
56Electronic 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Thomas Gschwind, Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann: Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda. CEE-SET 2008: 1-19
54Electronic 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
53no 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
52Electronic 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
51Electronic 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Gustavo Alonso: Service-Oriented Computing - Introduction to the Special Theme. ERCIM News 2007(70): (2007)
2006
49Electronic 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
48Electronic 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
47no 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
46Electronic 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
45no 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
44Electronic 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRainer Hauser, Jana Koehler: Compiling Process Graphs into Executable Code. GPCE 2004: 317-336
42Electronic 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
41Electronic Edition 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
40Electronic 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
39Electronic Edition 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
38no 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
37Electronic 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-
36Electronic Edition 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
35Electronic 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
34no 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Kilian Schuster: Elevator Control as a Planning Problem. AIPS 2000: 331-338
32Electronic 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
31Electronic Edition 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)
30Electronic 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
29no 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Köhler: Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK 1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Seckinger, Jana Köhler: Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK 1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Jörg Hoffmann: Planen mit Zielagendas. PuK 1999
25Electronic 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)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Panen mit Planungsgraphen in IPP. KI 13(1): 49-53 (1999)
1998
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Solving Complex Planning Tasks Through Extraction of Subproblems. AIPS 1998: 62-69
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Planning under Resource Constraints. ECAI 1998: 489-493
1997
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jana Koehler: Role Hierarchies and Number Restrictions. Description Logics 1997
20Electronic Edition 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
19Electronic Edition 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
18Electronic Edition 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler: Planning from Second Principles. Artif. Intell. 87(1-2): 145-186 (1996)
16no 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
15Electronic 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Köhler: Wiederverwendung von Plänen in deduktiven Planungssystemen. Infix 1994: 1-225
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
8Electronic Edition 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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page