Searching for authors named "Helko Lehmann" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce (invited talk
- … (Invited Talk) Helko Lehmann and Michael Leuschel Department of Electronics and Computer Science University…
- Cited by 1 (1 self) – Add To MetaCart
-
Generating inductive verification proofs for Isabelle using the partial evaluator Ecce
- … Generating inductive verification proofs for Isabelle using the partial evaluator Ecce Helko Lehmann…
- Cited by 4 (3 self) – Add To MetaCart
-
Solving Planning Problems by Partial Deduction
- …Solving Planning Problems by Partial Deduction Helko Lehmann and Michael Leuschel Department…
- Cited by 2 (2 self) – Add To MetaCart
-
Concurrent Productions, Consumptions and Occupations
- …Concurrent Productions, Consumptions and Occupations Sven-Erik Bornscheuer Helko Lehmann Dresden…
- Cited by 1 (0 self) – Add To MetaCart
-
Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems
- … 1 ? and Helko Lehmann 2 1 Queensland University of Technology yvonne@(email omitted); 2…
- Cited by 10 (3 self) – Add To MetaCart
-
Coverability of Reset Petri Nets and other Well-Structured Transition Systems by Partial Deduction
- … Michael Leuschel and Helko Lehmann Department of Electronics and Computer Science University…
- Cited by 17 (11 self) – Add To MetaCart
-
Solving Coverability Problems of Petri Nets by Partial Deduction
- …Solving Coverability Problems of Petri Nets by Partial Deduction Michael Leuschel Helko Lehmann…
- Cited by 19 (14 self) – Add To MetaCart
-
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks
- … Steffen Holldobler, Yvonne Kalinke, Helko Lehmann TU Dresden, Fakultat Informatik D--01062 Dresden fsh…
- Cited by 20 (4 self) – Add To MetaCart
Showing 1 through 8.
