In this page we detail only the co-publications, that is, publications co-authored by both Argentinean and French members of SINFIN (and previously, INFINIS).

Book chapters

  1. Verónica Becher, Olivier Carton. Normal numbers and computer science. Chapter of Sequences, Groups and Number Theory, ed: Valérie Berthé and Michel Rigó. Trends in Mathematics Series. Birkhauser/Springer, 2018.
  2. Eda Cesaratto, Brigitte Vallée. Pseudo-randomness of a random Kronecker sequence. An instance of dynamical analysis. Chapitre 11 (pp 405-448) in Combinatorics, Words and Symbolic Dynamics, Encyclopedia of mathematics and its applications 159, ed: M. Rigo et V. Berthé, Cambridge University Press, 2016.
  3. Carlos Areces, Pascal Fontaine, and Stephan Merz. Modal Satisfiability via SMT Solving. In R. De Nicola, and R. Hennicker, editors, Software, Services, and Systems, LNCS 8950, pp. 30-45, Springer International Publishing, 2015.
  4. Philippe Clauss, Diego Gabervetsky, Vincent Loechner, Sven Verdoolaege. Polyhedral Techniques for Parametric Memory Requirement Estimation. Chapter of Energy Aware Memory Management for Embedded Multimedia Systems : a Computer-Aided Design Approach, ed: Florin Balasa. Chapman & Hall/CRC Press, 2011.


  1. Frédérique Bassino, Flavia Bonomo-Braberman, Lionel Pournin, Mario Valencia-Pabon. LAGOS’17: IX Latin and American Algorithms, Graphs and Optimization Symposium, C.I.R.M., Marseille, France – 2017. Special Issue of Discrete Applied Mathematics. Volume 281, 2020.
  2. Verónica Becher, Laurent Bienvenu, Rodney Downey, and Elvira Mayordomo. Report from Dagstuhl Seminar Computability, Complexity and Randomness 2012. Schloss Dagstuhl, Seminar 12021, January 8-13, 2012.

