Declarative techniques for model-driven business process integration
- Jana Koehler
- Rainer Hauser
- et al.
- 2005
- IBM Systems Journal
Publications
15 results for Jana Koehler
A model-driven transformation method
- Jana Koehler
- Rainer Hauser
- et al.
- 2003
- EDOC 2003
From business process model to consistent implementation: A case for formal verification methods
- Jana Koehler
- Giuliano Tirenni
- et al.
- 2002
- EDOC 2002
An AI-based approach to destination control in elevators
- Jana Koehler
- Daniel Ottiger
- 2002
- AI Magazine
AIPS-98 planning competition
- Derek Long
- Henry Kautz
- et al.
- 2000
- AI Magazine