| 2025 | ICLP | PEG 2.0: Future-Gazing Through a Socio-Linguistic and Historical Lens. | Vernica Dahl |
| 2022 | IWINAC | Doughnut Computing in City Planning for Achieving Human and Planetary Rights. | Vernica Dahl, Juan Jos Moreno-Navarro |
| 2016 | IJCAI | Grammar Induction as Automated Transformation between Constraint Solving Models of Language. | Ife Adebara, Vernica Dahl |
| 2015 | ICAART | Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. | Ife Adebara, Vernica Dahl, Sergio Tessaris |
| 2015 | ICAART | Parsing with Partially Known Grammar. | Ife Adebara, Vernica Dahl, Sergio Tessaris |
| 2015 | IJCAI | Imperfect Querying through Womb Grammars plus Ontologies. | Vernica Dahl, Sergio Tessaris, Thom W. Frhwirth |
| 2014 | PAAMS | Womb Grammars as a Bio-inspired Model for Grammar Induction. | Leonor Becerra-Bonache, Vernica Dahl, Mara Dolores Jimnez-Lpez |
| 2013 | IWANN | On Second Language Tutoring through Womb Grammars. | Leonor Becerra-Bonache, Vernica Dahl, J. Emilio Miralles |
| 2012 | ICLP | CHR for Social Responsibility. | Vernica Dahl, Bradley Coleman, J. Emilio Miralles, Erez Maharshak |
| 2011 | IWANN | Chemical Signaling as a Useful Metaphor for Resource Management. | Evgeny S. Skvortsov, Nima Kaviani, Vernica Dahl |
| 2011 | IWINAC | Classification Tree Generation Constrained with Variable Weights. | Pedro Barahona, Gemma Bel Enguix, Vernica Dahl, Mara Dolores Jimnez-Lpez, Ludwig Krippahl |
| 2010 | ICAART | Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. | Vernica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl |
| 2010 | PAAMS | Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. | Vernica Dahl, Mara Dolores Jimnez-Lpez, Olivier Perriquet |
| 2009 | IC3K | DNA and Natural Languages - Text Mining. | Gemma Bel Enguix, Vernica Dahl, Mara Dolores Jimnez-Lpez |
| 2009 | IWANN | A Hyprolog Parsing Methodology for Property Grammars. | Vernica Dahl, Baohua Gu, Erez Maharshak |
| 2009 | IWINAC | DNA Replication as a Model for Computational Linguistics. | Vernica Dahl, Erez Maharshak |
| 2009 | WoLLIC | Abductive Logic Grammars. | Henning Christiansen, Vernica Dahl |
| 2008 | AI | Recognizing Biomedical Named Entities in Chinese Research Abstracts. | Baohua Gu, Fred Popowich, Vernica Dahl |
| 2006 | ICLP | Semantic Property Grammars for Knowledge Extraction from Biomedical Text. | Vernica Dahl, Baohua Gu |
| 2005 | ICLP | HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. | Henning Christiansen, Vernica Dahl |
| 2003 | EPIA | Understanding Implicit Language Structures. | Vernica Dahl |
| 2002 | ICTAI | Logic Grammars for Diagnosis and Repair. | Henning Christiansen, Vernica Dahl |
| 2002 | PADL | How to Talk to Your Computer so that It Will Listen. | Vernica Dahl |
| 2000 | ICTAI | An assumptive logic programming methodology for parsing. | Kimberly D. Voll, Tom P. Yeh, Vernica Dahl |
| 1997 | CHI | LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. | Paul Tarau, Vernica Dahl, Stephen Rochefort, Koenraad De Bosschere |
| 1997 | ICLP | Assumption Grammars for Processing Natural Language. | Vernica Dahl, Paul Tarau, Renwei Li |
| 1997 | WETICE | A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. | Paul Tarau, Vernica Dahl, Koenraad De Bosschere |
| 1996 | ICTAI | A Hypothetical Reasoning-based Framework for NL Processing. | Vernica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau |
| 1995 | NLDB | Extending Datalog Grammars. | Vernica Dahl, Paul Tarau |
| 1994 | ISMIS | Incremental Processing of Logic Database Relations. | Yan-Nong Huang, Vernica Dahl, Jiawei Han |
| 1994 | LOPSTR | Logic Programming and Logic Grammars with First-Order Continuations. | Paul Tarau, Vernica Dahl |
| 1988 | ICLP | Representing Linguistic Knowledge through Logic Programming. | Vernica Dahl |
| 1984 | ICLP | On Gapping Grammars. | Vernica Dahl |
| 1983 | ICLP | Current Trends in Logic Grammars. | Vernica Dahl |
| 1979 | IJCAI | Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems. | Vernica Dahl |
| 1979 | VLDB | Logical Design of Deductive Natural Language Consultable Data Bases. | Vernica Dahl |