Local and global time logic: A formalism to describe finite-state distributed systems (Technical report / Dipartimento di informatica, Università di Pisa)
Andrea Masini
The concurrent language shared Prolog (Technical report / Dipartimento di informatica, Università di Pisa)
Antonio Brogi
Constraint relaxation may be perfect (Technical report / Dipartimento di informatica, Università di Pisa)
U Montanari
Tree sequential term rewriting systems (Technical report / Dipartimento di informatica, Università di Pisa)
Vincenzo Ambriola
A declarative approach to abstract interpretation of logic programs (Technical report / Dipartimento di informatica, Università di Pisa)
Roberto Barbuti
Lower bounds for general junction routing problems in a new diagonal model (Technical report / Dipartimento di informatica, Università di Pisa)
Song Xiaoyu
Specifying and prototyping in concurrent Prolog: A software engineering environment (Technical report / Dipartimento di informatica, Università di Pisa)
Vincenzo Ambriola
Closed queueing networks with finite capacities: Blocking types, product-form solution and performance indices (Technical report / Dipartimento di informatica, Università di Pisa)
S Balsamo
A new lower bound for the quadratic assignment problem (Technical report / Dipartimento di informatica, Università di Pisa)
Paolo Carraresi
Modular verification of correctness properties in an environment for concurrent systems specifications: The deadlock case (Technical report / Dipartimento di informatica, Università di Pisa)
N De Francesco
On evaluating the cumulative performance distribution of fault-tolerant computer systems (Technical report / Dipartimento di informatica, Università di Pisa)
Lorenzo Donatiello
A partial ordering semantics for CCS (Technical report / Dipartimento di informatica, Università di Pisa)
Pierpaolo Degano
A bottom-up polymorphic type inference in logic programming (Technical report / Dipartimento di informatica, Università di Pisa)
Roberto Barbuti
A polynomial time optimal algorithm for SS/TDMA satellite communications with general switching modes (Technical report / Dipartimento di informatica, Università di Pisa)
M. A Bonuccelli
Declaritive modeling of the operational behaviour of logic languages (Technical report / Dipartimento di informatica, Università di Pisa)
Moreno Falaschi
Polynomially solvable satisfiability problems (Technical report / Dipartimento di informatica, Università di Pisa)
G Gallo
Some structural properties of systolic tree automata (Technical report / Dipartimento di informatica, Università di Pisa)
E Fachini
INTRODUZIONE ALL' INFORMATICA: TECNOLOGIE INFORMATICHE PER ISTITUTI TECNICI E UNIVERSITÀ IN INFORMATICA (Linguaggi di programmazione Informatica e ingegneria del software) (Italian Edition)
Fabrice Vulpio
A 2d channel router for diagonal model (Technical report / Dipartimento di informatica, Università di Pisa)
Elena Lodi