Search results for: Sandro Etalle
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 194-208
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 311-331
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 172-186
Lecture Notes in Computer Science > Logic Programming > 439-440
2016 IEEE Security and Privacy Workshops (SPW) > 324 - 333
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Security > 131-146
Lecture Notes in Computer Science > Recent Advances in Intrusion Detection > Recent Advances in Intrusion Detection Anomaly and Specification-Based Approaches > 1-20
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 172-191
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Program Derivation and Properties > 162-186
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Transformation > 216-233
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Session 5: Compliance and User Privacy > 145-154
Lecture Notes in Computer Science > Foundations of Security Analysis and Design IV > Foundations of Security Analysis and Design > 246-281
Lecture Notes in Computer Science > Static Analysis > 326-341
Lecture Notes in Computer Science > On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops > Workshop on Metadata for Security (WMS) > 779-792