Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJana Koehler
Person information
- affiliation: German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany
- affiliation: Lucerne University of Applied Sciences and Art School of Information Technology, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1994
[b1]Jana Köhler:
Wiederverwendung von Plänen in deduktiven Planungssystemen. Saarland University, Saarbrücken, Germany, DISKI 65, Infix 1994, ISBN 978-3-929037-65-4, pp. 1-225
Journal Articles
- 2021
- [j21]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): 56-106 (2021) - 2015
- [j20]Jean-Daniel Dessimoz, Jana Koehler, Thilo Stadelmann:
AI in Switzerland. AI Mag. 36(2): 102-105 (2015) - [j19]Jana Koehler, Roland Woodtly, Jörg Hofstetter:
An impact-oriented maturity model for IT-based case management. Inf. Syst. 47: 278-291 (2015) - 2011
- [j18]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): 448-466 (2011) - 2010
- [j17]Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler:
Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. 9(2): 225-255 (2010) - 2009
- [j16]Jussi Vanhatalo, Hagen Völzer, Jana Koehler:
The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009) - [j15]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): 1249-1267 (2009) - 2006
- [j14]Michael Wahler, Jana Koehler, Achim D. Brucker:
Model-Driven Constraint Engineering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - 2005
- [j13]Jana Koehler, Rainer Hauser, Shane Sendall, Michael Wahler:
Declarative techniques for model-driven business process integration. IBM Syst. J. 44(1): 47-66 (2005) - 2004
- [j12]Shlomo Zilberstein, Jana Koehler, Sven Koenig:
The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AI Mag. 25(4): 101-104 (2004) - 2003
- [j11]Jana Koehler, Gerhard Lakemeyer:
The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Mag. 24(2): 97-98 (2003) - 2002
- [j10]Jana Koehler, Daniel Ottiger:
An AI-Based Approach to Destination Control in Elevators. AI Mag. 23(3): 59-78 (2002) - 2001
- [j9]Jana Koehler:
Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge. Künstliche Intell. 15(2): 25-30 (2001) - 2000
- [j8]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): 13-33 (2000) - [j7]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: 338-386 (2000) - 1999
- [j6]Hans Jürgen Ohlbach, Jana Koehler:
Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999) - [j5]Jana Koehler:
Panen mit Planungsgraphen in IPP. Künstliche Intell. 13(1): 49-53 (1999) - 1996
- [j4]Jana Koehler:
Planning from Second Principles. Artif. Intell. 87(1-2): 145-186 (1996) - [j3]Jana Koehler:
Wiederverwendung von Plänen in deduktiven Planungssystemen. Künstliche Intell. 10(2): 19-22 (1996) - 1995
- [j2]Bernhard Nebel, Jana Koehler:
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artif. Intell. 76(1-2): 427-454 (1995) - 1992
- [j1]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): 33-34 (1992)
Conference and Workshop Papers
- 2017
- [c46]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: 36-52 - 2012
- [c45]Jana Koehler, Jörg Hofstetter, Roland Woodtly:
Capabilities and Levels of Maturity in IT-Based Case Management. BPM 2012: 49-64 - 2011
- [c44]Jana Koehler:
The Process-Rule Continuum - Can BPMN & SBVR Cope with the Challenge? CEC 2011: 302-309 - 2010
- [c43]Jana Koehler:
The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions. BPMN 2010: 46-62 - 2009
- [c42]Hajo 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 - [c41]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: 278-293 - [c40]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 - 2008
- [c39]Thomas Gschwind, Jana Koehler, Janette Wong:
Applying Patterns during Business Process Modeling. BPM 2008: 4-19 - [c38]Jussi Vanhatalo, Hagen Völzer, Jana Koehler:
The Refined Process Structure Tree. BPM 2008: 100-115 - [c37]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: 173-175 - [c36]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: 1-19 - 2007
- [c35]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 - 2006
- [c34]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 - [c33]Jussi Vanhatalo, Jana Koehler, Frank Leymann:
Repository for Business Processes and Arbitrary Associated Metadata. BPM Demos 2006 - [c32]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. GT-VMT@ETAPS 2006: 5-15 - 2005
- [c31]Biplav Srivastava, Jussi Vanhatalo, Jana Koehler:
Managing the Life Cycle of Plans. AAAI 2005: 1569-1575 - 2004
- [c30]Jana Koehler, Rainer Hauser:
Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. CoopIS/DOA/ODBASE (1) 2004: 121-138 - [c29]Rainer Hauser, Jana Koehler:
Compiling Process Graphs into Executable Code. GPCE 2004: 317-336 - [c28]John Novatnack, Jana Koehler:
Using Patterns in the Design of Inter-organizational Systems - An Experience Report. OTM Workshops 2004: 444-455 - 2003
- [c27]Jana Koehler, Rainer Hauser, Shubir Kapoor, Frederick Y. Wu, Santhosh Kumaran:
A Model-Driven Transformation Method. EDOC 2003: 186-197 - 2002
- [c26]Jana Koehler, Giuliano Tirenni, Santhosh Kumaran:
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. EDOC 2002: 96- - 2001
- [c25]Jana Koehler:
From Theory to Practice: AI Planning for High Performance Elevator Control. KI/ÖGAI 2001: 459-462 - 2000
- [c24]Jana Koehler, Kilian Schuster:
Elevator Control as a Planning Problem. AIPS 2000: 331-338 - [c23]Jana Koehler, Jörg Hoffmann:
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. PuK 2000 - 1999
- [c22]Jörg Hoffmann, Jana Koehler:
A New Method to Index and Query Sets. IJCAI 1999: 462-467 - [c21]Jana Koehler:
Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. PuK 1999 - [c20]Jana Koehler, Jörg Hoffmann:
Planen mit Zielagendas. PuK 1999 - [c19]Bernhard Seckinger, Jana Koehler:
Online Synthese von Aufzugssteuerungen als Planungsproblem. PuK 1999 - 1998
- [c18]Jana Koehler:
Solving Complex Planning Tasks Through Extraction of Subproblems. AIPS 1998: 62-69 - [c17]Jana Koehler:
Planning under Resource Constraints. ECAI 1998: 489-493 - 1997
- [c16]Hans Jürgen Ohlbach, Jana Koehler:
Role Hierarchies and Number Restrictions. Description Logics 1997 - [c15]Yannis Dimopoulos, Bernhard Nebel, Jana Koehler:
Encoding Planning Problems in Nonmonotonic Logic Programs. ECP 1997: 169-181 - [c14]Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos:
Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285 - [c13]Bernhard Nebel, Yannis Dimopoulos, Jana Koehler:
Ignoring Irrelevant Facts and Operators in Plan Generation. ECP 1997: 338-350 - 1994
- [c12]Jana Koehler:
Avoiding Pitfalls in Case-based Planning. AIPS 1994: 104-109 - [c11]Jana Koehler:
Correct Modification of Complex Plans. ECAI 1994: 605-609 - [c10]Jana Koehler:
An Application of Terminological Logics to Case-based Reasoning. KR 1994: 351-362 - [c9]Jana Koehler:
An Application of Terminological Logics to Case-based Reasoning. PuK 1994: 98-107 - [c8]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
The System PH. PuK 1994: 155 - 1993
- [c7]Jana Koehler, Ralf Treinen:
Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics 1993: 103-117 - [c6]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI 1993: 460-466 - [c5]Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444 - [c4]Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. PuK 1993: 7-17 - [c3]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
PHI - A Logica-Based Tool for Intelligent Help Systems. PuK 1993: 39-50 - 1992
- [c2]Susanne Biundo, Dietmar Dengler, Jana Koehler:
Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992: 628-632 - 1991
- [c1]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
Parts in Books or Collections
- 2021
- [p1]Walter Brenner, Benjamin van Giffen, Jana Koehler:
Management of Artificial Intelligence: Feasibility, Desirability and Viability. Engineering the Transformation of the Enterprise 2021: 15-36
Editorship
- 2011
- [e5]Remco M. Dijkman, Jörg Hofstetter, Jana Koehler:
Business Process Model and Notation - Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings. Lecture Notes in Business Information Processing 95, Springer 2011, ISBN 978-3-642-25159-7 [contents] - 2009
- [e4]Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers:
Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings. Lecture Notes in Computer Science 5701, Springer 2009, ISBN 978-3-642-03847-1 [contents] - 2007
- [e3]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2004
- [e2]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, ISBN 1-57735-200-9 [contents] - 2002
- [e1]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. Lecture Notes in Computer Science 2479, Springer 2002, ISBN 3-540-44185-9 [contents]
Informal and Other Publications
- 2023
- [i6]Sophia Saller, Jana Koehler, Andreas Karrenbauer:
A Systematic Review of Approximability Results for Traveling Salesman Problems leveraging the TSP-T3CO Definition Scheme. CoRR abs/2311.00604 (2023) - 2022
- [i5]Sophia Saller, Jana Koehler:
Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns. CoRR abs/2206.02479 (2022) - 2020
- [i4]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 abs/2011.12862 (2020) - 2011
- [i3]Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. CoRR abs/1106.0243 (2011) - 2007
- [i2]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 - [i1]Jana Koehler, Gustavo Alonso:
Service-Oriented Computing - Introduction to the Special Theme. ERCIM News 2007(70) (2007)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
