Babel Group
UPM UPM

Jjmoreno

Juan José Moreno Navarro

Full Professor

Publications

2022

  1. Doughnut Computing in City Planning for Achieving Human and Planetary Rights
    Dahl, V., & Moreno-Navarro, J. J. (2022). Doughnut Computing in City Planning for Achieving Human and Planetary Rights. In J. M. F. de Vicente, J. R. Álvarez Sánchez, F. de la Paz López, & H. Adeli (Eds.), Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence - 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 - June 3, 2022, Proceedings, Part II (Vol. 13259, pp. 562–572). Springer.

2013

  1. Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
    Garcı́a-Pérez, Nogueira, P., & Moreno-Navarro, J. J. (2013). Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. In R. Peña & T. Schrijvers (Eds.), 15th International Symposium on Principles and Practice of Declarative Programming, PPDP ’13, Madrid, Spain, September 16-18, 2013 (pp. 85–96). ACM.

2009

  1. Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker
    Taibi, T., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2009). Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol., 8(2), 137–161.
  2. Modeling Concurrent Systems with Shared Resources
    Ángel Herranz-Nieva, Mariño, J., Carro, M., & Moreno-Navarro, J. J. (2009). Modeling Concurrent Systems with Shared Resources. In Alpuente Marı́a, B. Cook, & C. Joubert (Eds.), Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings (Vol. 5825, pp. 102–116). Springer.

2008

  1. Implementing Constructive Intensional Negation
    Mariño, J., Moreno-Navarro, J. J., & Muñoz-Hernández, S. (2008). Implementing Constructive Intensional Negation. New Gener. Comput., 27(1), 25–56.
  2. Bialgebra views: a way for polytypic programming to cohabit with data abstraction
    Nogueira, P., & Moreno-Navarro, J. J. (2008). Bialgebra views: a way for polytypic programming to cohabit with data abstraction. In R. Hinze & D. Syme (Eds.), Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 (pp. 61–73). ACM.
  3. Modelling Mash-up Resources
    Perez, I., Ángel Herranz-Nieva, Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2008). Modelling Mash-up Resources. In A. Moreira, Suárez-Cabal Marı́a José, C. de la Riva, & J. Tuya (Eds.), XIII Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings (pp. 135–146).
  4. Automatic Coding Rule Conformance Checking Using Logic Programming
    Marpons-Ucero, G., Mariño-Carballo, J., Carro, M., Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Fredlund, L.-Å. (2008). Automatic Coding Rule Conformance Checking Using Logic Programming. In P. Hudak & D. S. Warren (Eds.), Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 (Vol. 4902, pp. 18–34). Springer.
  5. A Coding Rule Conformance Checker Integrated into GCC
    Marpons-Ucero, G., Mariño, J., Carro, M., Ángel Herranz-Nieva, Fredlund, L.-Å., Moreno-Navarro, J. J., & Álvaro Polo. (2008). A Coding Rule Conformance Checker Integrated into GCC. In J. M. Almendros-Jiménez (Ed.), Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008 (Vol. 248, pp. 149–159). Elsevier.
  6. Extending Constructive Logic Negation with Types
    Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2008). Extending Constructive Logic Negation with Types. In M. Falaschi (Ed.), Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008 (Vol. 246, pp. 183–198). Elsevier.

2007

  1. Demand analysis with partial predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2007). Demand analysis with partial predicates. Theory Pract. Log. Program., 7(1-2), 153–182.
  2. Automatic Coding Rule Conformance Checking Using Logic Programs
    Marpons-Ucero, G., Mariño, J., Ángel Herranz-Nieva, Fredlund, L.-Å., Carro, M., & Moreno-Navarro, J. J. (2007). Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR, abs/0711.0344.

2006

  1. Demand Analysis with Partial Predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2006). Demand Analysis with Partial Predicates. CoRR, abs/cs/0602008.

2005

  1. De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo
    Moreno-Navarro, J. J. (2005). De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. In J. A. T. Álvarez & J. H. Núñez (Eds.), Actas de las X Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain (pp. 179–186). Thomson.

