Search results for: Flaminia L. Luccio
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Performance and Mobility > 437-441
Lecture Notes in Computer Science > Identity and Privacy in the Internet Age > Session 2: Modelling and Design > 88-103
Lecture Notes in Computer Science > NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications > Multicasting II > 1069-1080
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Dynamic Systems > 86-101
Lecture Notes in Computer Science > Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security > 95-110
Lecture Notes in Computer Science > Fun with Algorithms > 202-213
Lecture Notes in Computer Science > Foundations of Security Analysis and Design VI > Foundations of Security Analysis and Design > 35-65
Lecture Notes in Computer Science > Fun with Algorithms > 249-261
Lecture Notes in Business Information Processing > Web Information Systems and Technologies > Part IV: e-Learning > 404-417
Theory of Computing Systems > 2012 > 50 > 1 > 52-71
Theory of Computing Systems > 2009 > 44 > 2 > 186-204
Theoretical Computer Science > 2007 > 383 > 1 > 86-101
Discrete Applied Mathematics > 2004 > 144 > 3 > 303-319
Computer Languages, Systems & Structures > 2004 > 30 > 3-4 > 207-230