| 2006 | CSR | Window Subsequence Problems for Compressed Texts. | Patrick Cgielski, Irne Guessarian, Yury Lifshits, Yuri V. Matiyasevich |
| 1999 | PODS | Window-Accumulated Subsequence Matching Problem is Linear. | Luc Boasson, Patrick Cgielski, Irne Guessarian, Yuri V. Matiyasevich |
| 1997 | MFCS | The Expressiveness of Datalog Circuits (DAC). | Foto N. Afrati, Irne Guessarian, Michel de Rougemont |
| 1994 | LOPSTR | An Extended Transformation System for CLP Programs. | Nacra Bensaou, Irne Guessarian |
| 1994 | STACS | Transforming Constraint Logic Programs. | Nacra Bensaou, Irne Guessarian |
| 1992 | MFCS | About Boundedness for some DATALOG and DATALOG_neg Programs. | Irne Guessarian, Marcos Veloso Peixoto |
| 1990 | ICDT | Deciding Boundedness for Uniformly Connected Datalog Programs. | Irne Guessarian |
| 1988 | STACS | An Automaton Characterization of Fairness in SCCS. | Irne Guessarian, Wafaa Niar-Dinedane |
| 1985 | FCT | A unifying theorem for algebraic semantics and dynamic logics. | Hajnal Andrka, Irne Guessarian, Istvn Nmeti |
| 1981 | MFCS | Combining T and level-N. | Werner Damm, Irne Guessarian |
| 1978 | MFCS | Some Applications of Algebraic Semantics. | Irne Guessarian |
| 1976 | ICALP | Semantic Equivalence of Program Schemes and its Syntactic Characterization. | Irne Guessarian |