Technical reports at Department of Computer Science and Automation

Rapporti Tecnici al Dipartimento di Informatica e Automazione

RT-INF-1-1995

C. Limongelli, R. Pirastu

p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems

RT-INF-2-1995

G. Di Battista, R. Tamassia, L. Vismara

On-Line Convex Planarity Testing

RT-INF-3-1996

L. Cabibbo, G. Mecca

Model Finitess and Functionality in a Declarative Language with Oid-Invention

RT-INF-4-1996

C.Baldazzi, A.Paoluzzi

From Polyline to Polygon via XOR Tree

RT-INF-5-1996

W. Gehrke, C. Limongelli

Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting

RT-INF-6-1996

W. Gehrke, C. Limongelli

Explicit Parallel Combinators Defined on Top of CML for Symbolic Computation

RT-INF-7-1996

W. Gehrke

Complex and Hyper-Complex Numbers: a Case Study for the Combination of Algebraic Computation and Deduction

RT-INF-8-1996

G. Di Battista, G. Liotta, S. H. Whitesides

The Strength of Weak Proximity

RT-INF-9-1996

P. Bose,G. Di Battista, W. Lenhart, G. Liotta

Proximity Constraints and Representable Trees

RT-INF-10-1996

G. Balestreri, M. Cialdea Meyer

An abstract view contexts in reduction systems

RT-INF-11-1996

L. Cabibbo

The Expressive Power of Stratified Logic Programs with Value Invention

RT-INF-12-1996

D. Montesi, R. Torlone

Analysis and Optimization of Active Databases

RT-INF-13-1996

P. Atzeni, L. Cabibbo, G. Mecca

IsaLog: a Deductive Language with Negation for Complex-Object Databases with Hierarchies

RT-INF-14-1996

A.J. Bonner, G. Mecca

Sequences, Datalog and Transducers

RT-INF-15-1996

F. Paoletti, A. Vitaletti

Mijn meester Escher. A nice appendix to a course in graphics

RT-INF-16-1996

G. Di Battista, R. Tamassia, L. Vismara

Output-Sensitive Reporting of Disjoint Paths

RT-INF-17-1996

C. Baldazzi, A. Paoluzzi

Bijective Dimension-Independent Boundary to Interior Mappings with BSP Trees

RT-INF-18-1996

G. Malerba, C. Limongelli, M. Temperini

Uniform Representation of Basic Algebraic Structures in Computer Algebra

RT-INF-19-1997

P. Atzeni, G. Mecca , P. Merialdo, E. Tabet

Structures in the Web

RT-INF-20-1997

W. Gehrke

ElfRW: A Tool for Higher-Order Dependently Typed Rewriting (System Description)

RT-INF-21-1997

P. Di Blasio, K. Fisher, C. Talcott

Analysis for Concurrent Objects

RT-DIA-22-1997

C. Arbib, D. Pacciarelli, S. Smriglio

A Three-dimensional Matching Model for Perishable Production Scheduling

RT-DIA-23-1997

M. Cialdea Mayer, S. Cerrito, A. Cesta

Planning as Model Construction in linear temporal logic

RT-DIA-24-1997

S. Cerrito, M. Cialdea Mayer

A Prefixed Tableau Calculus for Plan Generation in Linear Temporal Logic

RT-DIA-25-1997

P. Atzeni, G. Mecca, P. Merialdo

Design and maintenance of data-intensive Web sites

RT-DIA-26-1997

C. Baldazzi, A. Paoluzzi

Dimension-Independent BSP (1): Section and Interior to Boundary Mapping

RT-DIA-27-1997

P. Atzeni, R. Torlone

Management and Transalation of Heterogeneous Database Schemes in a Lattice Framework

RT-DIA-28-1997

W. Gehrke

A Method to Combine Algebraic Computations with Related Deductions

RT-DIA-29-1997

C. Baldazzi, A. Paoluzzi

Dimension Independent BSP (2): Boundary to Interior Mapping

RT-DIA-30-1997

A. Paoluzzi

A Unified Multidimensional Approach to Extrusion, Sweeping, Offset and Minkowski Sum

RT-DIA-31-1998

G. Mecca, A. O. Mendelzon, P. Merialdo

Efficient Queries over Web Views

RT-DIA-32-1998

G. Balestrieri

