Search results for: Alessandro Armando
Group Decision and Negotiation > 2018 > 27 > 5 > 811-826
Future Generation Computer Systems > 2018 > 80 > C > 519-536
Computers & Security > 2017 > 71 > C > 71-86
Sustainable Cities and Society > 2016 > 27 > C > 346-355
Lecture Notes in Computer Science > Frontiers of Combining Systems > Logics, Theories, and Decision Procedures I > 65-80
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 46-58
Pervasive and Mobile Computing > 2016 > 30 > C > 113-131
Lecture Notes in Computer Science > Automated Reasoning > Automata, Specification, Verification, and Logics of Programs > 663-669
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 210-225
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 373-388
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 422-432
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Security and Privacy in Real Life Applications > 63-72
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 16-29
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > 28-38