default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTomás Vojnar
Person information
- affiliation: Brno University of Technology
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c129]David Kozak
, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. CGO 2025: 347-361- [c128]Tomás Dacík, Tomás Vojnar:
RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). ECOOP 2025: 37:1-37:19 - [c127]Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. ESOP (2) 2025: 230-257 - [c126]Tomás Dacík, Tomás Vojnar:
RacerF: Data Race Detection with Frama-C (Competition Contribution). TACAS (3) 2025: 248-253 - [d16]Tomás Dacík, Tomás Vojnar:
TDacik/Deadlock_and_Racer. DROPS Artifacts, 2025
- [i30]David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. CoRR abs/2501.19150 (2025) - [i29]Tomás Dacík, Tomás Vojnar:
RacerF: Lightweight Static Data Race Detection for C Code. CoRR abs/2502.04905 (2025) - [i28]Tomás Dacík, Tomás Vojnar:
RacerF: Data Race Detection with Frama-C (Competition Contribution). CoRR abs/2502.20052 (2025) - 2024
- [j29]Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory Pract. Log. Program. 24(4): 844-862 (2024) - [c125]Viktor Malík, Peter Schrammel, Tomás Vojnar:
Template-Based Verification of Array-Manipulating Programs. Taming the Infinities of Concurrency 2024: 206-224 - [c124]Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar:
Efficient Manipulation of Control Flow Models in Evolving Software. EUROCAST (1) 2024: 412-428 - [c123]Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. ICLP Workshops 2024 - [c122]Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Deciding Boolean Separation Logic via Small Models. TACAS (1) 2024: 188-206 - [d15]Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Deciding Boolean Separation Logic via Small Models: Artifact. Version 2. Zenodo, 2024 [all versions] - [d14]Viktor Malík, Tomás Vojnar, Frantisek Necas:
DiffKemp ACM TOSEM Replication Package. Zenodo, 2024 - [i27]Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar:
Algorithmic Details behind the Predator Shape Analyser. CoRR abs/2403.18491 (2024) - [i26]Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Deciding Boolean Separation Logic via Small Models (Technical Report). CoRR abs/2403.18999 (2024) - [i25]Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. CoRR abs/2408.09909 (2024) - 2023
- [c121]Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar:
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS 2023: 392-412 - [c120]David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. MPLR 2023: 129-142 - [c119]Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar:
2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) 2023: 529-534 - [d13]Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar:
2LS. Version 0.9.6. Zenodo, 2023 [all versions] - [d12]Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar:
2LS. Version 0.10.0. Zenodo, 2023 [all versions] - [d11]Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar:
2LS. Version 0.10.0. Zenodo, 2023 [all versions] - [d10]Veronika Soková, Petr Peringer, Tomás Vojnar:
PredatorHP. Version 3.1415-20f5fb2. Zenodo, 2023 [all versions] - [d9]Veronika Soková, Petr Peringer, Tomás Vojnar, Ondrej Kinst:
PredatorHP. Version 3.1415. Zenodo, 2023 [all versions] - [d8]Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Deciding Boolean Separation Logic via Small Models: Artifact. Version 1. Zenodo, 2023 [all versions] - [i24]Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar:
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR abs/2301.12851 (2023) - [i23]Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar:
2LS for Program Analysis. CoRR abs/2302.02380 (2023) - [i22]Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Sound One-Phase Shape Analysis with Biabduction. CoRR abs/2307.06346 (2023) - [i21]David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR abs/2308.16566 (2023) - 2022
- [j28]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8(2): 11:1-11:6 (2022) - [j27]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. 24(1): 1-28 (2022) - [j26]Tomás Vojnar, Lijun Zhang:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int. J. Softw. Tools Technol. Transf. 24(1): 29-31 (2022) - [j25]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. 69: 100986 (2022) - [c118]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Designing Approximate Arithmetic Circuits with Combined Error Constraints. DSD 2022: 785-792 - [c117]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction. ECOOP 2022: 19:1-19:30 - [c116]Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar:
Integrating OSLC Services into Eclipse. EUROCAST 2022: 240-249 - [c115]Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar:
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST 2022: 258-266 - [c114]Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar:
Static Deadlock Detection in Low-Level C Code. EUROCAST 2022: 267-276 - [c113]Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar:
Perun: Performance Version System. ICSME 2022: 499-503 - [c112]Viktor Malík, Petr Silling, Tomás Vojnar:
Applying Custom Patterns in Semantic Equality Analysis. NETYS 2022: 265-282 - [c111]Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar:
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE 2022: 1408-1418 - [c110]Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar:
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium 2022: 4165-4182 - [d7]Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar:
2LS. Zenodo, 2022 - [i20]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction. CoRR abs/2205.02590 (2022) - [i19]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR abs/2206.13077 (2022) - [i18]Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar:
Static Deadlock Detection in Low-Level C Code. CoRR abs/2207.01948 (2022) - [i17]Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar:
Perun: Performance Version System. CoRR abs/2207.12900 (2022) - 2021
- [j24]Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. 65(7): 971-999 (2021) - [c109]Viktor Malík, Tomás Vojnar:
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ICST 2021: 329-339 - 2020
- [j23]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. 95: 106466 (2020) - [j22]Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. 55(3): 137-170 (2020) - [j21]Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar:
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4(OOPSLA): 218:1-218:30 (2020) - [j20]Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22(5): 523-539 (2020) - [c108]Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar:
Antiprenexing for WSkS: A Little Goes a Long Way. LPAR 2020: 298-316 - [c107]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT 2020: 481-491 - [c106]Viktor Malík, Peter Schrammel, Tomás Vojnar:
2LS: Heap Analysis and Memory Safety - (Competition Contribution). TACAS (2) 2020: 368-372 - [c105]Petr Peringer, Veronika Soková, Tomás Vojnar:
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) 2020: 408-412 - [c104]Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar:
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) 2020: 413-417 - [d6]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Version 1. Zenodo, 2020 [all versions] - [d5]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Version 2. Zenodo, 2020 [all versions] - [d4]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Zenodo, 2020 - [d3]Viktor Malík, Peter Schrammel, Tomás Vojnar:
The 2LS Software Verification Framework for SV-COMP 2020. Zenodo, 2020 - [d2]Veronika Soková, Petr Peringer, Tomás Vojnar:
PredatorHP. Version 3.141. Zenodo, 2020 [all versions] - [i16]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR abs/2003.02491 (2020) - [i15]Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar:
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR abs/2010.15975 (2020)
2010 – 2019
- 2019
- [j19]Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested antichains for WS1S. Acta Informatica 56(3): 205-228 (2019) - [j18]Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber:
The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocess. Microsystems 69: 54-67 (2019) - [c103]Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu:
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 2019: 357-366 - [c102]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS 2019: 468-489 - [c101]Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. CADE 2019: 300-318 - [c100]Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar:
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) 2019: 482-490 - [c99]Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM 2019: 109-117 - [c98]Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu:
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 2019: 116-132 - [e9]Tomás Vojnar, Lijun Zhang:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11427, Springer 2019, ISBN 978-3-030-17461-3 [contents] - [e8]Tomás Vojnar, Lijun Zhang:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11428, Springer 2019, ISBN 978-3-030-17464-4 [contents] - [d1]Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl:
Forester Virtual Machine. Zenodo, 2019 - [i14]Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar:
2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR abs/1903.00712 (2019) - [i13]Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR abs/1904.10786 (2019) - [i12]Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR abs/1905.08697 (2019) - [i11]Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar:
PredatorHP Attacks Interval-Sized Regions. CoRR abs/1909.07152 (2019) - [i10]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR abs/1910.01996 (2019) - 2018
- [j17]Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar:
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2(POPL): 4:1-4:32 (2018) - [c97]Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata. ATVA 2018: 109-125 - [c96]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
ADAC: Automated Design of Approximate Circuits. CAV (1) 2018: 612-620 - [c95]Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin:
The AQUAS ECSEL Project. DSD 2018: 592-599 - [c94]Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar:
Template-Based Verification of Heap-Manipulating Programs. FMCAD 2018: 1-9 - [c93]Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar:
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA 2018: 356-359 - [c92]Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) 2018: 155-175 - [c91]Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang:
2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) 2018: 417-421 - [c90]Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger:
From Shapes to Amortized Complexity. VMCAI 2018: 205-225 - [p1]João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar:
Discovering Concurrency Errors. Lectures on Runtime Verification 2018: 34-60 - [i9]Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR abs/1807.08487 (2018) - 2017
- [j16]Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich:
Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. 29(21) (2017) - [j15]Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. 51(3): 575-607 (2017) - [c89]Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar:
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) 2017: 99-108 - [c88]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD 2017: 416-423 - [c87]Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar:
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206 - [c86]Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
SPEN: A Solver for Separation Logic. NFM 2017: 302-309 - [c85]Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff:
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS 2017: 169-191 - [c84]Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) 2017: 365-369 - [c83]Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. TACAS (1) 2017: 407-425 - [c82]Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar:
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI 2017: 288-309 - [i8]Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. CoRR abs/1701.06282 (2017) - [i7]Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff:
Effect Summaries for Thread-Modular Analysis. CoRR abs/1705.03701 (2017) - [i6]Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR abs/1710.08647 (2017) - 2016
- [j14]Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53(4): 357-385 (2016) - [c81]Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar:
Predator Shape Analysis Tool Suite. Haifa Verification Conference 2016: 202-209 - [c80]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS 2016: 71-89 - [c79]Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Run Forester, Run Backwards! - (Competition Contribution). TACAS 2016: 923-926 - [c78]Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar:
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS 2016: 942-945 - [c77]Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar:
From Low-Level Pointers to High-Level Containers. VMCAI 2016: 431-452 - [c76]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS 2016: 87-93 - [e7]Jan Kofron, Tomás Vojnar:
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9548, Springer 2016, ISBN 978-3-319-29816-0 [contents] - 2015
- [j13]Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar:
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25(3): 272-309 (2015) - [c75]Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
Dynamic Validation of Contracts in Concurrent Code. EUROCAST 2015: 555-564 - [c74]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST 2015: 605-614 - [c73]Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS 2015: 432-435 - [c72]Petr Müller, Petr Peringer, Tomás Vojnar:
Predator Hunting Party (Competition Contribution). TACAS 2015: 443-446 - [c71]Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested Antichains for WS1S. TACAS 2015: 658-674 - [i5]Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested Antichains for WS1S. CoRR abs/1501.03849 (2015) - [i4]Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar:
From Low-Level Pointers to High-Level Containers. CoRR abs/1510.07995 (2015) - 2014
- [j12]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552: 26-43 (2014) - [c70]Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS 2014: 314-333 - [c69]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata. ATVA 2014: 201-218 - [c68]Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
On Monitoring C/C++ Transactional Memory Programs. MEMICS 2014: 73-87 - [c67]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. MTV 2014: 83-89 - [c66]Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar:
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE 2014: 107-122 - [c65]Petr Müller, Tomás Vojnar:
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). TACAS 2014: 395-397 - [c64]Kamil Dudka, Petr Peringer, Tomás Vojnar:
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS 2014: 412-414 - [i3]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata. CoRR abs/1402.2127 (2014) - [i2]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction Refinement for Trace Inclusion of Data Automata. CoRR abs/1410.5056 (2014) - 2013
- [j11]Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar:
Monotonic Abstraction for Programs with Multiply-Linked Structures. Int. J. Found. Comput. Sci. 24(2): 187-210 (2013) - [j10]Bohuslav Krena, Tomás Vojnar:
Automated formal analysis and verification: an overview. Int. J. Gen. Syst. 42(4): 335-365 (2013) - [c63]Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA 2013: 224-239 - [c62]Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. CAV 2013: 740-755 - [c61]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
An Abstraction of Multi-port Memories with Arbitrary Addressable Units. EUROCAST (1) 2013: 460-468 - [c60]Kamil Dudka, Petr Peringer, Tomás Vojnar:
Byte-Precise Verification of Low-Level List Manipulation. SAS 2013: 215-237 - [c59]Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar:
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS 2013: 627-629 - [e6]Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7721, Springer 2013, ISBN 978-3-642-36044-2 [contents] - [i1]Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. CoRR abs/1304.5806 (2013) - 2012
- [j9]Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná:
pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics 31(3): 481- (2012) - [j8]Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forest automata for verification of heap manipulation. Formal Methods Syst. Des. 41(1): 83-106 (2012) - [j7]Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar:
Abstract regular (tree) model checking. Int. J. Softw. Tools Technol. Transf. 14(2): 167-191 (2012) - [c58]Jan Fiedor, Tomás Vojnar:
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. PADTAD 2012: 36-46 - [c57]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. MTV 2012: 6-12 - [c56]Jan Fiedor, Tomás Vojnar:
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. RV 2012: 35-41 - [c55]Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar:
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE 2012: 152-167 - [c54]Ondrej Lengál, Jirí Simácek, Tomás Vojnar:
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. TACAS 2012: 79-94 - [c53]Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar:
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). TACAS 2012: 545-548 - [e5]Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7119, Springer 2012, ISBN 978-3-642-25928-9 [contents] - 2011
- [j6]Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with lists are counter automata. Formal Methods Syst. Des. 38(2): 158-192 (2011) - [c52]Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar:
Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. ATVA 2011: 243-258 - [c51]Kamil Dudka, Petr Peringer, Tomás Vojnar:
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. CAV 2011: 372-378 - [c50]Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forest Automata for Verification of Heap Manipulation. CAV 2011: 424-440 - [c49]Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar:
Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR 2011: 187-202 - [c48]Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
A Uniform Classification of Common Concurrency Errors. EUROCAST (1) 2011: 519-526 - [c47]Kamil Dudka, Petr Peringer, Tomás Vojnar:
An Easy to Use Infrastructure for Building Static Analysis Tools. EUROCAST (1) 2011: 527-534 - [c46]Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
Noise Injection Heuristics for Concurrency Testing. MEMICS 2011: 123-135 - [c45]Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar:
Monotonic Abstraction for Programs with Multiply-Linked Structures. RP 2011: 125-138 - [c44]Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. RV 2011: 177-192 - [c43]Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV 2011: 375-380 - [c42]Tomás Vojnar:
Efficient Algorithms for Handling Nondeterministic Automata. SOFSEM 2011: 73 - [e4]Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos:
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. OASIcs 16, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011, ISBN 978-3-939897-22-4 [contents] - 2010
- [j5]Peter Habermehl, Radu Iosif, Tomás Vojnar:
Automata-based verification of programs with tree updates. Acta Informatica 47(1): 1-31 (2010) - [c41]Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar:
Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR 2010: 75 - [c40]Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar:
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147 - [c39]Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur:
A platform for search-based testing of concurrent software. PDATAD 2010: 48-58 - [c38]Boris Prochazka, Tomás Vojnar, Martin Drahanský:
Hijacking the Linux Kernel. MEMICS 2010: 85-92 - [c37]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar:
When Simulation Meets Antichains. TACAS 2010: 158-174
2000 – 2009
- 2009
- [j4]Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009) - [c36]Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar:
Automatic Verification of Integer Array Programs. CAV 2009: 157-172 - [c35]Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
Self-healing Assurance Based on Bounded Model Checking. EUROCAST 2009: 295-303 - [c34]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12 - [c33]Petr Hlinený, Václav Matyás, Tomás Vojnar:
Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). MEMICS 2009 - [c32]Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar:
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV 2009: 101-114 - [c31]Peter Habermehl, Tomás Vojnar:
Preface. INFINITY 2009: 1-3 - [e3]Peter Habermehl, Tomás Vojnar:
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 239, Elsevier 2009 [contents] - [e2]Petr Hlinený, Václav Matyás, Tomás Vojnar:
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic. OASIcs 13, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009 [contents] - [e1]Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008. Electronic Notes in Theoretical Computer Science 251, Elsevier 2009 [contents] - 2008
- [j3]Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods Syst. Des. 32(2): 129-172 (2008) - [c30]Peter Habermehl, Radu Iosif, Tomás Vojnar:
What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489 - [c29]Zdenek Letko, Tomás Vojnar, Bohuslav Krena:
AtomRace: data race and atomicity violation detector and healer. PADTAD 2008: 7 - [c28]Peter Habermehl, Radu Iosif, Tomás Vojnar:
A Logic of Singly Indexed Arrays. LPAR 2008: 558-573 - [c27]Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Computing Simulations over Tree Automata. TACAS 2008: 93-108 - [c26]Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar:
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67 - [c25]Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Composed Bisimulation for Tree Automata. CIAA 2008: 212-222 - [c24]Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Preface. MEMICS 2008: 1-3 - [c23]Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar:
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. MEMICS 2008: 27-48 - 2007
- [j2]Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Generalised multi-pattern-based verification of programs with linear linked structures. Formal Aspects Comput. 19(3): 363-374 (2007) - [c22]Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161 - [c21]Lukás Sekanina, Tomas Hruska, Tomás Vojnar, Dusan Kolár, Jan Cernocký:
On Some Directions in Security-Oriented Research. BLISS 2007: 141-144 - [c20]Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification for Trees. EUROCAST 2007: 488-496 - [c19]Ales Smrcka, Tomás Vojnar:
Verifying Parametrised Hardware Designs Via Counter Automata. Haifa Verification Conference 2007: 51-68 - [c18]Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. PADTAD 2007: 54-64 - 2006
- [c17]Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with Lists Are Counter Automata. CAV 2006: 517-531 - [c16]Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák:
Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC 2006: 148-164 - [c15]Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar:
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70 - [c14]Peter Habermehl, Radu Iosif, Tomás Vojnar:
Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364 - 2005
- [c13]Petr Matousek, Ales Smrcka, Tomás Vojnar:
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME 2005: 371-375 - [c12]Milan Ceska, Bohuslav Krena, Tomás Vojnar:
Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280 - [c11]Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar:
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS 2005: 13-29 - [c10]Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar:
Abstract Regular Tree Model Checking. INFINITY 2005: 37-48 - [c9]Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. AVoCS 2005: 113-130 - 2004
- [c8]Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
Abstract Regular Model Checking. CAV 2004: 372-386 - [c7]Peter Habermehl, Tomás Vojnar:
Regular Model Checking Using Inference of Regular Languages. INFINITY 2004: 21-36 - 2003
- [c6]Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar:
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR 2003: 172-187 - [c5]Milan Ceska, Ludek Hasa, Tomás Vojnar:
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST 2003: 265-278 - 2001
- [j1]Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001) - [c4]Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384
1990 – 1999
- 1999
- [c3]Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104 - 1998
- [c2]Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Object-oriented Petri nets, their simulation, and analysis. SMC 1998: 262-267 - 1997
- [c1]Milan Ceska, Vladimír Janousek, Tomás Vojnar:
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610
Coauthor Index
Milan Ceska 0002
aka: Milan Ceska Jr.
aka: Milan Ceska Jr.
[c121] [i24] [j28] [c117] [c110] [i20] [j24] [j22] [j21] [j20] [c108] [d6] [d5] [d4] [i15] [j19] [c103] [c102] [c101] [c99] [d1] [i13] [i12] [i10] [j17] [c97] [c92] [c90] [i9] [c85] [c84] [c83] [c82] [i8] [i7] [i6] [j14] [c81] [c79] [c77] [c73] [c71] [i5] [i4] [j12] [c63] [c62] [i1] [j8] [c52] [c50] [c49] [c40] [c37] [j4] [c34] [c27] [c26] [c25] [c23]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-08 21:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
