Rapporti tecnici 2011

• A calculus for a decidable fragment of hybrid logic with binders
  Serenella Cerrito, Marta Cialdea Mayer

• Tensor Calculus for RFID Data Management
  Roberto De Virgilio, Franco Milicchio

• On the Area Requirements of Euclidean Minimum Spanning Trees
  Patrizio Angelini, Till Bruckdorfer, Marco Chiesa, Fabrizio Frati, Michael Kaufmann, Claudio Squarcella

• Optimal stock allocation in single echelon inventory systems subject to a service constraint 
  Annalisa Cesaro, Dario Pacciarelli

• Optimization models and algorithms for air traffic control in the airspace of busy airports
  Marco Pistelli, Andrea D’Ariano, Dario Pacciarelli

• Predicting Future Locations for Moving Objects
  Lorenzo Blanco, Paolo Papotti, Disheng Qiu

• Answering SPARQL queries via Tensor Calculus 
  Roberto De Virgilio, Franco Milicchio

• iBGP Deceptions: More Sessions, Fewer Routes 
  Stefano Vissicchio, Luca Cittadini, Laurent Vanbever, Olivier Bonaventure

• Dispatching and coordination in multi-area railway traffic management
  Francesco Corman, Andrea D’Ariano, Dario Pacciarelli, Marco Pranzo

• A Tableaux Based Decision Procedure for a Broad Fragment of Full Hybrid Logic   Serenella Cerrito, Marta Cialdea Mayer

• Finding Bimodal and Acyclic Orientations of Mixed Planar Graphs is NP-Complete
  Maurizio Patrignani