Jana Koehler
Jana Koehler
Professor of Computer Science, Saarland University/DFKI
Verified email at dfki.de - Homepage
TitleCited byYear
Web service composition-current solutions and open problems
B Srivastava, J Koehler
ICAPS 2003 workshop on Planning for Web Services 35, 28-35, 2003
7752003
Extending planning graphs to an ADL subset
J Koehler, B Nebel, J Hoffmann, Y Dimopoulos
European Conference on Planning, 273-285, 1997
3941997
The refined process structure tree
J Vanhatalo, H Völzer, J Koehler
Data & Knowledge Engineering 68 (9), 793-818, 2009
2422009
Plan reuse versus plan generation: A theoretical and empirical analysis
B Nebel, J Koehler
Artificial Intelligence 76 (1-2), 427-454, 1995
2281995
Encoding planning problems in nonmonotonic logic programs
Y Dimopoulos, B Nebel, J Koehler
European Conference on Planning, 169-181, 1997
2211997
A review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards the final Standard
T Gardner, C Griffin, J Koehler, R Hauser
MetaModelling for MDA Workshop 13, 41, 2003
204*2003
AIPS 2000 planning competition: The fifth international conference on artificial intelligence planning and scheduling systems
F Bacchus
Ai magazine 22 (3), 47-47, 2001
1912001
The refined process structure tree
J Vanhatalo, H Völzer, J Koehler
International Conference on Business Process Management, 100-115, 2008
1772008
End-to-end business process solution creation
K Bhaskaran, S Buckley, N Caswell, HY Chang, J Frank, R Hauser, ...
US Patent App. 10/692,898, 2005
1642005
Planning under Resource Constraints.
J Koehler
ECAI 98, 1998
1621998
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
International Conference on Business Process Management, 278-293, 2009
1572009
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
J Koehler, J Hoffmann
Journal of Artificial Intelligence Research 12, 338-386, 2000
1572000
Analysis on demand: Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, J Koehler, N Lohmann, H Völzer, K Wolf
Data & Knowledge Engineering 70 (5), 448-466, 2011
1512011
Managing architectural decision models with dependency relations, integrity constraints, and production rules
O Zimmermann, J Koehler, F Leymann, R Polley, N Schuster
Journal of Systems and Software 82 (8), 1249-1267, 2009
1492009
Ignoring irrelevant facts and operators in plan generation
B Nebel, Y Dimopoulos, J Koehler
European Conference on Planning, 338-350, 1997
1411997
Applying patterns during business process modeling
T Gschwind, J Koehler, J Wong
International Conference on Business Process Management, 4-19, 2008
1312008
From business process model to consistent implementation: A case for formal verification methods
J Koehler, G Tirenni, S Kumaran
Proceedings. Sixth International Enterprise Distributed Object Computing, 96-106, 2002
1242002
The role of visual modeling and model transformations in business-driven development
J Koehler, R Hauser, J Küster, K Ryndina, J Vanhatalo, M Wahler
Electronic Notes in Theoretical Computer Science 211, 5-15, 2008
992008
Process anti-patterns: How to avoid the common traps of business process modeling
J Koehler, J Vanhatalo
IBM WebSphere Developer Technical Journal 10 (2), 4, 2007
942007
Method and apparatus for generating it level executable solution artifacts from the operational specification of a business
RF Hauser, S Kapoor, J Koehler, S Kumaran, FY Wu
US Patent 7,222,302, 2007
892007
The system can't perform the operation now. Try again later.
Articles 1–20