Search the dblp DataBase

Publications of Author

1. Sven-Erik Bornscheuer, Helko Lehmann
   On the Combination of Partial Action Descriptions. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 1998, pp:95-106 [Conf]
   
2. Yvonne Kalinke, Helko Lehmann
   Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 1998, pp:179-190 [Conf]
   
3. Helko Lehmann, Michael Leuschel
   Decidability Results for the Propositional Fluent Calculus. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:762-776 [Conf]
   
4. Michael Leuschel, Helko Lehmann
   Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:101-115 [Conf]
   
5. Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
   Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. [Citation Graph (0, 0)][DBLP]
   KI, 1997, pp:313-324 [Conf]
   
6. Helko Lehmann, Michael Leuschel
   Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2003, pp:1-19 [Conf]
   
7. Helko Lehmann, Michael Leuschel
   Solving Planning Problems by Partial Deduction. [Citation Graph (0, 0)][DBLP]
   LPAR, 2000, pp:451-468 [Conf]
   
8. Michael Leuschel, Helko Lehmann
   Solving coverability problems of petri nets by partial deduction. [Citation Graph (0, 0)][DBLP]
   PPDP, 2000, pp:268-279 [Conf]
   
9. 
   Integrating Viability Information into a Cardiac Model for Interventional Guidance. [Citation Graph (, )][DBLP]
   
   
10. 
    The Generation of Patient-Specific Heart Models for Diagnosis and Interventions. [Citation Graph (, )][DBLP]