"Finite-State Independence" (2018) Becher, V.; Carton, O.; Heiber, P.A. Theory of Computing Systems. 62(7):1555-1572

"Numerical methods for fractional diffusion" (2018) Bonito, A.;Borthagaray, J.P.;Nochetto, R.H. (...)Salgado, A.J. Computing and Visualization in Science. 19(5-6):19-46

"New algorithms for composite retrieval" (2017) Feuerstein, E.;Knebel, J.A.;Mendez-Diaz, I. (...)Accenture; CONICYT; et al.; NIC Chile; RyC Consultores Asociados; Telefonica I+D 42nd Latin American Computing Conference, CLEI 2016

"The Evolution of Tango Harmony, 1910–1960" (2017) Mesz, B.;Paladino, A.;Pérgola, J. (...)Montiel M. 6th International Conference on Mathematics and Computation in Music, MCM 2017. 10527 LNAI:291-297

"Tight lower bounds on the number of bicliques in false-twin-free graphs" (2016) Groshaus, M.; Montero, L. Theoretical Computer Science. 636:77-84

"Behaviour, interaction and dynamics" (2014) Bruni, R.; Melgratti, H.; Montanari, U. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8373:382-401

"Resolving non-determinism in choreographies" (2014) Bocchi, L.; Melgratti, H.; Tuosto, E.; CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. 8410 LNCS:493-512

"A linearly computable measure of string complexity" (2012) Becher, V.; Heiber, P.A. Theoretical Computer Science. 438:62-73

"Minimum weighted clique cover on strip-composed perfect graphs" (2012) Bonomo, F.; Oriolo, G.; Snels, C. 38th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2012. 7551 LNCS:22-33

"BRKGA algorithm for the Capacitated Arc Routing Problem" (2011) Martinez, C.; Loiseau, I.; Resende, M.G.C.; Rodriguez, S. Electronic Notes in Theoretical Computer Science. 281:69-83

"DKAL and Z3: A logic embedding experiment" (2010) Mera, S.; Bjørner, N. 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010. 6300 LNCS:504-528

"Hands-on experience in HPC with secondary school students" (2010) Slezak, D.F.; Turjanski, P.G.; Montaldo, D.; Mocskos, E.E. IEEE Transactions on Education. 53(1):128-135

"A Sound observational semantics for modal transition systems" (2009) Fischbein, D.; Braberman, V.; Uchitel, S. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009. 5684 LNCS:215-230

"Crystal structure prediction of flexible molecules using parallel genetic algorithms with a standard force field" (2009) Seonah, K.; Orendt, A.M.; Ferraro, M.B.; Facelli, J.C. Journal of Computational Chemistry. 30(13):1973-1985

"Parallel genetic algorithms for crystal structure prediction: Successes and failures in predicting bicalutamide polymorphs" (2009) Ferraro, M.B.; Orendt, A.M.; Facelli, J.C. 5th International Conference on Intelligent Computing, ICIC 2009. 5754 LNCS:120-129

"Completeness results for memory logics" (2009) Areces, C.; Figueira, S.; Mera, S. International Symposium on Logical Foundations of Computer Science, LFCS 2009. 5407 LNCS:16-30

"On hereditary Helly classes of graphs" (2008) Groshaus, M.; Szwarcfiter, J.L. Discrete Mathematics and Theoretical Computer Science. 10(1):71-78

"Fork algebras as a sufficiently rich universal institution" (2006) Pombo, C.G.L.; Frias, M.F. 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006. 4019 LNCS:235-247

"Recursion and topology on 2≤ω for possibly infinite computations" (2004) Becher, V.; Grigorieff, S. Theoretical Computer Science. 322(1 SPEC ISS):85-136

"On implicative closure operators in approximate reasoning" (2003) Rodríguez, R.O.; Esteva, F.; Garcia, P.; Godo, L. International Journal of Approximate Reasoning. 33(2):159-184

"Pure type systems with de Bruijn indices" (2002) Kamareddine, F.; Ríos, A. Computer Journal. 45(2):187-201

"From higher-order to first-order rewriting" (2001) Bonelli, E.; Kesner, D.; Ríos, A. 12th International Conference on Rewriting Techniques and Applications, RTA 2001. 2051 LNCS:47-62

"Combinatorial hardness proofs for polynomial evaluation" (1998) Aldaz, M.;Heintz, J.;Matera, G. (...)Pardo, L.M. 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998. 1450 LNCS:167-175

"On multi-threaded paging" (1996) Feuerstein, E.;de Loma, A.S.;Nagamochi H. (...)ACM Special Interest Group on Automata and Computability Theory; et al; Foundation; Osaka Electro-Communication University; Special Interest Group on Algorithms of the Information Processing Society of Japan; Technical Group on Theoretical Foundation of Computing of the Institute of Electronics, Information and Communication Engineers of Japan; Telecommunications Advancement; The Asahi Glass Foundation 7th International Symposium on Algorithms and Computation, ISAAC 1996. 1178:417-426