Livio Colussi

Publication Activity (10 Years)

Years Active: 1980-2012
Publications (10 Years): 0

Top Topics

Selection Algorithm

Experimental Evaluation

Expectation Maximization

Top Venues

Publications

Livio Colussi
Work function algorithm can forget history without losing competitiveness CoRR (2012)
Livio Colussi
The convergence classes of Collatz function. Theor. Comput. Sci. 412 (39) (2011)
Livio Colussi, Michele Conforti, Giacomo Zambelli
Disjoint paths in arborescences. Discret. Math. 292 (1-3) (2005)
Livio Colussi, Gilberto Filé, A. Griggio
Precise Analysis of π-Calculus in Cubic Time. IFIP TCS (2004)
Dany Breslauer, Livio Colussi, Laura Toniolo
On the Comparison Complexity of the String Prefix-Matching Problem. J. Algorithms 29 (1) (1998)
Livio Colussi, Alessia De Col
A Time and Space Efficient Data Structure for String Searching on Large Texts. Inf. Process. Lett. 58 (5) (1996)
Livio Colussi, Laura Toniolo
How the Character Comparison Order Shapes the Shift Function of On-Line Pattern Matching Algorithms. Theor. Comput. Sci. 163 (1&2) (1996)
Livio Colussi, Elena Marchiori, Massimo Marchiori
A Dataflow Semantics for Constraint Logic Programs PLILP (1995)
Livio Colussi, Elena Marchiori, Massimo Marchiori
On Termination of Constraint Logic Programs. CP (1995)
Livio Colussi, Elena Marchiori, Massimo Marchiori
A Dataflow Semantics for Constraint Logic Programs. GULP-PRODE (1995)
Dany Breslauer, Livio Colussi, Laura Toniolo
On the Exact Complexity of the String Prefix-Matching Problem (Extended Abstract). ESA (1994)
Livio Colussi
Fastest Pattern Matching in Strings. J. Algorithms 16 (2) (1994)
Livio Colussi, Elena Marchiori, Massimo Marchiori
Combining Logic and Control to Characterize Global Invariants of Prolog Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Dany Breslauer, Livio Colussi, Laura Toniolo
Tight Comparison Bounds for the String Prefix-Matching Problem. Inf. Process. Lett. 47 (1) (1993)
Dany Breslauer, Livio Colussi, Laura Toniolo
Tight Comparison Bounds for the String Prefix-Matching Problem. CPM (1993)
Livio Colussi, Elena Marchiori
A Predicate Transformer for Unification. JICSLP (1992)
Livio Colussi
Correctness and Efficiency of the Pattern Matching Algorithms Inf. Comput. 95 (2) (1991)
Livio Colussi, Elena Marchiori
Proving Correctness of Logic Programs Using Axiomatic Semantics. ICLP (1991)
Livio Colussi, Zvi Galil, Raffaele Giancarlo
On the Exact Complexity of String Matching (Extended Abstract) FOCS (1990)
Annalisa Bossi, Nicoletta Cocco, Livio Colussi
A Divide-and-Conquer Approach to General Context-Free Parsing. Inf. Process. Lett. 16 (4) (1983)
Annalisa Bossi, Livio Colussi, Claudio Cobelli, Giorgio Romanin-Jacur
Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus. SIGSAM Bull. 14 (4) (1980)