A list without abstracts sorted by year - 2007
Adaptive Approximate Similarity Searching through Metric Social Networks
Key Distribution and Secrecy Amplification in Wireless Sensor Networks
LOBS: Load Balancing for Similarity Peer-to-Peer Structures
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
Formalisms and Tools for Design and Specification of Network Protocols
LTL model checking with I/O-Efficient Accepting Cycle Detection
Please install a newer browser for this site to function properly.