Search results for: Silvio Ranise
Computers & Security > 2017 > 71 > C > 71-86
Computers & Security > 2017 > 66 > C > 185-203
Lecture Notes in Computer Science > Frontiers of Combining Systems > Logics, Theories, and Decision Procedures I > 65-80
Lecture Notes in Computer Science > Distributed Computing > Brief Announcements III (Session 3c) > 392-394
Lecture Notes in Computer Science > Automated Reasoning > Automata, Specification, Verification, and Logics of Programs > 663-669
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks and Combination of Systems > 22-29
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 305-318
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 422-432
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 335-349
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 237-251
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 366-370
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Short Presentations > 271-275
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > 28-38