Search results for: Nadia Busi
Lecture Notes in Computer Science > Parallel Problem Solving from Nature - PPSN IX > New Algorithms > 262-271
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 121-136
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 307-319
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 1-12
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Web Services > 259-274