Submitted

13. Two-level Grammars for Natural Language Parsing. G. Infante-Lopez and M. de Rijke. Submitted to Journal of Research on Language and Computation.

To Appear

12. Sequences of Part of Speech Tags vs. Sequences of Phrase Labels: How Do They Help in Parsing?, G. Infante-Lopez and M. de Rijke. In: Senventh International Conference of Intelligent Text Processing and Computational Linguistics (CICling 2006) LNCS. 2006

11. A Note on the Expressive Power of Probabilistic Context Free Grammars. G. Infante-Lopez and M. de Rijke. To appear in Journal of Logic, Language and Information.
Published

10. Book Review: Handbook of Formal Languages. G. Infante-Lopez. To appear in JoLLI - Journal of Logic, Language and Information.
9. Two level probabilistic grammars for Natural Language Parsing. G. Infante-Lopez. PhD Thesis. Universiteit van Amsterdam. 2005.

8. Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers. G. Infante-Lopez and M. de Rijke. Proc. ESTAL04. LNCS. 2004.

7. Alternative Approaches for Generating Bodies of Grammar Rule , G. Infante-Lopez and M. de Rijke. In: Proceedings 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004)

6. Comparing the Ambiguity Reduction Abilities of Probabilistic Context-Free Grammars. G. Infante-Lopez and M. de Rijke. Proceedings LREC 2004. 2004.

5. A General Probabilistic Model for Dependency Parsing, G.G. Infante-Lopez, M. de Rijke, and K. Sima'an. In: Proceedings BNAIC'02, pages 139-146, 2002.

4. Decomposing Modal Logic, G. Infante-Lopez, C. Areces, and M. de Rijke. In: P. Balbiani, N.-Y. Suzuki, and F. Wolter, editors, Workshop Proceedings AiML 2002, pages 189-204, IRIT, Toulouse, 2002.

3. Controlled model exploration, G. Infante-Lopez, C. Areces, and M. de Rijke.  In: Ph. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, editors, Advances in Modal Logic, Volume 4, pages 205-220, King's College London Publications. 2003.

2. Structured Problems in Modal Satisfiability Testing J. Heguiabehere, G. Infante-Lopez, and M. de Rijke. In: Workshop Proceedings M4M-2. 2002.

1. Beyond Memoryless Distributions: Model Checking semi-Markov Chains. G. I. Infante Lopez, H. Hermanns, and J.-P. Katoen. In Proc. PAPM-ProbMiV 2001. Springer. LNCS 2165, p. 57-70, 2001.