Jana Koehler

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 5

Top Topics

Precedence Constraints

Top Venues

Constraints An Int. J.

Publications

Sophia Saller, Jana Koehler, Andreas Karrenbauer
A Systematic Review of Approximability Results for Traveling Salesman Problems leveraging the TSP-T3CO Definition Scheme. CoRR (2023)
Sophia Saller, Jana Koehler
Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns. CoRR (2022)
Jana Koehler, Josef Bürgler, Urs Fontana, Etienne Fux, Florian A. Herzog, Marc Pouly, Sophia Saller, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints. Constraints An Int. J. 26 (1) (2021)
Jana Koehler, Josef Bürgler, Urs Fontana, Etienne Fux, Florian A. Herzog, Marc Pouly, Sophia Saller, Anastasia Salyaeva, Peter Scheiblechner, Kai Waelti
Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints. CoRR (2020)
Jana Koehler, Etienne Fux, Florian A. Herzog, Dario Lötscher, Kai Waelti, Roland Imoberdorf, Dirk Budke
Towards Intelligent Process Support for Customer Service Desks: Extracting Problem Descriptions from Noisy and Multi-lingual Texts. Business Process Management Workshops (2017)
Jean-Daniel Dessimoz, Jana Koehler, Thilo Stadelmann
AI in Switzerland. AI Mag. 36 (2) (2015)
Jana Koehler, Roland Woodtly, Jörg Hofstetter
An impact-oriented maturity model for IT-based case management. Inf. Syst. 47 (2015)
Jana Koehler, Jörg Hofstetter, Roland Woodtly
Capabilities and Levels of Maturity in IT-Based Case Management. BPM (2012)
Jana Koehler
The Process-Rule Continuum - Can BPMN & SBVR Cope with the Challenge? CEC (2011)
Jana Koehler, Jörg Hoffmann
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm CoRR (2011)
Dirk 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) (2011)
Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler
Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. 9 (2) (2010)
Jana Koehler
The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions. BPMN (2010)
Olaf Zimmermann, Jana Koehler, Frank Leymann, Ronny Polley, Nelly Schuster
Managing architectural decision models with dependency relations, integrity constraints, and production rules. J. Syst. Softw. 82 (8) (2009)
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
The refined process structure tree. Data Knowl. Eng. 68 (9) (2009)
Hajo A. Reijers, Minseok Song, Heidi Romero, Umeshwar Dayal, Johann Eder, Jana Koehler
A Collaboration and Productiveness Analysis of the BPM Community. BPM (2009)
Dirk 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)
Cé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)
Cesare Pautasso, Jana Koehler
Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008). Business Process Management Workshops (2008)
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
The Refined Process Structure Tree. BPM (2008)
Jana 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)
Thomas Gschwind, Jana Koehler, Janette Wong
Applying Patterns during Business Process Modeling. BPM (2008)
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. Electron. Notes Theor. Comput. Sci. 211 (2008)
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)
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)
Jana Koehler, Gustavo Alonso
Service-Oriented Computing - Introduction to the Special Theme. ERCIM News 2007 (70) (2007)
Jochen Malte Küster, Jana Koehler, Ksenia Ryndina
Improving Business Process Models with Reference Models in Business-Driven Development. Business Process Management Workshops (2006)
Jussi Vanhatalo, Jana Koehler, Frank Leymann
Repository for Business Processes and Arbitrary Associated Metadata. BPM Demos (2006)
Michael Wahler, Jana Koehler, Achim D. Brucker
Model-Driven Constraint Engineering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Biplav Srivastava, Jussi Vanhatalo, Jana Koehler
Managing the Life Cycle of Plans. AAAI (2005)
Jana Koehler, Rainer Hauser, Shane Sendall, Michael Wahler
Declarative techniques for model-driven business process integration. IBM Syst. J. 44 (1) (2005)
Shlomo Zilberstein, Jana Koehler, Sven Koenig
The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AI Mag. 25 (4) (2004)
Jana Koehler, Rainer Hauser
Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. CoopIS/DOA/ODBASE (1) (2004)
John Novatnack, Jana Koehler
Using Patterns in the Design of Inter-organizational Systems - An Experience Report. OTM Workshops (2004)
Rainer Hauser, Jana Koehler
Compiling Process Graphs into Executable Code. GPCE (2004)
Jana Koehler, Rainer Hauser, Shubir Kapoor, Frederick Y. Wu, Santhosh Kumaran
A Model-Driven Transformation Method. EDOC (2003)
Jana Koehler, Gerhard Lakemeyer
The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Mag. 24 (2) (2003)
Jana Koehler, Daniel Ottiger
An AI-Based Approach to Destination Control in Elevators. AI Mag. 23 (3) (2002)
Jana Koehler, Giuliano Tirenni, Santhosh Kumaran
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. EDOC (2002)
Jana Koehler
From Theory to Practice: AI Planning for High Performance Elevator Control. KI/ÖGAI (2001)
Jana Koehler
Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge. Künstliche Intell. 15 (2) (2001)
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 Mag. 21 (2) (2000)
Jana Koehler, Kilian Schuster
Elevator Control as a Planning Problem. AIPS (2000)
Jana Koehler, Jörg Hoffmann
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK (2000)
Jana Koehler, Jörg Hoffmann
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. J. Artif. Intell. Res. 12 (2000)
Bernhard Seckinger, Jana Koehler
Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK (1999)
Jana Koehler, Jörg Hoffmann
Planen mit Zielagendas. PuK (1999)
Jana Koehler
Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK (1999)
Jana Koehler
Panen mit Planungsgraphen in IPP. Künstliche Intell. 13 (1) (1999)
Jörg Hoffmann, Jana Koehler
A New Method to Index and Query Sets. IJCAI (1999)
Hans Jürgen Ohlbach, Jana Koehler
Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109 (1-2) (1999)
Jana Koehler
Solving Complex Planning Tasks Through Extraction of Subproblems. AIPS (1998)
Jana Koehler
Planning under Resource Constraints. ECAI (1998)
Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos
Extending Planning Graphs to an ADL Subset. ECP (1997)
Hans Jürgen Ohlbach, Jana Koehler
Role Hierarchies and Number Restrictions. Description Logics (1997)
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler
Encoding Planning Problems in Nonmonotonic Logic Programs. ECP (1997)
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler
Ignoring Irrelevant Facts and Operators in Plan Generation. ECP (1997)
Jana Koehler
Planning from Second Principles. Artif. Intell. 87 (1-2) (1996)
Jana Koehler
Wiederverwendung von Plänen in deduktiven Planungssystemen. Künstliche Intell. 10 (2) (1996)
Bernhard Nebel, Jana Koehler
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artif. Intell. 76 (1-2) (1995)
Jana Koehler
Avoiding Pitfalls in Case-based Planning. AIPS (1994)
Jana Koehler
Correct Modification of Complex Plans. ECAI (1994)
Jana Koehler
An Application of Terminological Logics to Case-based Reasoning. KR (1994)
Jana Koehler
An Application of Terminological Logics to Case-based Reasoning. PuK (1994)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
The System PH. PuK (1994)
Bernhard Nebel, Jana Koehler
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. PuK (1993)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI (1993)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
PHI - A Logica-Based Tool for Intelligent Help Systems. PuK (1993)
Bernhard Nebel, Jana Koehler
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI (1993)
Jana Koehler, Ralf Treinen
Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics (1993)
Michael Beetz, Joachim Hertzberg, Jana Koehler, Gerhard K. Kraetzschmar, Fritz Mädler
Bericht von der 1st International Conference on AI Planning Systems (AIPS-92). Künstliche Intell. 6 (4) (1992)
Susanne Biundo, Dietmar Dengler, Jana Koehler
Deductive Planning and Plan Reuse in a Command Language Environment. ECAI (1992)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger
Integrated Plan Generation and Recognition - A Logic-Based Approach. Wissensbasierte Systeme (1991)