Livio Colussi

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