COLUSSI, LIVIO
COLUSSI, LIVIO
A Dataflow Semantics for Constraint Logic Programs
1995 Colussi, Livio; E., Marchiori; Marchiori, Massimo
A method of writing symbolically the transfer matrix of a compartmental model
1979 Bossi, A.; Cobelli, Claudio; Colussi, Livio; ROMANIN JACUR, Giorgio
A time and space efficient data structure for string searching on large texts
1996 Colussi, Livio; DE COL, A.
Disjoint Paths in Arborescences
2005 Colussi, Livio; Conforti, Michelangelo; Zambelli, Giacomo
How the character comparison order shapes the shift function of on-line pattern matching algorithms
1996 Colussi, Livio; L., Toniolo
Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus
1980 Bossi, A.; Cobelli, Claudio; Colussi, Livio; ROMANIN JACUR, Giorgio
Introduzione agli algoritmi e strutture dati. Terza edizione.
2010 Colussi, Livio
Introduzione agli algoritmi e strutture dati.Seconda Edizione.
2005 Colussi, Livio
Laser welding: a simulation model
1981 Colussi, Livio; ROMANIN JACUR, Giorgio
On Termination of Constraint Logic Programs
1995 Colussi, Livio; E., Marchiori; Marchiori, Massimo
On the Comparison Complexity of the String Prefix Matching Problem
1998 Breslauer, D.; Colussi, Livio; Toniolo, L.
Precise analysis of pi-calculus in cubic time
2003 Colussi, Livio; G., File'; A., Griggio
Precise Analysis of pi-Calculus in Cubic Time
2004 Colussi, Livio; File', Gilberto; A., Griggio
Saldatura a mezzo laser impulsivo. Criteri di scelta e di progetto basati sulla simulazione su calcolatore numerico
1975 Ciscato, S; Colussi, Livio; ROMANIN JACUR, Giorgio
The convergence classes of Collatz function.
2011 Colussi, Livio
Transfer function matrix of a compartmental model. A program for the rapid writing of its symbolic expression
1980 Bossi, A.; Cobelli, Claudio; Colussi, Livio; ROMANIN JACUR, Giorgio