Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus. - Annalisa Bossi; Livio Colussi; Claudio Cobelli; Giorgio Romanin-Jacur (SIGSAM Bull., 1980)

A Divide-and-Conquer Approach to General Context-Free Parsing. - Annalisa Bossi; Nicoletta Cocco; Livio Colussi (Inf. Process. Lett., 1983)

On the Exact Complexity of String Matching (Extended Abstract) - Livio Colussi; Zvi Galil; Raffaele Giancarlo (FOCS, 1990)

Proving Correctness of Logic Programs Using Axiomatic Semantics. - Livio Colussi; Elena Marchiori (ICLP, 1991)

Correctness and Efficiency of the Pattern Matching Algorithms - Livio Colussi (Inf. Comput., 1991)

A Predicate Transformer for Unification. - Livio Colussi; Elena Marchiori (JICSLP, 1992)

Tight Comparison Bounds for the String Prefix-Matching Problem. - Dany Breslauer; Livio Colussi; Laura Toniolo (Inf. Process. Lett., 1993)

On the Exact Complexity of the String Prefix-Matching Problem (Extended Abstract). - Dany Breslauer; Livio Colussi; Laura Toniolo (ESA, 1994)

Combining Logic and Control to Characterize Global Invariants of Prolog Programs. - Livio Colussi; Elena Marchiori; Massimo Marchiori (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Fastest Pattern Matching in Strings. - Livio Colussi (J. Algorithms, 1994)

A Dataflow Semantics for Constraint Logic Programs. - Livio Colussi; Elena Marchiori; Massimo Marchiori (GULP-PRODE, 1995)

On Termination of Constraint Logic Programs. - Livio Colussi; Elena Marchiori; Massimo Marchiori (CP, 1995)

A Time and Space Efficient Data Structure for String Searching on Large Texts. - Livio Colussi; Alessia De Col (Inf. Process. Lett., 1996)

How the Character Comparison Order Shapes the Shift Function of On-Line Pattern Matching Algorithms. - Livio Colussi; Laura Toniolo (Theor. Comput. Sci., 1996)

On the Comparison Complexity of the String Prefix-Matching Problem. - Dany Breslauer; Livio Colussi; Laura Toniolo (J. Algorithms, 1998)

Precise Analysis of π-Calculus in Cubic Time. - Livio Colussi; Gilberto Filé; A. Griggio (IFIP TCS, 2004)

Disjoint paths in arborescences. - Livio Colussi; Michele Conforti; Giacomo Zambelli (Discret. Math., 2005)

The convergence classes of Collatz function. - Livio Colussi (Theor. Comput. Sci., 2011)

Work function algorithm can forget history without losing competitiveness - Livio Colussi (CoRR, 2012)