Peter Habermehl

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ondrej Lengál

> Home > Persons > Peter Habermehl

Publications

2024
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HabermehlHHHL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HabermehlHHHL24
Peter Habermehl, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál:
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CAV (1) 2024: 42-67
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-18995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-18995
Peter Habermehl, Michal Hecko, Vojtech Havlena, Lukás Holík, Ondrej Lengál:
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CoRR abs/2403.18995 (2024)
2019
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/LengalHVRSHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LengalHVRSHH19
Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl:
Forester Virtual Machine. Zenodo, 2019

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.