Journal publications

  1. Flavia Bonomo-Braberman, Guillermo Durán, Martín D. Safe, and Annegret K. Wagler, “On graph classes related to perfect graphs: A survey”. Discrete Applied Mathematics 281:42-60, 2020.
  2. Eda Cesaratto and Brigitte Vallée “Gaussian behavior of quadratic irrationals” Accepted for publication at Acta Arithmetica. 2020
  3. Stéphane Demri and Raul Fervari. “The Power of Modal Separation Logics”. Journal of Logic and Computation 29(8):1139–1184, 2019.
  4. Flavia Bonomo-Braberman, Mitre C. Dourado, Mario Valencia-Pabon, and Juan C. Vera, “A note on homomorphisms of Kneser hypergraphs“. Applied Mathematics and Computation 366:124764, 2019.
  5. Alejandro Díaz-Caro, Gilles Dowek, and Juan Pablo Rinaldi, “Two linearities for quantum computing in the lambda calculus“. BioSystems 186:104012, 2019.
  6. Nicolás Alvarez, Verónica Becher, and Olivier Carton. “Finite-state independence and normal sequences”, Journal of Computer and System Sciences 103:1-17, 2019.
  7. Guido Chari, Diego Garbervetsky, Stefan Marr, and Stephane Ducasse: Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Transactions on Software Engineering 45(9):858-876, 2018.
  8. Flavia Bonomo, Ivo Koch, Pablo Torres, Mario Valencia-Pabon: k-tuple colorings of the cartesian product of graphs. Discrete Applied Mathematics 245:177-182, 2018.
  9. Verónica Becher, Olivier Carton, Pablo Ariel Heiber. Finite-state independence. Theory of Computing Systems 62(7):1555-1572, 2018.
  10. Pablo Torres, Mario Valencia-Pabon: Shifts of the stable Kneser graphs and hom-idempotence. European Journal of Combinatorics 62:50-57, 2017.
  11. Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos. On abstract normalisation beyond neededness. Theoretical Computer Science. 672:36-63, 2017.
  12. Pablo Torres, Mario Valencia-Pabon: The packing chromatic number of hypercubes. Discrete Applied Mathematics 190-191:127-140 (2015)
  13. Liliana Alcón, Flavia Bonomo, Guillermo Durán, Marisa Gutierrez, Maria Pia Mazzoleni, Bernard Ries and Mario Valencia-Pabon. On the bend number of circular-arc graphs as edge intersection graphs of paths on a grid. Electronic Notes in Discrete Mathematics 50:249-254, 2015.
  14. Verónica Becher, Olivier Carton, Pablo Ariel Heiber. Normality and automata. Journal of Computer and System Sciences. 81(8): 1592-1613, 2015.
  15. Verónica Becher, Serge Grigorieff. Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. Mathematical Structures in Computer Science, 25(7): 1490-1519, 2015.
  16. Verónica Becher, Serge Grigorieff. Wadge hardness in Scott spaces and its effectivization. Mathematical Structures in Computer Science, 25(7): 1520-1545, 2015.
  17. Flavia Bonomo, Ivo Koch, Pablo Torres and Mario Valencia-Pabon. K-tuple chromatic number of the cartesian product of graphs. Electronic Notes in Discrete Mathematics 50, 243-248, 2015.
  18. Flavia Bonomo, Guillermo Durán and Mario Valencia-Pabon Mariow. Complexity of the cluster deletion problem on subclasses of chordal graphs. Theoretical Computer Science 600: 59-69, 2015.
  19. Flavia Bonomo, Durán Guillermo, Amedeo Napoli and Mario Valencia-Pabon. A one-to-one correspondence between potential solutions of the cluster deletion problem and the minimum sum coloring problem, and its application to P4-sparse graphs. Information Processing Letters 115 (6-8): 600-603, 2015.
  20. Flavia Bonomo, Oliver Schaudt, Maya Jakobine Stein and Mario Valencia-Pabon. b-Coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs. Algorithmica 73(2): 289-305, 2015.
  21. Olivier Carton, Pablo Ariel Heiber. Normality and two-way automata. Information and Computation. 241: 264-276, 2015.
  22. Eda Cesaratto, Brigitte Vallée. Gaussian Distribution of Trie Depth for Strongly Tame Sources. Combinatorics, Probability and Computing, 24 (3) : 54-103, 2015.
  23. Diego Figueira, Santiago Figueira and Carlos Areces. Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. Journal of Artificial Intelligence Research 53:271-314, 2015.
  24. Flavia Bonomo, Mario Valencia-Pabon. On the Minimum Sum Coloring of P4-sparse graphs. Graphs and Combinatorics 30(2):303-314, 2014.
  25. Vıctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. Summary based inference of quantitative bounds of live heap objects. Science of Computer Programming 92(A):56-84, 2014.
  26. Flavia Bonomo, Denis Cornaz, Tinaz Ekim, Bernard Ries. Perfectness of clustered graphs. Discrete Optimization 10:296-303, 2013.
  27. Verónica Becher, Serge Grigorieff. From index sets to randomness in the n-th jump of the halting problem: Random reals and possibly infinite computations part II. Journal of Symbolic Logic, 74(1):124–156, 2009.
  28. Verónica Becher, Serge Grigorieff. Random reals à la Chaitin with or without prefix freeness. Theoretical Computer Science 385(1-3):193-201, 2007.
  29. Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller. Randomness and halting probabilities. Journal of Symbolic Logic 71(4):1411-1430, 2006.
  30. Verónica Becher, Serge Grigorieff. Random reals and possibly infinite computations. Part I: Randomness in the Halting Problem. Journal of Symbolic Logic 70(3):891-913, 2005.
  31. Verónica Becher, Serge Grigorieff. Recursion and topology on the space of finite and infinite words for possibly infinite computations. Theoretical Computer Science, 322(1):85-136, 2004.

