Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. - Gabriel G. Infante López; Holger Hermanns; Joost-Pieter Katoen (PAPM-PROBMIV, 2001)

Controlled Model Exploration. - Gabriel G. Infante López; Carlos Areces; Maarten de Rijke (Advances in Modal Logic, 2002)

Alternative approaches for Generating Bodies of Grammar Rules. - Gabriel G. Infante López; Maarten de Rijke (ACL, 2004)

Comparing the Ambiguity Reduction Abilities of Probabilistic Context-Free Grammars. - Gabriel G. Infante López; Maarten de Rijke (LREC, 2004)

Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers. - Gabriel G. Infante López; Maarten de Rijke (EsTAL, 2004)

Sequences of Part of Speech Tags vs. Sequences of Phrase Labels: How Do They Help in Parsing? - Gabriel G. Infante López; Maarten de Rijke (CICLing, 2006)

A Note on the Expressive Power of Probabilistic Context Free Grammars. - Gabriel G. Infante López; Maarten de Rijke (J. Log. Lang. Inf., 2006)

Searching for Part of Speech Tags That Improve Parsing Models. - Martín Ariel Domínguez; Gabriel G. Infante López (GoTAL, 2008)

PAC-Learning Unambiguous k, l-NTS <= Languages. - Franco M. Luque; Gabriel G. Infante López (ICGI, 2010)

Bounding the Maximal Parsing Performance of Non-Terminally Separated Grammars. - Franco M. Luque; Gabriel G. Infante López (ICGI, 2010)

Choosing Word Occurrences for the Smallest Grammar Problem. - Rafael Carrascosa; François Coste; Matthias Gallé; Gabriel G. Infante López (LATA, 2010)

Data-driven computational linguistics at FaMAF-UNC, Argentina. - Laura Alonso Alemany; Gabriel G. Infante López (NAACL (Young Investigators Workshop), 2010)

Head Finders Inspection: An Unsupervised Optimization Approach. - Martín Ariel Domínguez; Gabriel G. Infante López (IceTAL, 2010)

A New General Grammar Formalism for Parsing. - Gabriel G. Infante López; Martín Ariel Domínguez (MICAI (1), 2011)

Unsupervised induction of dependency structures using Probabilistic Bilexical Grammars. - Martín Ariel Domínguez; Gabriel G. Infante López (NLPKE, 2011)

The Smallest Grammar Problem as Constituents Choice and Minimal Grammar Parsing. - Rafael Carrascosa; François Coste; Matthias Gallé; Gabriel G. Infante López (Algorithms, 2011)

iSat: Structure Visualization for SAT Problems. - Ezequiel Orbe; Carlos Areces; Gabriel G. Infante López (LPAR, 2012)

Searching for smallest grammars on large sequences and application to DNA. - Rafael Carrascosa; François Coste; Matthias Gallé; Gabriel G. Infante López (J. Discrete Algorithms, 2012)

A Framework for Unsupervised Dependency Parsing using a Soft-EM Algorithm and Bilexical Grammars. - Martín Ariel Domínguez; Gabriel G. Infante López (Res. Comput. Sci., 2013)

Malware Evasion Attack and Defense. - Yonghong Huang; Utkarsh Verma; Celeste Fralick; Gabriel Infante-Lopez; Brajesh Kumar; Carl Woodward (DSN Workshops, 2019)