An Algebraic Semantics for the LO Coordination Language

RT-DIA-33-1998

S. Nicoletti, G. Nicosia, A. Pacifici

Group Technology with Flow Shop Cells

RT-DIA-34-1998

G. Mecca, P. Atzeni, A. Masci, P. Merialdo, G. Sindoni

From Databases to Web-Bases: The ARANEUS Experience

RT-DIA-35-1998

M. Patrignani, M. Pizzonia

The Complexity of the Matching-Cut Problem

RT-DIA-36-1998

P.Detti, D. Pacciarelli

A Branch and Bound Algorithm for the Minimum Storage-Time Sequencing Problem

RT-DIA-37-1998

A. Agnetis, D. Pacciarelli

Part Sequencing in Three Machine No-Wait Robotic Cells

RT-DIA-38-1998

D. Pacciarelli

Loading Parts and Tools in a Flexible Manufacturing System

RT-DIA-39-1999

M. Patrignani

On the Complexity of Orthogonal Compaction

RT-DIA-40-1999

A. Paoluzzi

Transfinite Blending Made Easy

RT-DIA-41-1999

L. Adacher, P. Detti, F. Nicolò

Distributed Schemes on Parallel Machines

RT-DIA-42-1999

A. Alonso, P. Detti, L. F. Escudero, M. T. Ortuño

On Dual Based Lower Bounds for the Sequential Ordering Problem with Precedences and Due Dates

RT-DIA-43-1999

L. Adacher, A. Agnetis, C. Meloni

Autonomous Agents Architectures and Algorithms in Flexible Manufacturing Systems

RT-DIA-44-1999

L. Adacher, C. Meloni

Conceptual Modeling of Autonomous Agents Paradigms in Flexible Manufacturing Systems

RT-DIA-45-1999

G. Cenciotti, C. Morgia, A. Paoluzzi

Object-Oriented Extension of a Functional Design Language

RT-DIA-46-2000

A. Mascis, D. Pacciarelli

Machine Scheduling via Alternative Graphs

RT-DIA-47-2000

G. Nicosia, D. Pacciarelli, A. Pacifici

Optimally Balancing Assembly Lines with Different Workstations

RT-DIA-49-2000

A. Agnetis, P.B. Mirchandani, D. Pacciarelli, A. Pacifici

Job Shop Scheduling with Two Jobs and Nonregular Objective Functions

RT-DIA-51-2000

D. Pacciarelli, A. Pacifici

An Integrated Framework to Design Assembly Systems

RT-DIA-53-2000

A. Agnetis, P. Detti, C. Meloni, D. Pacciarelli

A Linear Algorithm for the Edge Hamiltonian Completion Number of a Tree

RT-DIA-55-2000

C. Meloni

The splittance of a graph and the D-trail problem

RT-DIA-58-2000

P. Dell'Olmo, G. Gambosi, G. Nicosia

Semi On-line Bin Packing with Cardinality Constraint

RT-DIA-62-2000

L. Adacher, P. Detti

Parallel machine scheduling problems with partial information: Distributed decision models and algorithms

RT-DIA-63-2001

M. Pranzo

Batch scheduling in a two machine flow shop with limited buffer and sequence independent setup times

RT-DIA-65-2001

W. Didimo, M. Pizzonia

Upward Embeddings and Orientations of Undirected Planar Graphs

RT-DIA-66-2001

M. Patrignani

Stability or Arbitrary Genes: a New Approach to Cooperation

RT-DIA-67-2001

A. Agnetis, P.B. Mirchandani, D. Pacciarelli, A. Pacifici

Scheduling problems with two competing users

RT-DIA-68-2001

M. Cialdea, C. Limongelli

A Description Language for Plannig with Domain and Control Knowledge

RT-DIA-69-2002

C. Meloni, D. Pacciarelli, M. Pranzo

A Rollout metaheuristic for job shop scheduling problems

RT-DIA-70-2002

G. Nicosia, A. Pacifici

Optimal allocation plan for distribution centers of a frozen food

RT-DIA-71-2002

E. Di Giacomo, G. Liotta, M. Patrignani

On orthogonal 3D shapes of theta graphs

RT-DIA-73-2002

G. Di Battista, M. Patrignani, M. Pizzonia

Computing the types of the relationships between autonomous systems