20012024

Resultados de investigaciones por año

Filtro
Capítulo

Resultados de la búsqueda

  • 2019

    Make Puzzles Great Again

    Aristizabal, N., Pinzón, C., Rueda, C. & Valencia, F., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 442-459 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoCapítulorevisión exhaustiva

  • Toward a Formal Model for Group Polarization in Social Networks

    Alvim, M. S., Knight, S. & Valencia, F., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 419-441 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoCapítulorevisión exhaustiva

    6 Citas (Scopus)
  • 2010

    Concurrent and reactive Constraint Programming

    Gabbrielli, M., Palamidessi, C. & Valencia, F. D., 2010, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Dovier, A. & Pontelli, E. (eds.). p. 231-253 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6125).

    Producción: Capítulo del libro/informe/acta de congresoCapítulorevisión exhaustiva

    Acceso abierto
    2 Citas (Scopus)
  • 2004

    Non-viability deductions in Arc-consistency computation

    Rueda, C. & Valencia, F. D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Demoen, B. & Lifschitz, V. (eds.). Springer Verlag, p. 343-355 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3132).

    Producción: Capítulo del libro/informe/acta de congresoCapítulorevisión exhaustiva

  • On the expressiveness of infinite behavior and name scoping in process calculi

    Giambiagi, P., Schneider, G. & Valencia, F. D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Walukiewicz, I. (ed.). Springer Verlag, p. 226-240 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2987).

    Producción: Capítulo del libro/informe/acta de congresoCapítulorevisión exhaustiva

    Acceso abierto
    20 Citas (Scopus)
Su mensaje fue enviado correctamente.
Su mensaje no fue enviado debido a un error.