Lukas Holik

Citado por

	Total	Desde 2020
Citas	1999	1039
Índice h	23	19
Índice i10	44	30

260

130

195

2008200920102011201220132014201520162017201820192020202120222023202420257 24 28 30 48 49 51 90 113 166 141 177 155 217 156 225 254 30

Acceso público

Ver todo

10 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyDirección de correo verificada de fi.muni.cz
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Ondřej LengálBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaDirección de correo verificada de iis.sinica.edu.tw
Mohamed Faouzi AtigUppsala UniversityDirección de correo verificada de it.uu.se
Philipp RuemmerProfessor in Computer Science, University of RegensburgDirección de correo verificada de ur.de
Ahmed RezineLinköping UniversityDirección de correo verificada de liu.se
Bui Phi DiepUppsala UniversityDirección de correo verificada de it.uu.se
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéDirección de correo verificada de irif.fr
Tomas FiedorVeriFIT Team Researcher, FIT BUTDirección de correo verificada de fit.vutbr.cz
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityDirección de correo verificada de it.uu.se
Peter HabermehlProfessor of Computer Science, IRIF, University Paris CitéDirección de correo verificada de irif.fr
Margus VeanesMicrosoft ResearchDirección de correo verificada de microsoft.com
Lisa KaatiStockholm UniversityDirección de correo verificada de dsv.su.se
Lorenzo ClementeUniversity of WarsawDirección de correo verificada de mimuw.edu.pl
Roland MeyerProfessor of Theoretical Computer ScienceDirección de correo verificada de tu-bs.de
Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanDirección de correo verificada de nccu.edu.tw
Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsDirección de correo verificada de cs.uni-kl.de
Milan CeskaBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
Tayssir TouiliSenior researcher, CNRSDirección de correo verificada de lipn.fr

Seguir

Lukas Holik

Brno University of Tehcnology

Dirección de correo verificada de fit.vutbr.cz - Página principal

Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata) PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010	163	2010
String constraints for verification PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	138	2014
Norn: An SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman International conference on computer aided verification, 462-469, 2015	120	2015
All for the Price of Few: (Parameterized Verification through View Abstraction) PA Abdulla, F Haziza, L Holík International Workshop on Verification, Model Checking, and Abstract …, 2013	95	2013
String constraints with concatenation and transducers solved efficiently L Holík, P Janků, AW Lin, P Rümmer, T Vojnar Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017	83	2017
Forest automata for verification of heap manipulation P Habermehl, L Holík, A Rogalewicz, J Šimáček, T Vojnar Formal Methods in System Design 41 (1), 83-106, 2012	83	2012
Antichain-based universality and inclusion testing over nondeterministic finite tree automata A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar International Conference on Implementation and Application of Automata, 57-67, 2008	70	2008
Advanced Ramsey-based Büchi automata inclusion testing PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar International Conference on Concurrency Theory, 187-202, 2011	69	2011
Computing Simulations over Tree Automata: (Efficient Techniques for Reducing Tree Automata) PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2008	68	2008
An integrated specification and verification technique for highly concurrent data structures PA Abdulla, F Haziza, L Holík, B Jonsson, A Rezine International Journal on Software Tools for Technology Transfer 19 (5), 549-563, 2017	66	2017
Parameterized verification through view abstraction P Abdulla, F Haziza, L Holík International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016	64	2016
Fully automated shape analysis based on forest automata L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	64	2013
Flatten and conquer: a framework for efficient analysis of string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer ACM SIGPLAN Notices 52 (6), 602-617, 2017	63	2017
Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar International Conference on Computer Aided Verification, 132-147, 2010	57	2010
Trau: SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer 2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018	54	2018
Verification of heap manipulating programs with ordered data by extended forest automata PA Abdulla, L Holík, B Jonsson, O Lengál, CQ Trinh, T Vojnar Acta Informatica 53, 357-385, 2016	44	2016
Efficient handling of string-number conversion PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	43	2020
Regex matching with counting-set automata L Turoňová, L Holík, O Lengál, O Saarikivi, M Veanes, T Vojnar Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020	37	2020
Chain-free string constraints PA Abdulla, MF Atig, BP Diep, L Holík, P Janků Automated Technology for Verification and Analysis: 17th International …, 2019	35	2019
Approximate reduction of finite automata for high-speed network intrusion detection M Češka, V Havlena, L Holík, O Lengál, T Vojnar International Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020	30	2020

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores