Rapporti tecnici 2009

 

• An Algorithm to Construct Greedy Drawings of Triangulations
  Patrizio Angelini, Fabrizio Frati, Luca Grilli

 

•  Adaptive Learning with the LS-Plan System: a Field Evaluation
  Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste

 

• The abduction and consequence generation algorithm used by Logitest, a support system for logical MCQs designers
  Marta Cialdea Mayer

 

• Test Driven Network Deployment
  Maurizio Pizzonia, Stefano Vissicchio

 

• Straight-Line Rectangular Drawings of Clustered Graphs
  Patrizio Angelini, Fabrizio Frati, Michael Kaufmann

 

• Two tableau provers for basic hybrid logic
  Marta Cialdea, Serenella Cerrito, Emanuele Benassi, Fabio Giammarinaro, Chiara Varani

 

• A Probabilistic Model to Characterize the Uncertainty of Web Data Integration: What Sources Have The Good Data?
  Lorenzo Blanco, Valter Crescenzi, Paolo Merialdo, Paolo Papotti

 

• Acyclically 3-Colorable Planar Graphs
  Patrizio Angelini, Fabrizio Frati

 

• Succinct Greedy Drawings May Be Unfeasible
  Patrizio Angelini, Giuseppe Di Battista, Fabrizio Frati

 

• Reasoning over Large Semantic Datasets
  Roberto De Virgilio, Giorgio Orsi, Letizia Tanca, Riccardo Torlone

 

• Efficient and Practical Authentication of PUF-based RFID Tags
  Pier Francesco Cortese, Francesco Gemmiti, Bernardo Palazzi, Maurizio Pizzonia, Massimo Rimondini

 

• Exploiting Information Redundancy to Extract and Integrate Data from the Web
  Lorenzo Blanco, Mirko Bronzi, Valter Crescenzi, Paolo Merialdo, Paolo Papotti

 

• A Model and a Language for Context-Aware Database
  Riccardo Torlone, Davide Martinenghi

 

• Management of Semantic Web Services
  Roberto De Virgilio

 

• A Note on Isosceles Planar Graph Drawing
  Fabrizio Frati

 

• Tableaux with Substitution for Hybrid Logic with the Global and Converse Modalities
  Serenella Cerrito, Marta Cialdea Mayer

 

• On the bicriteria k-server problem
  Michele Flammini, Gaia Nicosia

 

• Bi-objective conflict detection and resolution in railway traffic management
  Francesco Corman, Andrea D’Ariano, Dario Pacciarelli, Marco Pranzo

 

• Increasing the reliability of production schedules in a pharmaceutical packaging department
  Dario Pacciarelli, Andrea D’Ariano

 

• Keyword based Search over Semantic Data in Polynomial Time
  Paolo Cappellari, Roberto De Virgilio, Michele Miscione

 

• Performance assessment for single echelon airport spare part management
  Annalisa Cesaro, Dario Pacciarelli

 

•   Lower Bounds on the Area Requirements of Series-Parallel Graphs
  Fabrizio Frati

 

• Assessing the value of information for retail distribution of perishable goods
  Marta Flamini, Marialisa Nigro, Dario Pacciarelli