2004

  1. Constructive Intensional Negation
    Muñoz-Hernández, S., Mariño, J., & Moreno-Navarro, J. J. (2004). Constructive Intensional Negation. In Y. Kameyama & P. J. Stuckey (Eds.), Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Vol. 2998, pp. 39–54). Springer.
  2. Implementation Results in Classical Constructive Negation
    Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2004). Implementation Results in Classical Constructive Negation. In B. Demoen & V. Lifschitz (Eds.), Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Vol. 3132, pp. 284–298). Springer.
  3. Soundness and Completeness of an "Efficient" Negation for Prolog
    Moreno-Navarro, J. J., & Muñoz-Hernández, S. (2004). Soundness and Completeness of an "Efficient" Negation for Prolog. In J. J. Alferes & J. A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Vol. 3229, pp. 279–293). Springer.
  4. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
    Carro, M., Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2004). Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. In C. N. Dean & R. T. Boute (Eds.), Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings (Vol. 3294, pp. 85–106). Springer.

2003

  1. A Real Implementation for Constructive Negation
    Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2003). A Real Implementation for Constructive Negation. In C. Palamidessi (Ed.), Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Vol. 2916, pp. 496–497). Springer.
  2. Rapid Prototyping and Incremental Evolution Using SLAM
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2003). Rapid Prototyping and Incremental Evolution Using SLAM. 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, 201.
  3. Formal Extreme (and Extremely Formal) Programming
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2003). Formal Extreme (and Extremely Formal) Programming. In M. Marchesi & G. Succi (Eds.), Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings (Vol. 2675, pp. 88–96). Springer.

2002

  1. Constructive negation for Prolog: A real implementation
    Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2002). Constructive negation for Prolog: A real implementation. In J. J. Moreno-Navarro & J. Mariño-Carballo (Eds.), AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002 (pp. 39–52). Facultad de Informática, Universidad Politécnica de Madrid.
  2. Declarative Reflection and its Application as a Pattern Language
    Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Maya, N. (2002). Declarative Reflection and its Application as a Pattern Language. In M. Comini & M. Falaschi (Eds.), 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002 (Vol. 76, pp. 197–215). Elsevier.
  3. AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002
    Moreno-Navarro, J. J., & Mariño-Carballo, J. (Eds.). (2002). AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Facultad de Informática, Universidad Politécnica de Madrid.
  4. VII Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid)
    Celma, M., Pastor, O., Juzgado, N. J., & Moreno-Navarro, J. J. (Eds.). (2002). VII Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid).

2001

  1. Efficient Negation Using Abstract Interpretation
    Muñoz-Hernández, S., Moreno-Navarro, J. J., & Hermenegildo, M. V. (2001). Efficient Negation Using Abstract Interpretation. In R. Nieuwenhuis & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Vol. 2250, pp. 485–494). Springer.

2000

  1. Generation of and Debugging with Logical Pre and Post-Conditions
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Generation of and Debugging with Logical Pre and Post-Conditions. In M. Ducassé (Ed.), Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000.
  2. Towards Automating the Iterative Rapid Prototyping Process with the SLAM system
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. In C. Delgado, E. Marcos, & J. M. M. Corral (Eds.), V Jornadas Ingenierı́a de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid (pp. 217–228). Universidad de Valladolid, Departamento de Informática.
  3. Using Static Analysis to Compile Non-sequential Functional Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (2000). Using Static Analysis to Compile Non-sequential Functional Logic Programs. In E. Pontelli & Costa Vı́tor Santos (Eds.), Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings (Vol. 1753, pp. 63–80). Springer.
  4. How to Incorporate Negation in a Prolog Compiler
    Moreno-Navarro, J. J., & Muñoz-Hernández, S. (2000). How to Incorporate Negation in a Prolog Compiler. In E. Pontelli & Costa Vı́tor Santos (Eds.), Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings (Vol. 1753, pp. 124–140). Springer.
  5. On the Role of Functional-logic Languages for the Debugging of Imperative Programs
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). On the Role of Functional-logic Languages for the Debugging of Imperative Programs. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 23–41).
  6. Partial Predicates for Demand Analysis
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Partial Predicates for Demand Analysis. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 324–339).

