Search results for: Laura Kovács
Journal of Symbolic Computation > 2017 > 80 > P1 > 101-124
Pathology & Oncology Research > 2017 > 23 > 2 > 295-305
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Applications and Technology Track > 349-359
Lecture Notes in Computer Science > Automated Reasoning > Session 10: System Descriptions 2 > 275-282
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 163-179
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Automated Reasoning and Multi-Agent Systems > 1-15
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 249-264
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 6. Verification > 333-342
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 348-356
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 6. Interpolation and Predicate Abstraction > 199-213
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 470-485
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 103-118
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invariants and Termination > 60-64
Protein Expression and Purification > 2014 > 94 > Complete > 79-84