Lukas Holik

Citado por

	Total	Desde 2020
Citas	1922	986
Índice h	23	18
Índice i10	44	30

260

130

195

2009201020112012201320142015201620172018201920202021202220232024202521 28 28 44 48 51 84 114 164 140 175 147 215 157 202 243 21

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	160	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	132	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	114	2015
All for the Price of Few: (Parameterized Verification through View Abstraction) PA Abdulla, F Haziza, L Holík Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	92	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	78	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	78	2012
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
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	69	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	68	2017
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	63	2013
Computing Simulations over Tree Automata: (Efficient Techniques for Reducing Tree Automata) PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008	62	2008
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	61	2016
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	60	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	50	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	42	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	41	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	37	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