Search results for: Ondrej Lhotak
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 4 > 365-400
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Invited Talks > 20-39
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Invited Talks > 10-16
Lecture Notes in Computer Science > Compiler Construction > Java > 153-169
Lecture Notes in Computer Science > Compiler Construction > Parallelism and High-Performance Computing > 179-197
Lecture Notes in Computer Science > Transactions on Aspect-Oriented Software Development I > 293-334
Lecture Notes in Computer Science > Compiler Construction > Compiling for Parallel Architectures > 100-115
Science of Computer Programming > 2015 > 98 > Part 4 > 735-763
Electronic Notes in Theoretical Computer Science > 2004 > 107 > Complete > 27-31