| 2019 | EUSFLAT | WordNet and Prolog: why not? | Pascual Julin Iranzo, Fernando Senz-Prez |
| 2014 | JELIA | Revisiting Reductants in the Multi-adjoint Logic Programming Framework. | Pascual Julin Iranzo, Jess Medina, Manuel Ojeda-Aciego |
| 2013 | FQAS | Declarative Fuzzy Linguistic Queries on Relational Databases. | Clemente Rubio-Manzano, Pascual Julin Iranzo, Esteban Salazar-Santis, Eduardo San Martn-Villarroel |
| 2013 | IWANN | An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. | Pascual Julin Iranzo, Jess Medina-Moreno, Pedro J. Morcillo, Gins Moreno, Manuel Ojeda-Aciego |
| 2013 | IWANN | A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi~Prolog System. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2011 | IWANN | A Sound Semantics for a Similarity-Based Logic Programming Language. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2010 | IJCCI | Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2009 | IWANN | A Similarity-Based WAM for Bousi~Prolog. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2009 | PPDP | A declarative semantics for Bousi~Prolog. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2004 | FLOPS | Analysing Definitional Trees: Looking for Determinism. | Pascual Julin Iranzo, Christian Villamizar Lamus |
| 2002 | FLOPS | On the Correctness of the Factoring Transformation. | Pascual Julin Iranzo |
| 1998 | SAS | Improving Control in Functional Logic Program Specialization. | Elvira Albert, Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1997 | PEPM | Specialization of Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |