Producción

Producción por año 2001 2001 2004 2005 2007 2008 2009 2011 2012 2015 2016 2017 2019 2021 2024

• 32 Contribución a la conferencia
• 19 Artículo
• 10 Editorial
• 5 Capítulo
• 6 Ver más
  • 4 Artículo de la conferencia
  • 2 Artículo de revisión

Producción por año

Producción por año

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 congreso › Capítulo › revisión exhaustiva

  • Professor 100%
  • Number 50%
  • Variables 50%
  • Points 50%
  • Probability Theory 50%

• 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 congreso › Capítulo › revisión exhaustiva

  • Group Polarization 100%
  • Include Information 25%
  • Economic Situation 25%
  5 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 congreso › Capítulo › revisión exhaustiva

  Acceso abierto

  • Logic Programming 100%
  • Semantic Verification 100%
  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 congreso › Capítulo › revisión exhaustiva

  • Arc Consistency 100%
  • Check Constraint 50%
  • Desirable Property 37%
  • Constraint Satisfaction Problems 25%
  • Space Complexity 12%

• 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 congreso › Capítulo › revisión exhaustiva

  Acceso abierto

  • Scoping Rule 100%
  20 Citas (Scopus)