Lista Pubblicazioni
Articolo Convegno, 2003
Gorrieri R., Martinelli F., Petrocchi M., Vaccarelli A.
Formal analysis of some timed security properties in wireless protocols
2003, Conference on Formal Methods for Open Object-based Distributed Systems FMOODS03
Formal analysis of some timed security properties in wireless protocols
2003, Conference on Formal Methods for Open Object-based Distributed Systems FMOODS03
Bonaccorsi A., Codenotti B, Dimitri N., Leoncini M., Resta G., Santi P.
Generating Realistic Data Sets for Combinatorial Auctions
2003, IEEE Conference on E-Commerce (CEC'03)
Generating Realistic Data Sets for Combinatorial Auctions
2003, IEEE Conference on E-Commerce (CEC'03)
Anastasi G., Borgia E., Conti M., Gregori G.
IEEE 802.11 Ad Hoc Networks: Performance Measurements
2003, IEEE Workshop on Mobile and Wireless Networks (MWN 2003)
IEEE 802.11 Ad Hoc Networks: Performance Measurements
2003, IEEE Workshop on Mobile and Wireless Networks (MWN 2003)
D.M.Blough, P.Santi
Investigating Upper Bounds on Network Lifetime Extension for Cell-Based Energy Conservation Techniques in Stationary Ad Hoc Networks
2003, ACM Conference on Mobile Computing and Networking (MobiCom) 2002
Investigating Upper Bounds on Network Lifetime Extension for Cell-Based Energy Conservation Techniques in Stationary Ad Hoc Networks
2003, ACM Conference on Mobile Computing and Networking (MobiCom) 2002
Gnesi S., Lenzini G., Martinelli F.
Logical specification and analysis of fault tolerant systems through partial model checking
2003, International Workshop on Software Verification and Validation SVV03
Logical specification and analysis of fault tolerant systems through partial model checking
2003, International Workshop on Software Verification and Validation SVV03
Martinelli F.
Modelling authentication properties though the intruder knowledge
2003, International Conference on Computer Aided Systems Theory EUROCAST03
Modelling authentication properties though the intruder knowledge
2003, International Conference on Computer Aided Systems Theory EUROCAST03
Bistarelli S., O'Sullivan B.
Modelling Tradeoffs Using Soft Constraints
2003, Joint workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming
Modelling Tradeoffs Using Soft Constraints
2003, Joint workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming
Bistarelli S., Cervesato I., Lenzini G., Martinelli F., Marangoni R.
On representing biological systems through multiset rewriting
2003, International Conference on Computer Aided Systems Theory EUROCAST03
On representing biological systems through multiset rewriting
2003, International Conference on Computer Aided Systems Theory EUROCAST03
Neagu N., Bistarelli S., Faltings B.
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems
2003, 16th International FLAIRS Conference FLAIR03
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems
2003, 16th International FLAIRS Conference FLAIR03
Galdi C., Kaklamanis C., Montangero M., Persiano P.
Optimal and Approximate Station Placement in Networks with Applications to Multicasting and Space Efficient Traversal)
2003, STACS 2001
Optimal and Approximate Station Placement in Networks with Applications to Multicasting and Space Efficient Traversal)
2003, STACS 2001