1999

  1. Using Static Analysis to Compile Non-sequential Functional Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (1999). Using Static Analysis to Compile Non-sequential Functional Logic Programs. In D. D. Schreye (Ed.), Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999 (p. 614). MIT Press.

1998

  1. Recovering Sequentiality in Functional-Logic Programs
    Mariño, J., & Moreno-Navarro, J. J. (1998). Recovering Sequentiality in Functional-Logic Programs. In J. L. Freire-Nistal, M. Falaschi, & M. V. Ferro (Eds.), 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE’98, A Coruña, Spain, July 20-23, 1998 (pp. 137–150).
  2. On the Practical Use of Negation in a Prolog Compiler
    Moreno-Navarro, J. J., & Muñoz-Hernández, S. (1998). On the Practical Use of Negation in a Prolog Compiler. In J. L. Freire-Nistal, M. Falaschi, & M. V. Ferro (Eds.), 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE’98, A Coruña, Spain, July 20-23, 1998 (pp. 457–469).

1996

  1. The Functional Logic Language BABEL and Its Implementation on a Graph Machine
    Kuchen, H., Loogen, R., Moreno-Navarro, J. J., & Rodrı́guez-Artalejo Mario. (1996). The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Gener. Comput., 14(4), 391–427.
  2. Adding Type Classes to Functional-Logic Languages
    Moreno-Navarro, J. J., Mariño, J., del Pozo-Prieto, A., Ángel Herranz-Nieva, & Garcı́a-Martı́n Julio. (1996). Adding Type Classes to Functional-Logic Languages. In P. Lucio, M. Martelli, & M. Navarro (Eds.), 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996 (pp. 427–438).
  3. Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages
    Moreno-Navarro, J. J. (1996). Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. In R. Dyckhoff, H. Herre, & P. Schroeder-Heister (Eds.), Extensions of Logic Programming, 5th International Workshop, ELP’96, Leipzig, Germany, March 28-30, 1996, Proceedings (Vol. 1050, pp. 213–227). Springer.

1995

  1. Workshop on Integration of Declarative Paradigms
    Moreno-Navarro, J. J. (1995). Workshop on Integration of Declarative Paradigms. Knowl. Eng. Rev., 10(2), 205–208.
  2. Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming
    Moreno-Navarro, J. J., Garcı́a-Martı́n Julio, & del Pozo-Prieto, A. (1995). Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. In Alpuente Marı́a & M. I. Sessa (Eds.), 1995 Joint Conference on Declarative Programming, GULP-PRODE’95, Marina di Vietri, Italy, September 11-14, 1995 (pp. 593–606).
  3. Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming
    Moreno-Navarro, J. J. (1995). Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. In L. Sterling (Ed.), Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995 (p. 829). MIT Press.

1994

  1. Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
    Moreno-Navarro, J. J. (1994). Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. In P. V. Hentenryck (Ed.), Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994 (pp. 535–549). MIT Press.
  2. Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages
    del Pozo-Prieto, A., & Moreno-Navarro, J. J. (1994). Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. In H. Hong (Ed.), First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994 (pp. 316–325). World Scientific.
  3. Integration of Declarative Paradigms, Proceedings of the ICLP’94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
    Aı̈t-Kaci Hassan, Hanus, M., & Moreno-Navarro, J. J. (Eds.). (1994). Integration of Declarative Paradigms, Proceedings of the ICLP’94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994. Max-Planck-Institut für Informatik, Saarbrücken, Germany.

