Search results for: Jean-Yves Marion
2017 IEEE Symposium on Security and Privacy (SP) > 633 - 651
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 167-181
Information and Computation > 2016 > 248 > C > 82-103
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 185-199
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Lectures > 136-147
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 90-104
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 369-380
Advances in Intelligent and Soft Computing > Intelligent Information Processing and Web Mining > Regular Sessions: Natural Language Processing > 181-190