Siete in : Dia ,ricerca ,rapporti
Rapporti tecnici (stile LaTeX)
Codice Autori e titolo Anno
165 Luca Cittadini , Valerio Mezzapesa, Maria Luisa Papagni, Maurizio Pizzonia , Luca Vergantini, Stefano Vissicchio
Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages		 2010
163 Alessandro Agnetis, Marta Flamini , Gaia Nicosia , A. Pacifici
A job shop problem with one additional resource type		 2010
162 Marta Flamini , Marialisa Nigro, Dario Pacciarelli
Assessing the value of information for retail distribution of perishable goods		 2009
161 Annalisa Cesaro , Dario Pacciarelli
Performance assessment for single echelon airport spare part management		 2009
160 Paolo Cappellari , Roberto De Virgilio , Michele Miscione
Keyword based Search over Semantic Data in Polynomial Time		 2009
159 Fabrizio Frati
Lower Bounds on the Area Requirements of Series-Parallel Graphs		 2009
158 Dario Pacciarelli , Andrea D'Ariano
Increasing the reliability of production schedules in a pharmaceutical packaging department		 2009
157 Francesco Corman, Andrea D'Ariano , Dario Pacciarelli , Marco Pranzo
Bi-objective conflict detection and resolution in railway traffic management		 2009
156 Michele Flammini, Gaia Nicosia
On the bicriteria k-server problem		 2009
155 Serenella Cerrito, Marta Cialdea
Tableaux with Substitution for Hybrid Logic with the Global and Converse Modalities		 2009
154 Fabrizio Frati
A Note on Isosceles Planar Graph Drawing		 2009
153 Roberto De Virgilio
Management of Semantic Web Services		 2009
152 Riccardo Torlone , Davide Martinenghi
A Model and a Language for Context-Aware Databases		 2009
151 Lorenzo Blanco , Mirko Bronzi , Valter Crescenzi , Paolo Merialdo , Paolo Papotti
Exploiting Information Redundancy to Extract and Integrate Data from the Web		 2009
150 Pier Francesco Cortese , Francesco Gemmiti, Bernardo Palazzi , Maurizio Pizzonia , Massimo Rimondini
Efficient and Practical Authentication of PUF-based RFID Tags		 2009
149 Roberto De Virgilio , Giorgio Orsi, Letizia Tanca, Riccardo Torlone
Reasoning over Large Semantic Datasets		 2009
148 Patrizio Angelini , Giuseppe Di Battista , Fabrizio Frati
Succinct Greedy Drawings May Be Unfeasible		 2009
147 Patrizio Angelini , Fabrizio Frati
Acyclically 3-Colorable Planar Graphs		 2009
146 Lorenzo Blanco , Valter Crescenzi , Paolo Merialdo , Paolo Papotti
A Probabilistic Model to Characterize the Uncertainty of Web Data Integration: What Sources Have The Good Data?		 2009
145 Marta Cialdea , Serenella Cerrito, Emanuele Benassi, Fabio Giammarinaro, Chiara Varani
Two tableau provers for basic hybrid logic		 2009
144 Patrizio Angelini , Fabrizio Frati , Michael Kaufmann
Straight-Line Rectangular Drawings of Clustered Graphs		 2009
143 Maurizio Pizzonia , Stefano Vissicchio
Test Driven Network Deployment		 2009
142 Marta Cialdea
The abduction and consequence generation algorithm used by Logitest, a support system for logical MCQs designers		 2009
141 Carla Limongelli , Filippo Sciarrone, Marco Temperini, Giulia Vaste
Adaptive Learning with the LS-Plan System: a Field Evaluation		 2009
140 Patrizio Angelini , Fabrizio Frati , Luca Grilli
An Algorithm to Construct Greedy Drawings of Triangulations		 2009
139 Carla Limongelli , Stefano Pirone, Filippo Sciarrone, Giulia Vaste
Design of a Virtual Environment for Comparing Curriculum Sequencing Algorithms		 2008
138 Luca Cabibbo
On Keys, Foreign Keys and Nullable Attributes in Relational Mapping Systems		 2008
137 Roberto De Virgilio , Riccardo Torlone
Segmentation of HTMLWeb sites in Web Entity Blocks		 2008
136 Roberto De Virgilio , Pierluigi Del Nostro , Giorgio Gianforme , Stefano Paolozzi , Riccardo Torlone
A Model Based Approach to Semantic Web Data Management		 2008
135 Giuseppe Di Battista , Fabrizio Frati , Maurizio "Titto" Patrignani
Non-convex Representations of Graphs		 2008
134 Patrizio Angelini , Pier Francesco Cortese , Giuseppe Di Battista , Maurizio "Titto" Patrignani
Topological Morphing of Planar Graphs		 2008
133 Fabrizio Frati , Alejandro Estrella-Balderrama, Stephen Kobourov
Upward Straight-line Embeddings of Directed Graphs into Point Sets		 2008
132 Luca Cittadini , Giuseppe Di Battista , Massimo Rimondini
How Stable is Stable in Interdomain Routing: Efficiently Detectable Oscillation-Free Configurations		 2008
131 Alessandro Agnetis, Gianluca de Pascale, Dario Pacciarelli
A Lagrangian approach to single-machine scheduling problems with two competing agents		 2008
130 Luca Venditti , Carlo Meloni, Dario Pacciarelli
A tabu search algorithm for scheduling pharmaceutical packaging operations		 2008
129 Dario Pacciarelli , Carlo Meloni, Marco Pranzo
Models and methods for production scheduling in the pharmaceutical industry		 2008
128 Annalisa Cesaro , Dario Pacciarelli
State dependent spare part management policy for airport maintenance		 2008
127 Francesco Corman, Andrea D'Ariano, Dario Pacciarelli , Marco Pranzo
A tabu search algorithm for rerouting trains during rail operations		 2008
126 Andrea D'Ariano, Francesco Corman, Dario Pacciarelli , Marco Pranzo
Reordering and local rerouting strategies to manage train traffic in real-time		 2008
125 Riccardo Torlone , Paolo Papotti
Schema Exchange: Generic Mappings for Transforming Data and Metadata		 2008
124 A. Antony, Luca Cittadini , D. Karrenberg, R. Kisteleki, Tiziana Refice , T. Vest, R. Wilhelm
Mediterranean Fiber Cable Cut (January-February 2008) Analysis of Network Dynamics		 2008
123 A. Antony, D. Karrenberg, R. Kisteleki, Tiziana Refice , R. Wilhelm
YouTube Hijacking (February 24th 2008) Analysis of BGP Routing Dynamics		 2008
122 Fabrizio Frati , Michael Kaufmann
Polynomial Area Bounds for MST Embeddings of Trees		 2008
121 Lorenzo Blanco , Valter Crescenzi , Paolo Merialdo , Paolo Papotti
Searching Entities on the Web by Sample		 2007
120 Fabrizio Frati , Michael Kaufmann, Stephen Kobourov
Constrained Simultaneous and Near-Simultaneous Embeddings		 2007
119 Giuseppe Di Battista , Fabrizio Frati
Efficient C-Planarity Testing for Embedded Flat Clustered Graphs with Small Faces		 2007
117 Alessio Campisano, Luca Cittadini , Giuseppe Di Battista , Tiziana Refice , Claudio Sasso
Update-Driven Root Cause Analysis in Interdomain Routing		 2007
116 Patrizio Angelini , Giuseppe Di Battista , Maurizio "Titto" Patrignani
Computing a Minimum-Depth Planar Graph Embedding in O(n4) Time		 2007
115 Giuseppe Di Battista , Guido Drovandi , Fabrizio Frati
How to Draw a Clustered Tree		 2007
114 Fabrizio Frati , Markus Geyer, Michael Kaufmann
Packing and Squeezing Subgraphs into Planar Graphs		 2007
113 Massimo Rimondini
Emulation of Computer Networks with Netkit		 2007
112 Marco Boccioli, Stefano Panzieri , José Luis Díez Ruano
Face detection with colour segmentation and fuzzy template matching		 2006
111 Stefano Panzieri , Mario Gentileschi
Controllo di qualità non supervisionato basato sulla teoria fuzzy: il riempimento di un blister		 2006
110 Pier Francesco Cortese , Giuseppe Di Battista , Fabrizio Frati , Maurizio "Titto" Patrignani , Maurizio Pizzonia
C-Planarity of C-Connected Clustered Graphs: Part II - Testing and Embedding Algorithm		 2006
109 Pier Francesco Cortese , Giuseppe Di Battista , Fabrizio Frati , Maurizio "Titto" Patrignani , Maurizio Pizzonia
C-Planarity of C-Connected Clustered Graphs: Part I - Characterization		 2006
108 Giuseppe Di Battista , Tiziana Refice , Massimo Rimondini
How to Extract BGP Peering Information from the Internet Routing Registry		 2006
104 Pier Francesco Cortese , Giuseppe Di Battista , Antonello Moneta, Maurizio "Titto" Patrignani , Maurizio Pizzonia
Topographic Visualization of the Internet		 2006
103 Philippe Baptiste, Marta Flamini , Francis Sourd
Lagrangean Bounds and Lagrangean Heuristics for Just In Time Job-Shop Scheduling		 2005
102 Lorenzo Colitti , Giuseppe Di Battista , Maurizio "Titto" Patrignani , Maurizio Pizzonia , Massimo Rimondini
Active BGP Probing		 2005
100 Pier Francesco Cortese , Giuseppe Di Battista , Maurizio "Titto" Patrignani , Maurizio Pizzonia
On Embedding a Cycle in a Plane Graph		 2005
99 Maurizio "Titto" Patrignani
On Extending a Partial Straight-Line Drawing		 2005
96 Lorenzo Colitti , Giuseppe Di Battista , Maurizio "Titto" Patrignani , Maurizio Pizzonia , Massimo Rimondini
Active BGP Probing		 2005
95 Gaia Nicosia , Arianna Alfieri
Minimum Cost Multi-Product Flow Lines		 2005
94 Maurizio "Titto" Patrignani
Complexity Results for Three-dimensional Orthogonal Graph Drawing		 2005
93 Alessandro Agnetis, Arianna Alfieri, Gaia Nicosia
Single machine scheduling problems with generalized preemption		 2004
92 Gaia Nicosia , A. Pacifici
Exact algorithms for a discrete metric labeling problem		 2004
91 Pier Francesco Cortese , Giuseppe Di Battista , Maurizio "Titto" Patrignani , Maurizio Pizzonia
Clustering Cycles into Cycles of Clusters		 2004
90 Lorenzo Blanco , Valter Crescenzi , Paolo Merialdo
Automatically Generating Reports from Large Web Sites		 2004
89 Valter Crescenzi , Paolo Merialdo , Paolo Missier
Discovering the structure of large web sites		 2004
87 Paolo Detti, Carlo Meloni, Marco Pranzo
Simple Bounds for the Minimum Dominating Trail Set Problem		 2004
85 Alessandro Agnetis, Dario Pacciarelli , A. Pacifici
Multi-agent single machine scheduling		 2003
84 Paolo Detti, Carlo Meloni, Marco Pranzo
Local Search Algorithms for the Minimum Cardinality Dominating Trail Set of a Graph		 2003
83 John M. Boyer, Pier Francesco Cortese , Maurizio "Titto" Patrignani , Giuseppe Di Battista
Stop Minding Your P's and Q's: Implementing a Fast and Simple DFS-based Planarity Testing and Embedding Algorithm		 2003
82 Lorenzo Colitti , Giuseppe Di Battista , Maurizio "Titto" Patrignani
Discovering IPv6-in-IPv4 Tunnels in the Internet		 2003
80 Marta Cialdea , Fiora Pirri
Tableau 2003: Position Papers and Tutorials		 2003
79 Ludovica Adacher , Dario Pacciarelli , Marco Pranzo
A Graph Theoretical Model for the Aircraft Sequencing Problem		 2003
77 Franco Milicchio
Stokes BSP: a data structure to compute coboundary and differential forms		 2003
76 Valter Crescenzi , Giansalvatore Mecca
On Automatic Information Extraction from Large Web Sites		 2003
75 Dario Pacciarelli , Alessandro Agnetis, N.G. Hall
Supply Chain Scheduling: Sequence Coordination		 2002
74 Alessandro Mascis, Dario Pacciarelli , Marco Pranzo
Models and Algorithms for Traffic Management of Rail Networks		 2002
73 Maurizio "Titto" Patrignani , Giuseppe Di Battista , Maurizio Pizzonia
Computing the Types of the Relationships between Autonomous Systems		 2002
71 E. Di Giacomo, Maurizio "Titto" Patrignani , Giuseppe Liotta
On Orthogonal 3D Shapes of Theta Graphs 		2002
70 A. Pacifici, Gaia Nicosia
Optimal Allocation Plan for Distribution Centers of a Frozen Food company		 2002
69 Dario Pacciarelli , Carlo Meloni, Marco Pranzo
A Rollout Metaheuristic for Job Shop Scheduling Problems		 2002
68 Marta Cialdea , Carla Limongelli
A Description Language for Plannig with Domain and Control Knowledge		 2001
67 Dario Pacciarelli , A. Pacifici, P.B. Mirchandani, Alessandro Agnetis
Scheduling Problems with two Competing Users 		2001
66 Maurizio "Titto" Patrignani
Stability or Arbitrary Genes: A New Approach to Cooperation 		2001
65 Maurizio Pizzonia , Walter Didimo
Upward Embeddings and Orientations of Undirected Planar Graphs		 2001
63 Marco Pranzo
Batch Scheduling in a two Machine Flow Shop with Limited Buffer and Sequence Independent Setup Times 		2001
62 Ludovica Adacher , Paolo Detti
Parallel Machine Scheduling Problems with Partial Information: Distributed Decision Models and Algorithms		 2000
58 P. Dell'Olmo, G. Gambosi, Gaia Nicosia
Semi On-line Bin Packing with Cardinality Constraint 		2000
55 Carlo Meloni
The Splittance of a Graph and the D-trail Problem 		2000
53 Dario Pacciarelli , Carlo Meloni, Alessandro Agnetis, Paolo Detti
A Linear Algorithm for the Edge Hamiltonian Completion Number of a Tree		 2000
52 Dario Pacciarelli
The Alternative Graph Formulation for Solving Complex Factory Scheduling Problems		 2000
51 Dario Pacciarelli , A. Pacifici
An Integrated Framework to Design Assembly Systems		 2000
50 Dario Pacciarelli , Marco Pranzo
Production Scheduling in a Steelmaking-continuous Casting Plant		 2000
49 A. Pacifici, Dario Pacciarelli , Alessandro Agnetis, P.B. Mirchandani
Job Shop Scheduling with Two Jobs and Nonregular Objective Functions		 2000
47 Gaia Nicosia , Dario Pacciarelli , A. Pacifici
Optimally Balancing Assembly Lines with Different Workstations		 2000
46 Dario Pacciarelli , Alessandro Mascis
Machine Scheduling via Alternative Graphs		 2000
45 Alberto Paoluzzi , Glauco Cenciotti, Claudio Morgia
Object-Oriented Extension of a Functional Design Language 		1999
44 Carlo Meloni, Ludovica Adacher
Conceptual Modeling of Autonomous Agents Paradigms in Flexible Manufacturing Systems 		1999
43 Ludovica Adacher , Alessandro Agnetis, Carlo Meloni
Autonomous Agents Architectures and Algorithms in Flexible Manufacturing Systems		 1999
42 Paolo Detti, M. T. Ortuño, L.F. Escudero, A. Alonso
On Dual Based Lower Bounds for the Sequential Ordering Problem with Precedences and Due Dates 		1999
41 Ludovica Adacher , Paolo Detti, Fernando Nicolò
Distributed Schemes on Parallel Machines		 1999
40 Alberto Paoluzzi
Transfinite Blending Made Easy 		1999
39 Maurizio "Titto" Patrignani
On the Complexity of Orthogonal Compaction 		1999
38 Dario Pacciarelli
Loading Parts and Tools in a Flexible Manufacturing System 		1998
37 Dario Pacciarelli , Alessandro Agnetis
Part Sequencing in Three Machine No-Wait Robotic Cells		 1998
36 Paolo Detti, Dario Pacciarelli
A Branch and Bound Algorithm for the Minimum Storage-Time Sequencing Problem 		1998
35 Maurizio "Titto" Patrignani , Maurizio Pizzonia
The Complexity of the Matching-Cut Problem		 1998
34 Giuseppe Sindoni, Alessandro Masci, Paolo Merialdo , Paolo Atzeni
From Databases to Web-Bases: The ARANEUS Experience		 1998
33 Gaia Nicosia , S. Nicoletti, A. Pacifici
Group Technology with Flow Shop Cells 		1998
32
An Algebraic Semantics for the LO Coordination Language		 1998
31 Giansalvatore Mecca, Paolo Merialdo , Alberto O. Mendelzon
Efficient Queries over Web Views 		1998
30 Alberto Paoluzzi
A Unified Multidimensional Approach to Extrusion, Sweeping, Offset and Minkowski Sum		 1997
29 Claudio Baldazzi, Alberto Paoluzzi
Dimension Independent BSP (2): Boundary to Interior Mapping 		1997
28 Wolfgang Alexander Gehrke
A Method to Combine Algebraic Computations with Related Deductions		 1997
27 Riccardo Torlone , Paolo Atzeni
Management and Transalation of Heterogeneous Database Schemes in a Lattice Framework 		1997
26 Claudio Baldazzi, Alberto Paoluzzi
Dimension-Independent BSP (1): Section and Interior to Boundary Mapping		 1997
25 Paolo Atzeni , Paolo Merialdo , Giansalvatore Mecca
Design and Maintenance of Data-intensive Web sites 		1997
24 Serenella Cerrito, Marta Cialdea
A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic		 1997
23 Marta Cialdea , Serenella Cerrito, Amedeo Cesta
Planning as Model Construction in Linear Temporal Logic		 1997
22 C. Arbib, Dario Pacciarelli , S. Smriglio
A Three-dimensional Matching Model for Perishable Production Scheduling		 1997
21 Paolo Di Blasio, K. Fisher, C. Talcott
A Control-Flow Analysis for a Calculus of Concurrent Objects		 1997
20 Wolfgang Alexander Gehrke
ElfRW: A Tool for Higher-Order Dependently Typed Rewriting (System Description)		 1997
19 Paolo Atzeni , Giansalvatore Mecca, Paolo Merialdo , Elena Tabet
Structures in the Web 		1997
18 Carla Limongelli , G. Malerba, Marco Temperini
Uniform Representation of Basic Algebraic Structures in Computer Algebra		 1996
17 Claudio Baldazzi, Alberto Paoluzzi
Bijective Dimension-Independent Boundary to Interior Mappings with BSP Trees		 1996
16 Roberto Tamassia, Luca Vismara, Giuseppe Di Battista
Output-Sensitive Reporting of Disjoint Paths		 1996
15 F. Poletti, A. Vitaletti
Mijn meester Escher. A Nice Appendix of a Course in Graphic		 1996
14 Giansalvatore Mecca, Anthony J. Bonner
Sequences, Datalog and Transducers		 1996
13 Paolo Atzeni , Luca Cabibbo , Giansalvatore Mecca
IsaLog: a Deductive Language with Negation for Complex-Object Databases with Hierarchies		 1996
12 Danilo Montesi, Riccardo Torlone
Analysis and Optimization of Active Databases 		1996
11 Luca Cabibbo
The Expressive Power of Stratified Logic Programs with Value Invention		 1996
10 Giulio Balestreri, Marta Cialdea
An Abstract View of Contexts in Reduction Systems		 1996
9 Giuseppe Liotta, Giuseppe Di Battista , P. Bose, W. Lenhart
Proximity Constraints and Representable Trees		 1996
8 Giuseppe Di Battista , Giuseppe Liotta, S. H. Whitesides
The Strength of Weak Proximity 		1996
7 Wolfgang Alexander Gehrke
Complex and Hyper-Complex Numbers: a Case Study for the Combination of Algebraic Computation and Deduction		 1996
6 Carla Limongelli , Wolfgang Alexander Gehrke
Explicit Parallel Combinators Defined on Top of CML for Symbolic Computations		 1996
5 Carla Limongelli , Wolfgang Alexander Gehrke
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting		 1996
4 Alberto Paoluzzi , Claudio Baldazzi
From Polyline to Polygon via XOR Tree		 1996
3 Luca Cabibbo , Giansalvatore Mecca
Model Finitess and Functionality in a Declarative Language with Oid-Invention		 1996
2 Giuseppe Di Battista , Roberto Tamassia, Luca Vismara
On-Line Convex Planarity Testing		 1995
1 Carla Limongelli , R. Pirastu
p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems		 1995
Pagina stampabile Pagina stampabile