1993

  1. Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine
    Garcı́a-Martı́n Julio, & Moreno-Navarro, J. J. (1993). Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. In P. Fritszon (Ed.), Automated and Algorithmic Debugging, First International Workshop, AADEBUG’93, Linköping, Sweden, May 3-5, 1993, Proceedings (Vol. 749, pp. 255–272). Springer.
  2. A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)
    Garcı́a-Martı́n Julio, & Moreno-Navarro, J. J. (1993). A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). In M. Nivat, C. Rattray, T. Rus, & G. Scollo (Eds.), Algebraic Methodology and Software Technology (AMAST ’93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 (pp. 367–376). Springer.
  3. Efficient Lazy Narrowing using Demandedness Analysis
    Moreno-Navarro, J. J., Kuchen, H., Mariño-Carballo, J., Winkler, S., & Hans, W. (1993). Efficient Lazy Narrowing using Demandedness Analysis. In M. Bruynooghe & J. Penjam (Eds.), Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP’93, Tallinn, Estonia, August 25-27, 1993, Proceedings (Vol. 714, pp. 167–183). Springer.

1992

  1. Logic Programming with Functions and Predicates: The Language BABEL
    Moreno-Navarro, J. J., & Rodrı́guez-Artalejo Mario. (1992). Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program., 12(3&4), 191–223.
  2. Implementing a Lazy Functional Logic Language with Disequality Constraints
    Kuchen, H., López-Fraguas, F. J., Moreno-Navarro, J. J., & Rodrı́guez-Artalejo Mario. (1992). Implementing a Lazy Functional Logic Language with Disequality Constraints. In K. R. Apt (Ed.), Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992 (pp. 207–221). MIT Press.
  3. Efficient Compilation of Lazy Narrowing into Prolog
    Jimènez-Martin, J. A., Mariño-Carballo, J., & Moreno-Navarro, J. J. (1992). Efficient Compilation of Lazy Narrowing into Prolog. In K.-K. Lau & T. Clement (Eds.), Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992 (pp. 253–270). Springer.
  4. FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG
    Marrtı́n Julio Garcı́a, & Moreno-Navarro, J. J. (1992). FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. In A. Voronkov (Ed.), Logic Programming and Automated Reasoning,International Conference LPAR’92, St. Petersburg, Russia, July 15-20, 1992, Proceedings (Vol. 624, pp. 487–489). Springer.
  5. Independent AND-Parallel Implementation of Narrowing
    Kuchen, H., Moreno-Navarro, J. J., & Hermenegildo, M. V. (1992). Independent AND-Parallel Implementation of Narrowing. In M. Bruynooghe & M. Wirsing (Eds.), Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP’92, Leuven, Belgium, August 26-28, 1992, Proceedings (Vol. 631, pp. 24–38). Springer.

1990

  1. Lazy Narrowing in a Graph Machine
    Moreno-Navarro, J. J., Kuchen, H., Loogen, R., & Rodrı́guez-Artalejo Mario. (1990). Lazy Narrowing in a Graph Machine. In H. Kirchner & W. Wechler (Eds.), Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings (Vol. 463, pp. 298–317). Springer.
  2. Graph-based Implementation of a Functional Logic Langugage
    Kuchen, H., Loogen, R., Moreno-Navarro, J. J., & Rodrı́guez-Artalejo Mario. (1990). Graph-based Implementation of a Functional Logic Langugage. In N. D. Jones (Ed.), ESOP’90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Vol. 432, pp. 271–290). Springer.

1989

  1. Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
    Moreno-Navarro, J. J. (1989). Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica [PhD thesis, Technical University of Madrid, Spain].
  2. CC-modula: a modula-2 tool to teach concurrent programming
    Morales-Fernandez, R., & Moreno-Navarro, J. J. (1989). CC-modula: a modula-2 tool to teach concurrent programming. ACM SIGCSE Bull., 21(3), 19–25.

1988

  1. BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing
    Moreno-Navarro, J. J., & Rodrı́guez-Artalejo Mario. (1988). BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. In J. Grabowski, P. Lescanne, & W. Wechler (Eds.), Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings (Vol. 343, pp. 223–232). Springer.
    © Babel Group 2025