• Sign in
  • Sign up
conf.researchr.org / Vojtěch Havlena
  • APLAS 2019 profile
  • APLAS 2020 profile
  • PLDI 2025 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

Name:Vojtěch Havlena
Country:Czechia
Affiliation:Brno University of Technology

Contributions

2025

PLDI

  • Author of A Uniform Framework for Handling Position Constraints in String Solving within the PLDI Research Papers-track

2023

SPLASH

  • Author of Solving String Constraints with Lengths by Stabilization within the OOPSLA-track

2020

APLAS

  • Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track

2019

APLAS

  • Author of Simulations in Rank-Based Buchi Automata Complementation within the Research Papers-track
Share
xSun 25 May 08:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up