Concepedia

Lukáš Holík

LH

13

Publications

329

Citations

12

H-Index

2009

Active since

Affiliations

Brno University of Technology(Current)

Uppsala University

Academia Sinica

Linköping University

Lukáš Holík is an author at Brno University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisAutomated ReasoningSoftware AnalysisComputational ComplexityComputer Engineering

Publications per year

2009–2023

13

Publications

13

String constraints with concatenation and transducers solved efficiently

Lukáš Holík, Petr Janků, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

Mathematical Programming, Engineering, Verification +23

Parameterized verification through view abstraction

Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík · International Journal on Software Tools for Technology Transfer · 2015 · 47 citations

Engineering, Automated Reasoning, Verification +8

Flatten and conquer: a framework for efficient analysis of string constraints

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al. · 2017 · 40 citations

Mathematical Programming, Engineering, String Constraints +25

Trau: SMT solver for string constraints

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al. · 2018 · 36 citations

Constraint Solving, Engineering, Constraint Satisfaction +13

Efficient handling of string-number conversion

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al. · 2020 · 25 citations

Engineering, String Constraints, String-manipulating Programs +17

Rows per page

1–5 of 13