Livio Colussi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1990–1995
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | CP | On Termination of Constraint Logic Programs. | Livio Colussi, Elena Marchiori, Massimo Marchiori |
| 1994 | ESA | On the Exact Complexity of the String Prefix-Matching Problem (Extended Abstract). | Dany Breslauer, Livio Colussi, Laura Toniolo |
| 1994 | ICLP | Combining Logic and Control to Characterize Global Invariants of Prolog Programs. | Livio Colussi, Elena Marchiori, Massimo Marchiori |
| 1993 | CPM | Tight Comparison Bounds for the String Prefix-Matching Problem. | Dany Breslauer, Livio Colussi, Laura Toniolo |
| 1992 | ICLP | A Predicate Transformer for Unification. | Livio Colussi, Elena Marchiori |
| 1991 | ICLP | Proving Correctness of Logic Programs Using Axiomatic Semantics. | Livio Colussi, Elena Marchiori |
| 1990 | FOCS | On the Exact Complexity of String Matching (Extended Abstract) | Livio Colussi, Zvi Galil, Raffaele Giancarlo |