External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Automatic Complexity Analysis of Integer Programs

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer. Improving Automatic Complexity Analysis of Integer Programs. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen, editors, The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Volume 13360 of Lecture Notes in Computer Science, pages 193-228, Springer, 2022. [doi]

Authors

Jürgen Giesl

This author has not been identified. It may be one of the following persons: Look up 'Jürgen Giesl' in Google

Nils Lommen

This author has not been identified. Look up 'Nils Lommen' in Google

Marcel Hark

This author has not been identified. Look up 'Marcel Hark' in Google

Fabian Meyer

This author has not been identified. Look up 'Fabian Meyer' in Google
runs on