Peer-reviewed international conference publications

  1. Diego Figueira, Santiago Figueira, and Edwin Pin Baque. Finite Controllability for Ontology-Mediated Query Answering of CRPQ. In 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Main Track, pages 381-391, 2020.
  2. Bartosz Bednarczyk, Stéphane Demri, Raúl Fervari, and Alessio Mansutti. Modal Logics with Composition on Finite Forests: Expressivity and Complexity. In 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), IEEE, 2020.
  3. Valérie Berthé, Eda Cesaratto, Frédéric Paccaut, Pablo Rotondo, Martín Safe and Brigitte Vallée. Two  arithmetical sources and their associated  tries. In 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA2020). Volume 159 of LIPIcs, article 4. 2020.
  4. Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, and Andrés Viso. The Bang Calculus Revisited. In 15th International Symposium on Functional and Logic Programming (FLOPS 2020). Volume 12073 of LNCS, pages 13-32, 2020.
  5. Beniamino Accattoli and Alejandro Díaz-Caro. Functional Pearl: The Distributive λ-Calculus. In 15th International Symposium on Functional and Logic Programming (FLOPS 2020). Volume 12073 of LNCS, pages 33-49, 2020.
  6. María Emilia Descotte, Diego Figueira, Santiago Figueira. Closure properties of synchronized relations. In 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), volume 126 of LIPIcs, article 22, 2019.
  7. Stéphane Demri, Raul Fervari, and Alessio Mansutti. Axiomatising Logics with Separating Conjunction and Modalities. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 692-708, Springer 2019.
  8. Alejandro Díaz-Caro and Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), volume 131 of LIPIcs, article 14, 2019.
  9. Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, and Benoît Valiron. Realizability in the Unitary Sphere. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), IEEE, 2019.
  10. Stéphane Demri and Raúl Fervari. On the complexity of modal separation logics. In AIML’18, pages 179–198. College Publications, 2018.
  11. Delia Kesner, Alejandro Rios, Andres Viso. Call-by-need, neededness and all that. 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece. LNCS 10803:241-257, 2018.
  12. Alejandro Díaz-Caro, Gilles Dowek. Typing quantum superpositions and measurement. Proceedings of the 6th International Conference on the Theory and Practice of Natural Computing (TPNC), Prague, Czech Republic. LNCS 10687:281-293, 2017.
  13. Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. Bisimulations on Data Graphs. Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Cape Town, South Africa. AAAI Press, pages 309-318, 2016.
  14. Sophie Laplante, Mathieu Laurière, Alexandre Nolin, Jérémie Roland, Gabriel Senno. Robust Bell Inequalities from Communication Complexity. Proceedings of the 11th Conference on the Theory of Quantum Computation, Communication and Cryptography, Berlin, Germany. LIPIcs, Volume 61, pages 1-24, 2016.
  15. Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza. A Strong Distillery. The 13th Asian Symposium on Programming Languages and Systems (APLAS), Poang, Korea. LNCS 9458, pages 231-250, 2015.
  16. Valérie Berthé, Eda Cesaratto, Pablo Rotondo, Brigitte Vallée, Alfredo Viola. Recurrence function on Sturmian words: a probabilistic study. The 40th International Symposium on Mathematical Foundations of Computer Science (MFCS), Milano, Italy. LNCS 9234, pages 116-128, 2015.
  17. Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse. Towards fully reflective environments. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), ACM, pages 240-253, PA, USA, 2015.
  18. Diego Figueira, Santiago Figueira, Carlos Areces. Basic Model Theory of XPath on Data Trees. International Conference on Database Theory (ICDT), Athens, Greece, March 2014.
  19. Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi. A Nonstandard Standardization Theorem. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM SIGPLAN-SIGACT, pages 659-670, San Diego, USA, 2014.
  20. Carlos Areces, Hans van Ditmarsch, Raúl Fervari, François Schwarzentruber. Logics with Copy and Remove. Workshop of Logic, Language, Information and Computation (WoLLIC), LNCS, Valparaıso, Chile, 2014.
  21. Flavia Bonomo, Oliver Schaudt, Maya Stein, Mario Valencia-Pabon. b-Coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs. International Symposium on Combinatorial Optimization (ISCO), LNCS 8596, Lisbonne, Portugal, 2014.
  22. Flavia Bonomo, Gianpaolo Oriolo, Claudia Snels, Gautier Stauffer. Minimum clique cover in claw-free perfect graphs and the weak Edmonds-Johnson property. Conference on Integer Programming and Combinatorial Optimization (IPCO), LNCS 7801, pages 86-97, Valparaıso, Chile, 2013.
  23. Carlos Areces, Pascal Fontaine. Combining Theories: The Ackerman and Guarded Fragments. International Symposium on Frontiers of Combining Systems (FroCos), LNCS 6989, pages 40-54, Saarbrücken, Allemagne, 2011.

Peer-reviewed international workshop publications

  1. Flavia Bonomo, Ivan Koch, Mario Valencia-Pabon. A linear algorithm for the k-tuple chromatic number of partner limited graphs. Proceedings of the VII Latin American Workshop on Cliques in Graphs, La Plata, Argentina, November 2016.
  2. Carlos Areces, David Deharbe, Pascal Fontaine, Ezequiel Orbe. SyMT: finding symmetries in SMT formulas. International Workshop on Satisfiability Modulo Theories (SMT), Helsinki, Finland, July 2013.
  3. Alejandro Díaz-Caro, Gilles Dowek. The probability of non-confluent systems. 9th International Workshop on Developments in Computational Models (DCM), Buenos Aires, Argentina, August, 2013.
  4. Alejandro Díaz-Caro, Gilles Dowek. Non determinism through type isomorphism. 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA), Rio de Janeiro, Brazil, September 2012.
  5. Delia Kesner, Carlos Lombardi, Alejandro Ríos. A Standardisation proof for algebraic pattern calculi. 5th International Workshop on Higher-Order Rewriting (HOR), Edinburgh, UK, July 2010.