Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - AVISPA

Datos básicos
Año y mes de formación 1995 - 10
Departamento - Ciudad VALLE DEL CAUCA - CALI
Líder CAMILO RUEDA CALDERON
¿La información de este grupo se ha certificado? Si el día 2016-02-29 00:00:00.0
Página web avispa.puj.edu.co
E-mail crueda@atlas.puj.edu.co y jdiaz@univalle.edu.co
Clasificación A1
Área de conocimiento Ciencias Naturales -- Computación y Ciencias de la Información
Programa nacional de ciencia y tecnología Ciencia, Tecnología e Innovación en Tecnologías de la Información y las Comunicaciones
Programa nacional de ciencia y tecnología (secundario) Ciencias Básicas

Instituciones
1.- Pontificia Universidad Javeriana - Puj - Sede Cali - (Avalado)
2.- Universidad del Valle - Univalle - (Avalado)

Plan Estratégico
Plan de trabajo: El grupo tiene tres ejes de acción: 1) Búsqueda de formalismos para modelar procesos concurrentes y distribuídos 2) Teoría y aplicaciones de la programación concurrente de restricciones 3) Programación con restricciones para la solución de problemas de optimización combinatoria La estrategia general es mantenerse en el estado del arte en estas áreas a través de la definición de proyectos concretos de investigación que conduzcan al desarrollo de software no tradicional con gran valor agregado de conocimiento computacional. El plan general de trabajo consiste en 1) Identificar aplicaciones interesantes en la industria, la ciencia y la música, en las que los modelos de concurrencia y programación por restricciones puedan agregar valor. 2) Analizar cuidadosamente el desempeño del software en esas áreas, identificando así limitaciones de la tecnología que sugieran campos precisos de investigación (Las actividades 1 y 2 se realizan en general con el soporte financiero de las instituciones que participan en el grupo (Javeriana-Cali, Univalle y el IRCAM) 3) Identificados los campos específicos, proponer modelos y difundirlos en congresos internacionales. En ellos buscar asociaciones con grupos de interés similar, particularmente europeos. 4) Proponer proyectos mixtos de investigación/desarrollo, que involucren alguna institución del sector productivo y en los que participan pares de universidades europeas 5) Paralelamente a los anteriores, mantener una línea de capacitación en las tecnologías y formalismos de interés del grupo, a nivel pregrado y doctorado, tanto en la Universidad Javeriana-Cali como en la Universidad del Valle, El propósito es garantizar la continuidad del grupo formando jóvenes investigadores que rápidamente se vuelvan productivos en los temas de interés del grupo. 6) Realización de seminarios periódicos interinstitucionales para mantener a todos los integrantes del grupo al tanto de los avances de los trabajos de todos sus miembros y de la de
Estado del arte: El trabajo del grupo se ha desarrollado en tres temas específicos: -Modelos concurrentes para integración de objetos y restricciones -Sistemas de programación por restriccionbes sobre distintos tipos de dominios. -Modelos de programación visual -sistemas de ayuda a la composición musical 1)En el primer tema las investigaciones se han centrado en la elaboración de cálculos de procesos concurrentes móviles. Recientemente se han propuesto dos estrategias de elaboración de cálculos formales de procesoso concurrentes: -Partir de una única noción de base, la de sistema de restricciones y simular los conceptos de objeto y proceso. -Tomar como base el concepto de "referencia" (en el sentido de "dirección" en un lenguaje de programación), y definir luego procesos cuyos canales de comunicación se identifican por esas referencias. En esta última estrategia el grueso de las investigaciones actuales descansa en la introducción en el cálculo de mecanismos de representación de los diferentes aspectos de seguridad, movilidad, etc., que se observan en internet. El grupo AVISPA está en el estado del arte. El cálculo PiCO ha sido comparado favorablemente con propuestas de varios investigadores 2) En programación concurrente de restricciones el estado del arte son los desarrollos del lenguaje Mozart en el DFKI alemán y los modelos propuestos rescientemente por Montanari y Rossi para integrar¨"soft constraints" en el modelo CCP. También el desarrollo de propagadores eficientes por el grupo de la universidad de Nantes. Avispa ha hecho aportes en esta rama. 3) En composición asistida por computador, el lenguaje Open Music, del IRCAM, es el estado del arte. También Max y Pd, de Miller Pucket en Berkeley. Situation, de Avispa, está en el estado del arte de lenguajes visuales basados en restricciones.
Objetivos: 1) El grupo Avispa (Ambientes VISuales de Programación Aplicativa) se ocupa de la construcción de formalismos y herramientas para la representación y solución de problemas combinatorios mediante técnicas de restricciones. Estas técnicas son útiles en un gran espectro de aplicaciones, tales como planeamiento, asignación óptima de recursos, búsqueda inteligente de información en internet, generación de material en composición musical, edición inteligente de sonido, decodificación genética, soporte a la toma de decisiones y otras. 2)Otro objetivo es la construcción de modelos de procesos concurrentes que integren diferentes paradigmas de programación y que representen adecuadamente sistemas móviles y distribuídos de computación 3) También concebir e implementar sistemas de software de ayuda a la composición musical mediante lenguajes visuales basados en programación por restricciones, particularmente de software que represente eficazmente el proceso de construcción de material musical complejo
Retos: 1) Construír propagadores y exploradores de lenguajes CCP que realmente permitan resolver problemas de ingeniería y logística que ocurren en el mundo real, particularmente que facilitenexpresar restricciones sobre números reales y complejos 2) Definir metodologías de programación efectivas para la construcción de software CCP 3) Encontrar variaciones al modelo CCP que integren eficazmente soluciones aproximadas a los problemas. 4) Definir modelos y construír herramientas que acoplen sistemas de explicación de decisiones al explorador de un lenguaje CCP 5) Modelar con el cálculo ntcc sistemas rítmicos que curran en composiciones musicales reales y probar sus propiedades. Construír software de ayuda a la prueba de teoremas en la lógica temporal asociada a ntcc. 6) Integrar de manera más fina el modelo CCP a los lenguajes visuales existentes de ayuda a la composición musical, tales como Open Music
Visión: El grupo debe estar posicionado internacionalmente como parte integral de los desarrolladores internacionales del lenguaje Mozart, con aportes hechos al lenguaje. Debe haber posicionado al menos dos productos de software basados en CCP en empresas de desarrollo de software en Colombia y establecido contactos para su distribución en Latinoamérica. En cinco años el grupo debe constituírse en laboratorio de investigación y desarrollo de software práctico con tecnologías CCP para conglomerados de empresas colombianas de software Debe tener convenios regulares de investigación con instituciones Europeas y debe haber realizado al menos un proyecto conjunto con una de ellas.

Líneas de investigación declaradas por el grupo
1.- Composición asistida por computador
2.- Lenguajes Visuales
3.- Programación concurrente por restricciones
4.- cálculo de procesos concurrentes
5.- modelamiento computacional de sistemas
6.- procesamiento distribuido y paralelo

Sectores de aplicación
1.- Desarrollo de programas (software)

Integrantes del grupo
Nombre Vinculación Horas dedicación Inicio - Fin Vinculación
1.- CAMILO RUEDA CALDERON Integrante 20 1996/1 - Actual
2.- JUAN FRANCISCO DIAZ FRIAS Integrante 10 1996/1 - Actual
3.- JESUS ALEXANDER ARANDA BUENO Integrante 8 2010/1 - Actual
4.- JAIME EDUARDO ARIAS ALMEIDA Integrante 0 2016/1 - Actual
5.- GERARD ASSAYAG Integrante 10 1996/1 - Actual
6.- ANDRES FELIPE BARCO SANTA Integrante 40 2010/2 - 2012/6
7.- ANDRES BECERRA SANDOVAL Integrante 10 2003/2 - 2005/1
8.- ANTAL ALEXANDER BUSS MOLINA Integrante 10 2013/8 - Actual
9.- NESTOR CATANO COLLAZOS Integrante 22 2007/1 - Actual
10.- Alberto Delgado Ortegón Integrante 33 2003/1 - 2005/5
11.- ROBINSON ANDREY DUQUE AGUDELO Integrante 40 2015/9 - Actual
12.- GUSTAVO GUTIERREZ SABOGAL Integrante 40 2003/4 - 2005/1
13.- JULIAN EDUARDO GUTIERREZ SANTIAGO Integrante 8 2013/8 - Actual
14.- HUGO ANDRES LOPEZ ACOSTA Integrante 0 2014/1 - Actual
15.- JAIRO ERNESTO MALDONADO GOMEZ Integrante 40 2010/8 - 2010/10
16.- CARLOS ALBERTO OLARTE VEGA Integrante 20 2013/8 - Actual
17.- JAMES JERSON ORTIZ VEGA Integrante 0 2004/8 - Actual
18.- Gustavo Pabón Integrante 8 2001/7 - 2002/8
19.- JORGE ANDRES PEREZ PARRA Integrante 10 2010/5 - Actual
20.- LUIS OMAR QUESADA RAMIREZ Integrante 20 1996/1 - Actual
21.- CARLOS ALBERTO RAMIREZ RESTREPO Integrante 40 2009/8 - 2016/11
22.- VICTOR ALFONSO RIVERA ZUNIGA Integrante 20 2009/1 - 2010/12
23.- HERNAN CAMILO ROCHA NINO Integrante 0 2016/1 - Actual
24.- MIGUEL ANGEL ROMERO GONZALEZ Integrante 0 2016/8 - Actual
25.- DIEGO FERNANDO RUIZ SOLARTE Integrante 40 2015/8 - Actual
26.- HOLMES GIOVANNY SALAZAR OSORIO Integrante 12 2011/8 - 2013/12
27.- GERARDO MAURICIO SARRIA MONTEMIRANDA Integrante 40 2003/8 - 2008/10
28.- MAURICIO TORO BERMUDEZ Integrante 20 2011/1 - Actual
29.- FRANK VALENCIA Integrante 20 1997/2 - Actual
30.- VICTOR MANUEL VARGAS FORERO Integrante 20 2009/8 - 2011/10
31.- ALDEMAR ANTONIO VILLEGAS GALLEGO Integrante 40 2010/8 - 2010/10
32.- MAURICIO ZAPATA CUARTAS Integrante 20 2015/2 - Actual

Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
PRODUCCIÓN BIBLIOGRÁFICA

Artículos publicados
1.- Publicado en revista especializada: Observational and behavioural equivalences for soft concurrent constraint programming
Países Bajos, Journal of Logical and Algebraic Methods in Programming ISSN: 2352-2208, 2017 vol:92 fasc: N/A págs: 45 - 63, DOI:10.1016/j.jlamp.2017.06.001
Autores: FRANK VALENCIA,
2.- Publicado en revista especializada: Guarded Terms for Rewriting Modulo SMT
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2017 vol:10487 fasc: págs: 78 - 97, DOI:10.1007/978-3-319-68034-7_5
Autores: HERNAN CAMILO ROCHA NINO,
3.- Publicado en revista especializada: Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
Estados Unidos, Communications In Computer And Information Science ISSN: 1865-0929, 2017 vol:735 fasc: N/A págs: 611 - 626, DOI:10.1007/978-3-319-66562-7_44
Autores: HECTOR CADAVID RENGIFO, HERNAN CAMILO ROCHA NINO,
4.- Publicado en revista especializada: Axiomatic Set Theory à la Dijkstra and Scholten
Estados Unidos, Communications In Computer And Information Science ISSN: 1865-0929, 2017 vol:735 fasc: N/A págs: 775 - 791, DOI:10.1007/978-3-319-66562-7_55
Autores: JAIME ALEJANDRO BOHORQUEZ VILLAMIZAR, HERNAN CAMILO ROCHA NINO,
5.- Publicado en revista especializada: Code generation for Event-B
No Aplica, International Journal On Software Tools For Technology Transfer ISSN: 1433-2779, 2017 vol:19 fasc: N/A págs: 31 - 52, DOI:10.1007/s10009-015-0381-2
Autores: CAMILO RUEDA CALDERON, VICTOR ALFONSO RIVERA ZUNIGA, NESTOR CATANO COLLAZOS, TIM WAHLS,
6.- Publicado en revista especializada: Belief, knowledge, lies and other utterances in an algebra for space and extrusion
España, Journal of Logical and Algebraic Methods in Programming ISSN: 2352-2208, 2017 vol:86 fasc: págs: 107 - 133, DOI:10.1016/j.jlamp.2016.09.001
Autores: FRANK VALENCIA, CAMILO RUEDA CALDERON, MICHELL GUZMAN CANCIMANCE, STEFAN HAAR, SALIM PERCHY,
7.- Publicado en revista especializada: Rewriting modulo SMT and open system analysis
Estados Unidos, Journal Of Logic And Algebraic Programming ISSN: 1567-8326, 2017 vol:86 fasc: 1 págs: 269 - 297, DOI:10.1016/j.jlamp.2016.10.001
Autores: HERNAN CAMILO ROCHA NINO, JOSE MESEGUER, CESAR MUNOZ,
8.- Publicado en revista especializada: Double-spend Attack Models with Time Advantage for Bitcoin
Estados Unidos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2016 vol:329 fasc: N/A págs: 79 - 103, DOI:10.1016/j.entcs.2016.12.006
Autores: HERNAN CAMILO ROCHA NINO,
9.- Publicado en revista especializada: Preface to special issue: EXPRESS 2011
Inglaterra, Mathematical Structures In Computer Science. A Journal In The Applications Of Categorical, Algebraic And Geometric Methods In Computer Science ISSN: 0960-1295, 2016 vol:26 fasc: N/A págs: 1351 - 1351, DOI:10.1017/S0960129514000607
Autores: FRANK VALENCIA,
10.- Publicado en revista especializada: Deriving Inverse Operators for Modal Logic
No Aplica, Lecture Notes In Computer Science ISSN: 0302-9743, 2016 vol:9965 fasc: N/A págs: 214 - 232, DOI:10.1007/978-3-319-46750-4_13
Autores: FRANK VALENCIA, CAMILO RUEDA CALDERON, YAMIL SALIM PERCHY BOCANEGRA, MICHELL GUZMAN CANCIMANCE,
11.- Publicado en revista especializada: On the Expressiveness of Spatial Constraint Systems
No Aplica, Oasics -- Openaccess Series In Informatics ISSN: 2190-6807, 2016 vol:52 fasc: págs: 1 - 12, DOI:10.4230/OASIcs.ICLP.2016.16
Autores: MICHELL GUZMAN CANCIMANCE, FRANK VALENCIA,
12.- Publicado en revista especializada: Deriving Inverse Operators for Modal Logic
No Aplica, Lecture Notes In Computer Science ISSN: 0302-9743, 2016 vol:9965 fasc: N/A págs: 214 - 232, DOI:10.1007/978-3-319-46750-4_13
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA, YAMIL SALIM PERCHY BOCANEGRA, MICHELL GUZMAN CANCIMANCE,
13.- Publicado en revista especializada: Preface to special issue: EXPRESS 2010
Inglaterra, Mathematical Structures In Computer Science. A Journal In The Applications Of Categorical, Algebraic And Geometric Methods In Computer Science ISSN: 0960-1295, 2016 vol:26 fasc: N/A págs: 907 - 907, DOI:10.1017/S0960129514000371
Autores: FRANK VALENCIA,
14.- Publicado en revista especializada: SABIO: An Implementation of MIP and CP for Interactive Soccer Queries
Francia, Lecture Notes In Computer Science ISSN: 0302-9743, 2016 vol:9892 fasc: N/A págs: 575 - 583, DOI:10.1007/978-3-319-44953-1_36
Autores: ROBINSON ANDREY DUQUE AGUDELO, ALEJANDRO ABELAEZ, JUAN FRANCISCO DIAZ FRIAS,
15.- Publicado en revista especializada: A proof theoretic view of spatial and temporal dependencies in biochemical systems
, Theoretical Computer Science ISSN: 0304-3975, 2016 vol:641 fasc: N/A págs: 25 - 42, DOI:10.1016/j.tcs.2016.03.029
Autores: CARLOS ALBERTO OLARTE VEGA, DIANA HERMITH, DAVIDE CHIARUGI, MORENO FALASCHI,
16.- Publicado en revista especializada: Self-adaptation and secure information flow in multiparty communications
Inglaterra, Formal Aspects Of Computing ISSN: 0934-5043, 2016 vol:28 fasc: N/A págs: 669 - 696, DOI:10.1007/s00165-016-0381-3
Autores: JORGE ANDRES PEREZ PARRA,
17.- Publicado en revista especializada: Dynamic role authorization in multiparty conversations
Inglaterra, Formal Aspects Of Computing ISSN: 0934-5043, 2016 vol:28 fasc: N/A págs: 643 - 667, DOI:10.1007/s00165-016-0363-5
Autores: HUGO VIEIRA, JORGE ANDRES PEREZ PARRA,
18.- Publicado en revista especializada: Event-based run-time adaptation in communication-centric systems
Inglaterra, Formal Aspects Of Computing ISSN: 0934-5043, 2016 vol:28 fasc: N/A págs: 531 - 566, DOI:10.1007/s00165-016-0377-z
Autores: CINZIA DI GIUSTO, JORGE ANDRES PEREZ PARRA,
19.- Publicado en revista especializada: Constraint Programming and Machine Learning for Interactive Soccer Analysis
Italia, Lecture Notes In Computer Science ISSN: 0302-9743, 2016 vol:10079 fasc: N/A págs: 240 - 246, DOI:10.1007/978-3-319-50349-3_18
Autores: ROBINSON ANDREY DUQUE AGUDELO, JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ABELAEZ,
20.- Publicado en revista especializada: Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Alemania, Synthese ISSN: 0039-7857, 2016 vol:193 fasc: N/A págs: 781 - 811, DOI:10.1007/s11229-015-0991-y
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
21.- Publicado en revista especializada: Aplicación web basada en programación por restricciones para ingeniería de asignación de espectro
Chile, Ingeniare : Revista Chilena De Ingeniería ISSN: 0718-3305, 2015 vol:23 fasc: 4 págs: 526 - 539, DOI:
Autores: FABIO GERMAN GUERRERO, JUAN FRANCISCO DIAZ FRIAS, CARLOS ANDRES DELGADO,
22.- Publicado en revista especializada: Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Alemania, Synthese ISSN: 0039-7857, 2015 vol:192 fasc: págs: 1 - 31, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
23.- Publicado en revista especializada: A Mathematical Game Semantics of Concurrency and Nondeterminism
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2015 vol:9399 fasc: págs: 597 - 607, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
24.- Publicado en revista especializada: A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2015 vol:9399 fasc: págs: 583 - 594, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
25.- Publicado en revista especializada: Expresiveness and Complexity Results for Strategic Reasoning
Alemania, Lipics ISSN: 1868-8969, 2015 vol:42 fasc: págs: 268 - 282, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
26.- Publicado en revista especializada: Foundations for Reliable and Flexible Interactive Multimedia Scores
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2015 vol:9110 fasc: N/A págs: 29 - 41, DOI:10.1007/978-3-319-20603-5_3
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE, MYRIAM DESAINTE CATHERINE, JAIME EDUARDO ARIAS ALMEIDA,
27.- Publicado en revista especializada: On Fixpoint Logics and Equivalences for Processes with Restricted Nondeterminism
Reino Unido, Journal Of Logic And Computation ISSN: 0955-792X, 2015 vol:25 fasc: págs: 1 - 32, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
28.- Publicado en revista especializada: Iterated Boolean Games
Países Bajos, Information And Computation ISSN: 0890-5401, 2015 vol:242 fasc: págs: 53 - 79, DOI:
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
29.- Publicado en revista especializada: Verification of Spatial and Temporal Modalities in Biochemical Systems
Estados Unidos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2015 vol:316 fasc: págs: 29 - 44, DOI:10.1016/j.entcs.2015.06.009
Autores: DAVIDE CHIARUGI, DIANA HERMITH, MORENO FALASCHI, CARLOS ALBERTO OLARTE VEGA,
30.- Publicado en revista especializada: Subexponential concurrent constraint programming
Estados Unidos, Theoretical Computer Science ISSN: 0304-3975, 2015 vol:606 fasc: págs: 98 - 120, DOI:10.1016/j.tcs.2015.06.031
Autores: CARLOS ALBERTO OLARTE VEGA, ELAINE PIMENTEL GOUVEA, VIVEK NIGAM,
31.- Publicado en revista especializada: Disciplined structured communications with disciplined runtime adaptation
Países Bajos, Science Of Computer Programming ISSN: 0167-6423, 2015 vol:97 fasc: N/A págs: 235 - 265, DOI:10.1016/j.scico.2014.04.017
Autores: JORGE ANDRES PEREZ PARRA, CINZIA DI GIUSTO,
32.- Publicado en revista especializada: Modelling non-Markovian dynamics in biochemical reactions
Estados Unidos, Bmc Systems Biology ISSN: 1752-0509, 2015 vol:9 fasc: S3 págs: 1 - 30, DOI:10.1186/1752-0509-9-S3-S8
Autores: DAVIDE CHIARUGI, DIANA HERMITH, MORENO FALASCHI, CARLOS ALBERTO OLARTE VEGA,
33.- Publicado en revista especializada: A Symbolic Model for Timed Concurrent Constraint Programming
Estados Unidos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2015 vol:312 fasc: págs: 161 - 177, DOI:10.1016/j.entcs.2015.04.010
Autores: JAIME EDUARDO ARIAS ALMEIDA, CARLOS ALBERTO OLARTE VEGA, MICHELL GUZMAN CANCIMANCE,
34.- Publicado en revista especializada: A Labelled Semantics for Soft Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2015 vol:9037 fasc: N/A págs: 133 - 149, DOI:10.1007/978-3-319-19282-6_9
Autores: FRANK VALENCIA, LUIS FERNANDO PINO, FABIO GADDUCCI, FRANCESCO SANTINI,
35.- Publicado en revista especializada: Proving Concurrent Constraint Programming Correct, Revisited
Estados Unidos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2015 vol:312 fasc: págs: 179 - 195, DOI:10.1016/j.entcs.2015.04.011
Autores: ELAINE PIMENTEL GOUVEA, CARLOS ALBERTO OLARTE VEGA,
36.- Publicado en revista especializada: A Declarative View of Signaling Pathways
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2015 vol:9465 fasc: págs: 183 - 201, DOI:10.1007/978-3-319-25527-9
Autores: DAVIDE CHIARUGI, MORENO FALASCHI, CATUSCIA PALAMIDESSI, CARLOS ALBERTO OLARTE VEGA,
37.- Publicado en revista especializada: Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming
Países Bajos, Science Of Computer Programming ISSN: 0167-6423, 2015 vol:111 fasc: N/A págs: 135 - 155, DOI:10.1016/j.scico.2014.12.003
Autores: FRANK VALENCIA, FILIPPO BONCHI, ANDRES ARISTIZABAL, LUIS FERNANDO PINO,
38.- Publicado en revista especializada: Linear logical relations and observational equivalences for session-based concurrency
Estados Unidos, Information And Computation ISSN: 0890-5401, 2014 vol:239 fasc: N/A págs: 254 - 302, DOI:10.1016/j.ic.2014.08.001
Autores: JORGE ANDRES PEREZ PARRA, LUIS CAIRES, FRANK PFENNING, BERNARDO TONINHO,
39.- Publicado en revista especializada: The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Países Bajos, Theoretical Computer Science ISSN: 0304-3975, 2014 vol:560 fasc: págs: 292 - 306, DOI:10.1016/j.tcs.2014.03.027
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
40.- Publicado en revista especializada: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2014 vol:8368 fasc: N/A págs: 345 - 361, DOI:http://dx.doi.org/10.1007/978-3-319-05032-4_25
Autores: MAURICIO TORO BERMUDEZ, ANNA PHILIPPOU,
41.- Publicado en revista especializada: A behavioral congruence For Concurrent Constraint Programming with Nondeterministic Choice
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2014 vol:8687 fasc: N/A págs: 351 - 368, DOI:10.1007/978-3-319-10882-7_21
Autores: FRANK VALENCIA, LUIS FERNANDO PINO, FILIPPO BONCHI,
42.- Publicado en revista especializada: On the determinacy of concurrent games on event structures with infinite winning sets
Estados Unidos, Journal Of Computer And System Sciences ISSN: 0022-0000, 2014 vol:80 fasc: págs: 1119 - 1137, DOI:10.1016/j.jcss.2014.04.005
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
43.- Publicado en revista especializada: Informal Mathematical Discourse Parsing with Conditional Random Fields
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2014 vol:8791 fasc: N/A págs: 259 - 271, DOI:10.1007/978-3-319-11397-5_20
Autores: JUAN FRANCISCO DIAZ FRIAS, RAUL ERNESTO GUTIERREZ DE PI REYES,
44.- Publicado en revista especializada: Dynamic Spaces in Concurrent Constraint Programming
Brasil, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2014 vol:305 fasc: N/A págs: 103 - 121, DOI:10.1016/j.entcs.2014.06.008
Autores: CARLOS ALBERTO OLARTE VEGA, ELAINE PIMENTEL GOUVEA, VIVEK NIGAM,
45.- Publicado en revista especializada: A Proof Theoretic Study of Soft Concurrent Constraint Programming
Inglaterra, Theory And Practice Of Logic Programming ISSN: 1471-0684, 2014 vol:14 fasc: 4 págs: 649 - 663, DOI:10.1017/S147106841400026X
Autores: ELAINE PIMENTEL GOUVEA, CARLOS ALBERTO OLARTE VEGA, VIVEK NIGAM,
46.- Publicado en revista especializada: Simulation and Verification in a Process Calculus for Spatially-Explicit
Bulgaria, Scientific Annals Of Computer Science ISSN: 1843-8121, 2014 vol:23 fasc: 1 págs: 119 - 167, DOI:http://dx.doi.org/10.7561/SACS.2013.1.119
Autores: ANNA PHILIPPOU, MAURICIO TORO BERMUDEZ, MARGARITA ANTONAKI,
47.- Publicado en revista especializada: Equilibria of Concurrent Games on Event Structures
Austria, Proceedings - Symposium On Logic In Computer Science ISSN: 1043-6871, 2014 vol:46 fasc: págs: 1 - 10, DOI:10.1145/2603088.2603145
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
48.- Publicado en revista especializada: Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
Inglaterra, Journal Of Mathematics And Music ISSN: 1745-9745, 2014 vol:8 fasc: 1 págs: 93 - 112, DOI:10.1080/17459737.2013.870610
Autores: CAMILO RUEDA CALDERON, MAURICIO TORO BERMUDEZ, MYRIAM DESAINTE CATHERINE,
49.- Publicado en revista especializada: Abstract interpretation of temporal concurrent constraint programs
Inglaterra, Theory And Practice Of Logic Programming ISSN: 1475-3081, 2014 vol:FirstView fasc: N/A págs: 1 - 46, DOI:10.1017/S1471068413000641
Autores: CARLOS ALBERTO OLARTE VEGA, MORENO FALASCHI, CATUSCIA PALAMIDESSI,
50.- Publicado en revista especializada: Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
Estados Unidos, Journal Of Mathematics And Music ISSN: 1745-9745, 2014 vol:6 fasc: 1 págs: 93 - 102, DOI:http://dx.doi.org/10.1080/17459737.2013.870610
Autores: MAURICIO TORO BERMUDEZ, CAMILO RUEDA, CAMILO RUEDA CALDERON, MYRIAM DESAINTE CATHERINE,
51.- Publicado en revista especializada: On decidability properties of two fragments of the asynchronous pi-calculus
Colombia, Ingeniería Y Competitividad ISSN: 0123-3033, 2013 vol:15 fasc: 2 págs: 137 - 149, DOI:
Autores: JESUS ALEXANDER ARANDA BUENO,
52.- Publicado en revista especializada: A General Proof System for Modalities in Concurrent Constraint
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2013 vol:8052 fasc: N/A págs: 410 - 424, DOI:10.1007/978-3-642-40184-8
Autores: VIVEK NIGAM, CARLOS ALBERTO OLARTE VEGA, ELAINE PIMENTEL GOUVEA,
53.- Publicado en revista especializada: Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation
Estados Unidos, Computer Music Journal ISSN: 0148-9267, 2013 vol:37 fasc: 2 págs: 61 - 72, DOI:10.1162/COMJ_a_00179
Autores: GERARD ASSAYAG, MYRIAM DESAINTE CATHERINE, ANTOINE ALLOMBERT,
54.- Publicado en revista especializada: Behavioral Polymorphism and Parametricity in Session-Based Communication
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2013 vol:7792 fasc: N/A págs: 330 - 349, DOI:10.1007/978-3-642-37036-6_19
Autores: LUIS CAIRES, JORGE ANDRES PEREZ PARRA, BERNARDO TONINHO, FRANK PFENNING,
55.- Publicado en revista especializada: Models and emerging trends of concurrent constraint programming
Estados Unidos, Constraints. An International Journal ISSN: 1383-7133, 2013 vol:18 fasc: 4 págs: 535 - 578, DOI:10.1007/s10601-013-9145-3
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA, CARLOS OLARTE,
56.- Publicado en revista especializada: Building a Discourse Parser for Informal Mathematical Discourse in the Context of a Controlled Natural Language
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2013 vol:7816 fasc: N/A págs: 533 - 544, DOI:10.1007/978-3-642-37247-6_43
Autores: JUAN FRANCISCO DIAZ FRIAS, RAUL ERNESTO GUTIERREZ DE PI REYES,
57.- Publicado en revista especializada: Lightweight Verification of a Multi-Task Threaded Server
Estados Unidos, Science Of Computer Programming ISSN: 0167-6423, 2013 vol:1 fasc: N/A págs: 1 - 35, DOI:
Autores: NESTOR CATANO COLLAZOS,
58.- Publicado en revista especializada: UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN
Colombia, Revista Educación En Ingeniería ISSN: 1900-8260, 2012 vol:7 fasc: 14 págs: 82 - 91, DOI:
Autores: HARVIN JESSID RENGIFO ROMERO, JESUS ALEXANDER ARANDA BUENO, LILIANA ESTHER MACHUCA VILLEGAS, HOLMES GIOVANNY SALAZAR OSORIO,
59.- Publicado en revista especializada: Towards the Verification of Adaptable Processes
Grecia, Lecture Notes In Computer Science ISSN: 0302-9743, 2012 vol:7609 fasc: N/A págs: 269 - 283, DOI:10.1007/978-3-642-34026-0_20
Autores: MARIO BRAVETTI, CINZIA DI GIUSTO, JORGE ANDRES PEREZ PARRA, GIANLUIGI ZAVATTARO,
60.- Corto (Resumen): Spatial and Epistemic Modalities in Constraint-Based Process Calculi.
Inglaterra, Lecture Notes In Computer Science ISSN: 0302-9743, 2012 vol:7454 fasc: NA págs: 317 - 332, DOI:10.1007/978-3-642-32940-1_23
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, PRAKASH PANANGADEN, SOPHIA KNIGHT,
61.- Publicado en revista especializada: The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Italia, Electronic Proceedings In Theoretical Computer Science ISSN: 2075-2180, 2012 vol:99 fasc: N/A págs: 113 - 126, DOI:10.4204/EPTCS.96.9
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
62.- Publicado en revista especializada: Hide and New in the Pi-Calculus
Estados Unidos, Electronic Proceedings In Theoretical Computer Science ISSN: 2075-2180, 2012 vol:89 fasc: N/A págs: 65 - 79, DOI:10.4204/EPTCS.89.6
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, MARCO GIUNTI,
63.- Publicado en revista especializada: The Winning Ways of Concurrent Games
Croacia, Ieee Computer Society ISSN: 7695-2649, 2012 vol:99 fasc: N/A págs: 235 - 244, DOI:10.1109/LICS.2012.34
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
64.- Publicado en revista especializada: A Computational Geometry-Based Local Search Algorithm for Planar Location Problems
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2012 vol:7298 fasc: N/A págs: 97 - 112, DOI:10.1007/978-3-642-29828-8_7
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DEEPAK MEHTA, HADRIEN CAMBAZARD,
65.- Publicado en revista especializada: Linear Logical Relations for Session-Based Concurrency
Estonia, Lecture Notes In Computer Science ISSN: 1611-3349, 2012 vol:7211 fasc: N/A págs: 539 - 558, DOI:10.1007/978-3-642-28869-2_27
Autores: JORGE ANDRES PEREZ PARRA, LUIS CAIRES, FRANK PFENNING, BERNARDO TONINHO,
66.- Publicado en revista especializada: Adaptable processes
Dinamarca, Logical Methods In Computer Science ISSN: 1860-5974, 2012 vol:8 fasc: 4 págs: 1 - 71, DOI:10.2168/LMCS-8(4:13)2012
Autores: MARIO BRAVETTI, CINZIA DI GIUSTO, JORGE ANDRES PEREZ PARRA, GIANLUIGI ZAVATTARO,
67.- Publicado en revista especializada: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
República Checa, Lecture Notes In Computer Science ISSN: 1611-3349, 2012 vol:7304 fasc: 1 págs: 9 - 16, DOI:
Autores: NESTOR CATANO COLLAZOS,
68.- Publicado en revista especializada: Automated Verification of Specifications with Typestates and Access Permissions
Colombia, Electronic Communications Of The Easst ISSN: 1863-2122, 2012 vol:53 fasc: N/A págs: 1 - 15, DOI:
Autores: NESTOR CATANO COLLAZOS,
69.- Publicado en revista especializada: Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2011 vol:6876 fasc: N/A págs: 606 - 620, DOI:10.1007/978-3-642-23786-7_46
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DEEPAK MEHTA,
70.- Publicado en revista especializada: Model-Checking Games for Fixpoint Logics with Partial Order Models
Países Bajos, Information And Computation ISSN: 1090-2651, 2011 vol:209 fasc: 5 págs: 766 - 781, DOI:10.1016/j.ic.2010.12.002
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
71.- Publicado en revista especializada: Time and Exceptional Behavior in Multiparty Structured Interactions
Francia, Lecture Notes In Computer Science ISSN: 0302-9743, 2011 vol:7176 fasc: N/A págs: 48 - 63, DOI:10.1007/978-3-642-29834-9_5
Autores: HUGO A LOPEZ, JORGE ANDRES PEREZ PARRA,
72.- Publicado en revista especializada: A fine-Grained Document-based Access Control Model
Singapur, International Journal Of Machine Learning And Computing ISSN: 2010-3700, 2011 vol:1 fasc: N/A págs: 317 - 324, DOI:10.7763/IJMLC.2011.V1.47
Autores: AIDA LILIANA ROSERO RUIZ, JESUS ALEXANDER ARANDA BUENO, MICHEL RIGUIDEL, DANIEL GIDOIN,
73.- Publicado en revista especializada: Discurso informal matemático: enfoques, métodos, técnicas y tendencias
Colombia, Avances En Sistemas E Informática ISSN: 1657-7663, 2011 vol:8 fasc: 2 págs: 155 - 164, DOI:
Autores: RAUL ERNESTO GUTIERREZ DE PI REYES, JUAN FRANCISCO DIAZ FRIAS,
74.- Publicado en revista especializada: Adaptable Processes (Extended Abstract)
Suecia, Lecture Notes In Computer Science ISSN: 0302-9743, 2011 vol:6722 fasc: N/A págs: 90 - 105, DOI:10.1007/978-3-642-21461-5_6
Autores: MARIO BRAVETTI, CINZIA DI GIUSTO, JORGE ANDRES PEREZ PARRA, GIANLUIGI ZAVATTARO,
75.- Publicado en revista especializada: On the Information Geometry of Audio Streams With Applications to Similarity Computing
Estados Unidos, Ieee Transactions On Audio Speech And Language Processing ISSN: 1558-7916, 2011 vol:19 fasc: 4 págs: 837 - 846, DOI:10.1109/TASL.2010.2066266
Autores: GERARD ASSAYAG, ARSHIA CONT, SHLOMO DUBNOV,
76.- Publicado en revista especializada: Concurrent Logic Games on Partial Orders
Estados Unidos, Lecture Notes In Computer Science ISSN: 1611-3349, 2011 vol:6642 fasc: N/A págs: 146 - 160, DOI:10.1007/978-3-642-20920-8_17
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
77.- Publicado en revista especializada: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach
Alemania, Advances In Intelligent And Soft Computing ISSN: 1867-5662, 2011 vol:93 fasc: 11 págs: 321 - 328, DOI:10.1007/978-3-642-19914-1_42
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE, DIANA HERMITH,
78.- Publicado en revista especializada: Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2011 vol:6604 fasc: N/A págs: 138 - 152, DOI:10.1007/978-3-642-19805-2_10
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, ANDRES ARISTIZABAL,
79.- Publicado en revista especializada: Type-Based Access Control in Data-Centric Systems
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2011 vol:6602 fasc: N/A págs: 136 - 155, DOI:10.1007/978-3-642-19718-5_8
Autores: LUIS CAIRES, JORGE ANDRES PEREZ PARRA, JOÃO SECO, HUGO VIEIRA, LUCIO FERRÃO,
80.- Publicado en revista especializada: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
Italia, Lecture Notes In Computer Science ISSN: 1611-3349, 2011 vol:6959 fasc: 1 págs: 6 - 20, DOI:
Autores: NESTOR CATANO COLLAZOS,
81.- Publicado en revista especializada: On the Expressiveness and Decidability of Higher-Order Process Calculi.
Estados Unidos, Information And Computation ISSN: 0890-5401, 2011 vol:209 fasc: 2 págs: 198 - 226, DOI:10.1016/j.ic.2010.10.001
Autores: IVAN LANESE, JORGE ANDRES PEREZ PARRA, DAVIDE SANGIORGI, ALAN SCHMITT,
82.- Publicado en revista especializada: Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo rho-Arq
Colombia, Revista Científica ISSN: 0124-2253, 2010 vol:12 fasc: 1 págs: 156 - 171, DOI:
Autores: HENRY ALBERTO DIOSA, JUAN FRANCISCO DIAZ FRIAS, CARLOS MAURICIO GAONA,
83.- Publicado en revista especializada: Cálculo para el modelado formal de arquitecturas de software basadas en componentes: Cálculo rho-arq
Colombia, Revista Científica ISSN: 0124-2253, 2010 vol:12 fasc: 1 págs: 172 - 184, DOI:
Autores: HENRY ALBERTO DIOSA, JUAN FRANCISCO DIAZ FRIAS, CARLOS MAURICIO GAONA CUEVAS,
84.- Corto (Resumen): Improving the Global Constraint SoftPrec
Países Bajos, Frontiers In Artificial Intelligence And Applications ISSN: 0922-6389, 2010 vol:215 fasc: N/A págs: 1061 - 1062, DOI:10.3233/978-1-60750-606-5-1061
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DAVID LESAINT, DEEPAK MEHTA,
85.- Publicado en revista especializada: Steps on the Road to Component Evolvability
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2010 vol:6921 fasc: N/A págs: 295 - 299, DOI:10.1007/978-3-642-27269-1_19
Autores: JORGE ANDRES PEREZ PARRA,
86.- Publicado en revista especializada: Developing Approaches for Solving a Telecommunications Feature Subscription Problem
Estados Unidos, Journal Of Artificial Intelligence Research ISSN: 1076-9757, 2010 vol:38 fasc: N/A págs: 271 - 305, DOI:10.1613/jair.2992
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DAVID LESAINT, DEEPAK MEHTA,
87.- Publicado en revista especializada: A Generic Visualization Platform for CP
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2010 vol:6308 fasc: N/A págs: 460 - 474, DOI:10.1007/978-3-642-15396-9_37
Autores: LUIS OMAR QUESADA RAMIREZ, DEEPAK MEHTA, HELMUT SIMONIS, PAUL DAVERN, JACOB FELDMAN, MATS CARLSSON,
88.- Publicado en revista especializada: Context-Sensitive Call Control Using Constraints and Rules
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2010 vol:6308 fasc: N/A págs: 583 - 597, DOI:10.1007/978-3-642-15396-9_46
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DEEPAK MEHTA, NIC WILSON,
89.- Publicado en revista especializada: On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Francia, Lecture Notes In Computer Science ISSN: 0302-9743, 2010 vol:6199 fasc: N/A págs: 442 - 453, DOI:10.1007/978-3-642-14162-1_37
Autores: IVAN LANESE, JORGE ANDRES PEREZ PARRA, DAVIDE SANGIORGI, ALAN SCHMITT,
90.- Publicado en revista especializada: Higher-Order Concurrency: Expressiveness and Decidability Results - A Survey
Alemania, Bulletin Of The European Association For Theoretical Computer Science. Eatcs ISSN: 0252-9742, 2010 vol:101 fasc: 1 págs: 92 - 124, DOI:
Autores: JORGE ANDRES PEREZ PARRA,
91.- Publicado en revista especializada: Solving the musical orchestration problem using multiobjective constrained optimization with a genetic local search approach
Estados Unidos, Journal Of Heuristics ISSN: 1381-1231, 2010 vol:16 fasc: 5 págs: 681 - 714, DOI:10.1007/s10732-009-9113-7
Autores: GERARD ASSAYAG, GREGOIRE CARPENTIER, EMMANUEL SAINT JAMES,
92.- Publicado en revista especializada: Concurrent and Reactive Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2010 vol:6125 fasc: N/A págs: 231 - 253, DOI:10.1007/978-3-642-14309-0_11
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, MAURIZIO GABBRIELLI,
93.- Publicado en revista especializada: Matelas: A Predicate Calculus Common Formal Definition for Social Networking
Canadá, Lecture Notes In Computer Science ISSN: 1611-3349, 2010 vol:5977 fasc: 1 págs: 259 - 272, DOI:
Autores: NESTOR CATANO COLLAZOS,
94.- Publicado en revista especializada: Foreword: Festschrift for Mogens Nielsen's 60th birthday
Estados Unidos, Theoretical Computer Science ISSN: 0304-3975, 2009 vol:410 fasc: 52 págs: 4001 - 4005, DOI:10.1016/j.tcs.2009.06.007
Autores: FRANK VALENCIA, MARCO CARBONE, PAWEL SOBOCINSKI,
95.- Publicado en revista especializada: Teaching Formal Methods for the Unconquered Territory
Países Bajos, Lecture Notes In Computer Science ISSN: 0302-9743, 2009 vol:5846 fasc: N/A págs: 2 - 19, DOI:10.1007/978-3-642-04912-5_2
Autores: CAMILO RUEDA CALDERON, NESTOR CATANO COLLAZOS,
96.- Publicado en revista especializada: Model-Checking Games for Fixpoint Logics with Partial Order Models
Italia, Lecture Notes In Computer Science ISSN: 1611-3349, 2009 vol:5710 fasc: N/A págs: 354 - 368, DOI:10.1007/978-3-642-04081-8_24
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
97.- Publicado en revista especializada: Search Space Extraction
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2009 vol:5732 fasc: N/A págs: 608 - 622, DOI:10.1007/978-3-642-04244-7_48
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DEEPAK MEHTA, NIC WILSON,
98.- Publicado en revista especializada: On the Expressiveness of Forwarding in Higher-Order Communication
Malasia, Lecture Notes In Computer Science ISSN: 0302-9743, 2009 vol:5684 fasc: N/A págs: 155 - 169, DOI:10.1007/978-3-642-03466-4_10
Autores: CINZIA DI GIUSTO, JORGE ANDRES PEREZ PARRA, GIANLUIGI ZAVATTARO,
99.- Publicado en revista especializada: A Case Study in JML-Assisted Software Development
Países Bajos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2009 vol:240 fasc: N/A págs: 5 - 21, DOI:10.1016/j.entcs.2009.05.042
Autores: CAMILO RUEDA CALDERON, NESTOR CATANO COLLAZOS, PABLO ORTEGA, DANIEL GARCIA, FERNANDO BARRAZA ALVARADO,
100.- Publicado en revista especializada: An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2009 vol:5649 fasc: N/A págs: 509 - 513, DOI:10.1007/978-3-642-02846-5_44
Autores: CAMILO RUEDA CALDERON, JESUS ARANDA, GERARD ASSAYAG, CARLOS OLARTE, FRANK VALENCIA, JORGE PEREZ, MAURICIO TORO, JESUS ALEXANDER ARANDA BUENO,
101.- Publicado en revista especializada: A declarative language for dynamic multimedia interaction systems
Alemania, Communications In Computer And Information Science ISSN: 1865-0929, 2009 vol:38 fasc: N/A págs: 218 - 227, DOI:10.1007/978-3-642-02394-1_20
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE,
102.- Publicado en revista especializada: On the Expressive Power of Restriction and Priorities in CCS with Replication
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2009 vol:5504 fasc: N/A págs: 242 - 256, DOI:10.1007/978-3-642-00596-1_18
Autores: FRANK VALENCIA, JESUS ARANDA, CRISTIAN VERSARI, JESUS ALEXANDER ARANDA BUENO,
103.- Publicado en revista especializada: Towards a Unified Framework for Declarative Structured Communications
Inglaterra, Electronic Proceedings In Theoretical Computer Science ISSN: 2075-2180, 2009 vol:17 fasc: N/A págs: 1 - 15, DOI:10.4204/EPTCS.17.1
Autores: HUGO A LOPEZ, CARLOS OLARTE, JORGE ANDRES PEREZ PARRA,
104.- Publicado en revista especializada: Logics and Bisimulation Games for Concurrency, Causality and Conflict
Inglaterra, Lecture Notes In Computer Science ISSN: 1611-3349, 2009 vol:5504 fasc: N/A págs: 48 - 62, DOI:10.1007/978-3-642-00596-1_5
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
105.- Publicado en revista especializada: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2008 vol:5366 fasc: N/A págs: 682 - 686, DOI:10.1007/978-3-540-89982-2_57
Autores: JESUS ARANDA, JORGE PEREZ, CAMILO RUEDA CALDERON, FRANK VALENCIA,
106.- Publicado en revista especializada: Non-determinism and Probabilities in Timed Concurrent Constraint Programming
Italia, Lecture Notes In Computer Science ISSN: 0302-9743, 2008 vol:5366 fasc: N/A págs: 677 - 681, DOI:10.1007/978-3-540-89982-2_56
Autores: CAMILO RUEDA CALDERON, JORGE ANDRES PEREZ PARRA, JORGE PEREZ,
107.- Publicado en revista especializada: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
Italia, Lecture Notes In Computer Science ISSN: 0302-9743, 2008 vol:5366 fasc: N/A págs: 682 - 686, DOI:10.1007/978-3-540-89982-2_57
Autores: CAMILO RUEDA CALDERON, JESUS ARANDA, JORGE ANDRES PEREZ PARRA, JESUS ALEXANDER ARANDA BUENO, JORGE PEREZ,
108.- Publicado en revista especializada: Solving a Telecommunications Feature Subscription Configuration Problem
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2008 vol:5202 fasc: N(A págs: 67 - 81, DOI:10.1007/978-3-540-85958-1_5
Autores: DAVID LESAINT, DEEPAK MEHTA, BARRY OSULLIVAN, LUIS OMAR QUESADA RAMIREZ, NIC WILSON,
109.- Publicado en revista especializada: On the Asynchronous Nature of the Asynchronous pi-Calculus
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2008 vol:5065 fasc: N/A págs: 473 - 492, DOI:10.1007/978-3-540-68679-8_29
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, ROMAIN BEAUXIS,
110.- Publicado en revista especializada: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
No Aplica, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2008 vol:194 fasc: 2 págs: 59 - 84, DOI:10.1016/j.entcs.2007.11.006
Autores: FRANK VALENCIA, JESUS ARANDA, DILETTA CACCIAGRANO, FLAVIO CORRADINI, JESUS ALEXANDER ARANDA BUENO,
111.- Publicado en revista especializada: A personalisable internet telephony service
Grecia, ECAI 2008 Systems Demonstration ISSN: 0, 2008 vol: fasc: págs: - , DOI:
Autores: DAVID LESAINT, DEEPAK MEHTA, BARRY OSULLIVAN, LUIS OMAR QUESADA RAMIREZ, NIC WILSON,
112.- Publicado en revista especializada: CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2007 vol:4807 fasc: N/A págs: 383 - 398, DOI:10.1007/978-3-540-76637-7_26
Autores: JESUS ALEXANDER ARANDA BUENO, CINZIA DI GIUSTO, MOGENS NIELSEN, FRANK VALENCIA,
113.- Publicado en revista especializada: Timed Concurrent Constraint Programming for Analysing Biological Systems
Países Bajos, Electronic Notes In Theoretical Computer Science ISSN: 1571-0661, 2007 vol:171 fasc: 2 págs: 117 - 137, DOI:10.1016/j.entcs.2007.05.012
Autores: CAMILO RUEDA CALDERON, JORGE PEREZ,
114.- Publicado en revista especializada: Declarative Diagnosis of Temporal Concurrent Constraint Programs
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2007 vol:4670 fasc: 1 págs: 271 - 285, DOI:
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, CARLOS OLARTE, MORENO FALASCHI,
115.- Publicado en revista especializada: Anticipatory Model of Musical Style Imitation using Collaborative and Competitive Reinforcement Learning
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2007 vol:4520 fasc: 2007 págs: 285 - 306, DOI:10.1007/978-3-540-74262-3_16
Autores: ARSHIA CONT, SHLOMO DUBNOV, GERARD ASSAYAG,
116.- Publicado en revista especializada: Process Calculi to Analyze Emerging Applications in Concurrency
Colombia, Matematicas: Enseñanza Universitaria ISSN: 0120-6788, 2007 vol: fasc: págs: - , DOI:
Autores: ALEJANDRO ARBELAEZ, JULIAN GUTIERREZ, HUGO ANDRES LOPEZ, JORGE PEREZ, CAMILO RUEDA CALDERON, FRANK VALENCIA,
117.- Corto (Resumen): Universal Timed Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2007 vol:4670 fasc: 1 págs: 464 - 465, DOI:
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, CARLOS OLARTE,
118.- Publicado en revista especializada: An Evolutionary Approach to Computer-Aided Orchestration
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2007 vol:4448 fasc: 2007 págs: 488 - 497, DOI:10.1007/978-3-540-71805-5_54
Autores: GREGOIRE CARPENTIER, DAMIEN TARDIEU, GERARD ASSAYAG, XAVIER RODET, EMMANUEL SAINT JAMES,
119.- Publicado en revista especializada: Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming
Estados Unidos, Ifip International Federation For Information Processing ISSN: 1571-5736, 2006 vol:218 fasc: N/A págs: 265 - 274, DOI:
Autores: JUAN FRANCISCO DIAZ FRIAS,
120.- Publicado en revista especializada: On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
Estados Unidos, Proceedings - Symposium On Logic In Computer Science ISSN: 1043-6871, 2006 vol:21 fasc: N/A págs: 59 - 68, DOI:
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, VIJAY SARASWAT, BJORN VICTOR,
121.- Publicado en revista especializada: On Recursion, Replication and Scope Mechanisms in Process Calculi
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2006 vol:4709 fasc: N/A págs: 185 - 206, DOI:10.1007/978-3-540-74792-5_9
Autores: JESUS ALEXANDER ARANDA BUENO, FRANK D. VALENCIA POSSO, CINZIA DI GIUSTO, CATUSCIA PALAMIDESSI,
122.- Publicado en revista especializada: OpenMusic : de la composition à l'enseignement
Francia, L'Inouï ISSN: 0, 2006 vol:1 fasc: 2 págs: 117 - 131, DOI:
Autores: GERARD ASSAYAG, JEAN BRESSON,
123.- Publicado en revista especializada: On Recursion, Replication and Scope Mechanisms in Process Calculi
Países Bajos, Lecture Notes In Computer Science ISSN: 0302-9743, 2006 vol:4709 fasc: 1 págs: 185 - 206, DOI:
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI, JESUS ARANDA, CINZIA DI GIUSTO, JESUS ALEXANDER ARANDA BUENO,
124.- Corto (Resumen): A Declarative Framework for Security: Secure Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2006 vol:4079 fasc: 1 págs: 449 - 450, DOI:
Autores: HUGO A LOPEZ, CATUSCIA PALAMIDESSI, JORGE PEREZ, CAMILO RUEDA CALDERON, FRANK VALENCIA, JORGE ANDRES PEREZ PARRA,
125.- Publicado en revista especializada: A Framework for Anticipatory Machine Improvisation and Style Imitation
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2006 vol:4095 fasc: 1 págs: 28530 - , DOI:
Autores: ARSHIA CONT, SHLOMO DUBNOV, GERARD ASSAYAG,
126.- Publicado en revista especializada: Confinement analysis with graph reachabilty constraints
Francia, International Workshop on Constraints in Software Testing, Verification and Analysis, at the 12th International Conference on Principles and Practice of Constraint Programming ISSN: 0, 2006 vol: fasc: págs: - , DOI:
Autores: LUIS OMAR QUESADA RAMIREZ, PETER VAN ROY, FRED SPIESSENS,
127.- Publicado en revista especializada: Using dominators for solving constrained path problems.
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2006 vol:3819 fasc: N/A págs: 73 - 87, DOI:
Autores: LUIS OMAR QUESADA RAMIREZ, PETER VAN ROY, YVES DEVILLE, RAPHAEL COLLET,
128.- Publicado en revista especializada: A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Chile, Clei Electronic Journal ISSN: 0717-5000, 2006 vol:9 fasc: 2 págs: 1 - 21, DOI:
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE,
129.- Corto (Resumen): Speeding up constrained path solvers with a reachability propagator
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3709 fasc: N/A págs: 866 - 866, DOI:
Autores: LUIS OMAR QUESADA RAMIREZ, PETER VAN ROY, YVES DEVILLE,
130.- Publicado en revista especializada: Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3603 fasc: N/A págs: 82 - 97, DOI:
Autores: NESTOR CATANO COLLAZOS,
131.- Publicado en revista especializada: implementing semi-ring based constraints using Mozart
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3389 fasc: 1 págs: 224 - 236, DOI:
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE,
132.- Publicado en revista especializada: Solving the Aircraft Sequencing Problem Unsing Concurrent Constraint Programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3389 fasc: 1 págs: 292 - 304, DOI:10.1007/978-3-540-31845-3_24
Autores: JUAN FRANCISCO DIAZ FRIAS, JAVIER MENA,
133.- Publicado en revista especializada: Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3389 fasc: 1 págs: 263 - 276, DOI:10.1007/978-3-540-31845-3_22
Autores: JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, GUSTAVO GUTIERREZ, CARLOS OLARTE,
134.- Publicado en revista especializada: Reachability: a constrained path propagator implemented as a multi-agent system.
Colombia, CLEI2005 Proceedings ISSN: 0, 2005 vol: fasc: págs: - , DOI:
Autores: LUIS OMAR QUESADA RAMIREZ, PETER VAN ROY, YVES DEVILLE,
135.- Publicado en revista especializada: Combining symbolic execution and model checking to reduce dynamic program analysis overhead
Colombia, Revista Colombiana De Computación ISSN: 1657-2831, 2005 vol:6 fasc: págs: - , DOI:
Autores: NESTOR CATANO COLLAZOS,
136.- Publicado en revista especializada: The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A practical Solution Incorporating Constraint Programming and Heuristics
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3389 fasc: 1 págs: 305 - 316, DOI:10.1007/978-3-540-31845-3_25
Autores: JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA,
137.- Publicado en revista especializada: Formal Methods for Smart Cards: an experience report
Países Bajos, Science Of Computer Programming ISSN: 0167-6423, 2005 vol:55 fasc: págs: 53 - 80, DOI:10.1016/j.scico.2004.05.011
Autores: NESTOR CATANO COLLAZOS, CEES BART BREUNESSE, MARIEKE HUISMAN, BART JACOBS,
138.- Publicado en revista especializada: An interactive tool for the controlled execution of an automated Timetabling Constraint Engine
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2005 vol:3389 fasc: N/A págs: 322 - 332, DOI:
Autores: CAMILO RUEDA CALDERON, GUSTAVO PABON, RAFAEL JORDAN, JORGE PEREZ, ALBERTO DELGADO,
139.- Publicado en revista especializada: Decidability of Infinite-StateTimed CCP and First-Order LTL
Países Bajos, Theoretical Computer Science ISSN: 0304-3975, 2004 vol:335 fasc: 1 págs: 115 - 122, DOI:
Autores: FRANK VALENCIA,
140.- Publicado en revista especializada: notes on timed concurrent constraint programming
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2004 vol:3098 fasc: 1 págs: 72 - 101, DOI:
Autores: FRANK VALENCIA,
141.- Publicado en revista especializada: On validity in modelization of musical problems by CCP
Alemania, Soft Computing ISSN: 1432-7643, 2004 vol:8 fasc: 9 págs: 641 - 648, DOI:
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA,
142.- Corto (Resumen): a CP application for reconfiguring a power distribution network for power losses reduction
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2004 vol:3258 fasc: 1 págs: 813 - 814, DOI:
Autores: CAMILO RUEDA CALDERON, JUAN FRANCISCO DIAZ FRIAS, CARLOS OLARTE, GUSTAVO GUTIERREZ,
143.- Publicado en revista especializada: Non-Viability Deductions in Arc-Consistency Computation
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2004 vol:3132 fasc: 1 págs: 343 - 355, DOI:
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA,
144.- Corto (Resumen): CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2004 vol:3258 fasc: 1 págs: 813 - 813, DOI:10.1007/978-3-540-30201-8_92
Autores: JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, CARLOS ALBERTO OLARTE VEGA, GUSTAVO GUTIERREZ SABOGAL,
145.- Publicado en revista especializada: CREAR: CONSEJERO PARA LA REPARTICIÓN DE ARTÍCULOS Y EVALUADORES EN EVENTOS ACADÉMICOS
Colombia, Ingeniería Y Competitividad ISSN: 0123-3033, 2004 vol:1 fasc: 1 págs: 53 - 62, DOI:
Autores: JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA,
146.- Publicado en revista especializada: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2004 vol:2987 fasc: 1 págs: 226 - 240, DOI:
Autores: FRANK VALENCIA, PABLO GIAMBIAGI, GERARDO SCHNEIDER,
147.- Publicado en revista especializada: Using factor oracles for machine improvisation
Alemania, Soft Computing ISSN: 1432-7643, 2004 vol:8 fasc: 9 págs: 604 - 610, DOI:
Autores: GERARD ASSAYAG, S DUBNOV,
148.- Publicado en revista especializada: Using Machine-Learning Methods for Musical Style Modeling
Estados Unidos, Computer ISSN: 0018-9162, 2003 vol:36 fasc: 10 págs: 73 - 80, DOI:
Autores: GERARD ASSAYAG, S DUBNOV, O LARTILLOT, G BEJARANO,
149.- Publicado en revista especializada: Concurrency, time and constraints
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2003 vol:2916 fasc: 1 págs: 72 - 101, DOI:
Autores: FRANK VALENCIA,
150.- Publicado en revista especializada: Implementing a Distributed Shortest Path Propagator with Message Passing. MultiCPL 2003 Proceedings
Irlanda, MultiCPL 2003 Proceedings ISSN: 0, 2003 vol: fasc: págs: - , DOI:
Autores: LUIS OMAR QUESADA RAMIREZ,
151.- Publicado en revista especializada: LMAN: Máquina abstracta de NTCC para programación concurrente de robots LEGO MIND STORMS
Colombia, Epiciclos ISSN: 1657-5636, 2003 vol:2 fasc: 2 págs: 51 - 80, DOI:
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA, RENE HURTADO, MARIA DEL PILAR MUNOZ,
152.- Publicado en revista especializada: timed Concurrent constraint Programming:Decidability results and their application to LTL
Alemania, Lecture Notes In Computer Science ISSN: 0302-9743, 2003 vol:2916 fasc: págs: 422 - 437, DOI:
Autores: FRANK VALENCIA,
153.- Publicado en revista especializada: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.
Finlandia, Nordic Journal Of Computing ISSN: 1236-6064, 2002 vol:9 fasc: 2 págs: 145 - 188, DOI:
Autores: FRANK VALENCIA,
154.- Publicado en revista especializada: On the expressive power of temporal concurrent constraint programming languages.
Estados Unidos, ACM SIGPLAN ISSN: 0, 2002 vol: fasc: págs: 156 - 167, DOI:
Autores: FRANK VALENCIA, MOGENS NIELSEN, CATUSCIA PALAMIDESSI,
155.- Publicado en revista especializada: Planeamiento Horario Universitario Orientado-Objetos en Programación Concurrente por restricciones
Colombia, Epiciclos ISSN: 1657-5636, 2002 vol:1 fasc: 1 págs: 103 - 116, DOI:
Autores: CAMILO RUEDA CALDERON, LUIS OMAR QUESADA RAMIREZ,
156.- Publicado en revista especializada: A concurrent constraint programming approach for trajectory determination of autonomous vehicles
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2002 vol:2470 fasc: págs: 777 - 780, DOI:
Autores: LUIS OMAR QUESADA RAMIREZ, PETER VAN ROY,
157.- Publicado en revista especializada: VISiR:Software de soporte para la toma de decisiones de vertimiento de agua en la represa del Alto Anchicayá usando Programación Concurrente con Restricciones
Colombia, Ingeniería Y Competitividad ISSN: 0123-3033, 2001 vol:3 fasc: 2 págs: 7 - 14, DOI:
Autores: JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON,
158.- Publicado en revista especializada: A temporal concurrent constraint porogramming calculus
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2001 vol:2239 fasc: págs: 302 - 316, DOI:
Autores: FRANK VALENCIA,
159.- Corto (Resumen): Temporal Concurrent constraint programming
Estados Unidos, Lecture Notes In Computer Science ISSN: 0302-9743, 2001 vol:2239 fasc: págs: 786 - 787, DOI:
Autores: FRANK VALENCIA,
160.- Publicado en revista especializada: Estado del Arte en Reconfiguración de Sistemas de Distribución
Colombia, Energía Y Computación ISSN: 0121-5299, 2001 vol:X fasc: 1 págs: 50 - 60, DOI:
Autores: GLADYS CAICEDO, RAFAEL GRANOBLES, JUAN MANUEL GERS, JUAN FRANCISCO DIAZ FRIAS,
161.- Publicado en revista especializada: Integrating constraints and concurrent objects in Musical applications: A calculus and its visual language
Países Bajos, Constraints. An International Journal ISSN: 1383-7133, 2001 vol:6 fasc: 1 págs: 21 - 52, DOI:
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA, JUAN FRANCISCO DIAZ FRIAS, GABRIEL TAMURA MORIMITSU, LUIS OMAR QUESADA RAMIREZ, GLORIA ALVAREZ VARGAS, GERARD ASSAYAG,
162.- Publicado en revista especializada: modelos para la computación móvil
Colombia, Revista Colombiana De Computación ISSN: 1657-2831, 2000 vol:1 fasc: 1 págs: 29 - 46, DOI:
Autores: CAMILO RUEDA CALDERON, JUAN FRANCISCO DIAZ FRIAS,
163.- Publicado en revista especializada: Computer assisted composition at IRCAM: From PatchWork to OpenMusic
Estados Unidos, Computer Music Journal ISSN: 0148-9267, 1999 vol:23 fasc: 3 págs: 59 - 72, DOI:
Autores: GERARD ASSAYAG, MIKAEL LAURSON, CARLOS AGON, OLIVIER DELERUE, CAMILO RUEDA CALDERON,
164.- Publicado en revista especializada: A Calculus for Concurrent Processes with Constraints
Chile, Clei Electronic Journal ISSN: 0717-5000, 1998 vol:1 fasc: 2 págs: 20 - 33, DOI:
Autores: JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, CAMILO RUEDA CALDERON,
165.- Publicado en revista especializada: Los retos de la informática musical
Colombia, Innovación Y Ciencia ISSN: 0121-5140, 1997 vol:6 fasc: págs: 54 - 60, DOI:
Autores: CAMILO RUEDA CALDERON,

Libros publicados
1.- Libro resultado de investigación : Theoretical Aspects of Computing - ICTAC 2015
Alemania,2015, ISBN: 978-3-319-25149-3 vol: págs: , Ed. Springer-Verlag Berlin/Heidelberg
Autores: FRANK VALENCIA, CAMILO RUEDA CALDERON, MARTIN LEUCKER,
2.- Libro resultado de investigación : Mathematics And Music: A Diderot Mathematical Fourum
Alemania,2002, ISBN: 3-540-43727-4 vol: 1000 págs: 288, Ed. Springer Verlag
Autores: GERARD ASSAYAG, HANS FEICHTINGER, JOSE RODRIGUES,

Capítulos de libro publicados
1.- Capítulo de libro : Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study
Estados Unidos, 2017, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, ISBN: 978-1-4503-5077-8, Vol. , págs:94 - 97, Ed. ACM Press (Association of Computing Machinery)
Autores: HERNAN CAMILO ROCHA NINO,
2.- Capítulo de libro : Expressiveness and Nash Equilibrium in Iterated Boolean Games
Singapur, 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, ISBN: 978-1-4503-4239-1, Vol. , págs:707 - 715, Ed. ACM Press (Association of Computing Machinery)
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
3.- Capítulo de libro : Imperfect Information in Reactive Modules Games
Sudáfrica, 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, ISBN: 978-1-57735-755-1, Vol. , págs:390 - 400, Ed. AAAI Press
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
4.- Capítulo de libro : Session types for communicating systems in event-B
Italia, 2016, Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, ISBN: 978-1-4503-3739-7, Vol. , págs:1686 - 1693, Ed. ACM Press (Association of Computing Machinery)
Autores: CARLOS OLARTE, CAMILO RUEDA CALDERON,
5.- Capítulo de libro : Rational Verification: From Model Checking to Equilibrium Checking.
Estados Unidos, 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, ISBN: 978-1-57735-755-1, Vol. , págs:4184 - 4191, Ed. AAAI Press
Autores: JULIAN EDUARDO GUTIERREZ SANTIAGO,
6.- Capítulo de libro : Translating B and Event-B Machines to Java and JML
Estados Unidos, 2014, Formal Methods Applied To Industrial Complex Systems: Implementation Of The B Method, ISBN: 978-1-84821-709-6, Vol. , págs:211 - 252, Ed. Wiley
Autores: CAMILO RUEDA CALDERON, VICTOR ALFONSO RIVERA ZUNIGA, TIM WAHLS,
7.- Capítulo de libro : Parallelising the k-Medoids Clustering Problem Using Space-Partitioning
Estados Unidos, 2013, Proceedings Of The Sixth Annual Symposium On Combinatorial Search, ISBN: 978-1-57735-584-7, Vol. , págs:20 - 28, Ed. AAAI Press
Autores: LUIS OMAR QUESADA RAMIREZ, ALEJANDRO ARBELAEZ,
8.- Otro capítulo de libro publicado : Disciplined structured communications with consistent runtime adaptation
Estados Unidos, 2013, Proceedings Of The 28th Annual Acm Symposium On Applied Computing, ISBN: 978-1-4503-1656-9, Vol. , págs:1913 - 1918, Ed. ACM Press (Association of Computing Machinery)
Autores: JORGE ANDRES PEREZ PARRA, CINZIA DI GIUSTO,
9.- Otro capítulo de libro publicado : On the Use of Formal Methods to Enforce Privacy-Aware Social-Networking
Estados Unidos, 2013, Igi Global, ISBN: 9781466639263, Vol. , págs:222 - 247, Ed.
Autores: NESTOR CATANO COLLAZOS,
10.- Otro capítulo de libro publicado : Efficient computation of program equivalence for confluent concurrent constraint programming
Estados Unidos, 2013, Proceedings Of The 15th Symposium On Principles And Practice Of Declarative Programming, ISBN: 1-4503-2154-2, Vol. , págs:263 - 274, Ed. ACM Press (Association of Computing Machinery)
Autores: FRANK VALENCIA, FILIPPO BONCHI, LUIS FERNANDO PINO,
11.- Otro capítulo de libro publicado : Partition refinement for bisimilarity in CCP
Italia, 2012, Proceedings Of The Acm Symposium On Applied Computing, Sac 2012, ISBN: 978-1-4503-0857-1, Vol. , págs:88 - 93, Ed. ACM Press (Association of Computing Machinery)
Autores: FRANK VALENCIA, ANDRES ARISTIZABAL, FILIPPO BONCHI, LUIS FERNANDO PINO,
12.- Otro capítulo de libro publicado : A linear concurrent constraint approach for the automatic verification of access permissions
Bélgica, 2012, Proceedings Of The 14th Symposium On Principles And Practice Of Declarative Programming, ISBN: 978-1-4503-1522-7, Vol. , págs:207 - 216, Ed. Acm
Autores: CARLOS ALBERTO OLARTE VEGA, CAMILO RUEDA, ELAINE PIMENTEL GOUVEA,
13.- Otro capítulo de libro publicado : An extension of interactive scores for multimedia scenarios with temporal relations for micro and macro controls
Colombia, 2012, Proceedings Of The 9th Sound And Music Computing Conference, Smc 2012, ISBN: 978-383253180-5, Vol. , págs:10 - 18, Ed. Sound and music Computing network
Autores: MAURICIO TORO BERMUDEZ,
14.- Otro capítulo de libro publicado : Translating B machines to JML specifications
Colombia, 2012, Proceedings Of The Acm Symposium On Applied Computing, Sac 2012, ISBN: 978-1-4503-0857-1, Vol. , págs:1271 - 1277, Ed. ACM Press (Association of Computing Machinery)
Autores: CAMILO RUEDA CALDERON, VICTOR ALFONSO RIVERA ZUNIGA, TIM WAHLS, NESTOR CATANO COLLAZOS,
15.- Otro capítulo de libro publicado : The EventB2Dafny Rodin Plug-In
Suiza, 2012, 2012 International Conference On Lightning Protection (Iclp), ISBN: 978-1-4673-1896-9, Vol. , págs:49 - 54, Ed.
Autores: NESTOR CATANO COLLAZOS,
16.- Capítulo de libro : OpenMusic: visual programming environment for music composition, analysis and research
Estados Unidos, 2011, Proceedings Of The 19th International Conference On Multimedia, ISBN: 978-1-4503-0616-4, Vol. , págs:743 - 746, Ed. ACM Press (Association of Computing Machinery)
Autores: GERARD ASSAYAG, ARSHIA CONT, SHLOMO DUBNOV,
17.- Capítulo de libro : Audio Oracle Analysis of Musical Information Rate
Estados Unidos, 2011, Semantic Computing (Icsc), 2011 Fifth Ieee International Conference On, ISBN: 978-1-4577-1648-5, Vol. , págs:567 - 571, Ed. Ieee Computer Soc
Autores: GERARD ASSAYAG, ARSHIA CONT, SHLOMO DUBNOV,
18.- Otro capítulo de libro publicado : Concurrent Constraints models of Music interaction
Estados Unidos, 2011, Consraint Programming In Music, ISBN: 9781848212886, Vol. , págs:133 - 156, Ed. John Wiley & Sons, Inc.
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE, FRANK VALENCIA, GERARDO SARRIA, MAURICIO TORO,
19.- Otro capítulo de libro publicado : Verification of JML Generic Types with Yices
Colombia, 2011, Proceedings Of The 6th Computing Colombian Congress, ISBN: 978-1-4577-0284-6, Vol. , págs:4 - 6, Ed. Ieee Colombia
Autores: NESTOR CATANO COLLAZOS,
20.- Otro capítulo de libro publicado : Compositional modelling of signalling pathways in timed concurrent constraint programming
Estados Unidos, 2010, Proceedings Of The First Acm International Conference On Bioinformatics And Computational Biology, ISBN: 978-1-4503-0438-2, Vol. , págs:414 - 417, Ed.
Autores: DAVIDE CHIARUGI, MORENO FALASCHI, CARLOS ALBERTO OLARTE VEGA, CATUSCIA PALAMIDESSI,
21.- Otro capítulo de libro publicado : Concurrent Constraints Calculi: A Declarative Paradigm for Modeling Music Systems
Francia, 2009, New Computational Paradigms For Computer Music, ISBN: 978-2-7521-0054-2, Vol. , págs:97 - 112, Ed.
Autores: CAMILO RUEDA CALDERON, FRANK VALENCIA, CARLOS OLARTE,
22.- Otro capítulo de libro publicado : A Soft Global Precedence Constraint
Estados Unidos, 2009, Ijcai 2009, ISBN: 978-1-57735-426-0, Vol. , págs:566 - 571, Ed. AAAI Press
Autores: LUIS OMAR QUESADA RAMIREZ, BARRY OSULLIVAN, DAVID LESAINT, DEEPAK MEHTA, NIC WILSON,
23.- Otro capítulo de libro publicado : Executing JML specifications of Java card applications: a case study
Estados Unidos, 2009, Proceedings Of The 2009 Acm Symposium On Applied Computing, ISBN: 978-1-60558-166-8, Vol. , págs:404 - 408, Ed. Acm
Autores: NESTOR CATANO COLLAZOS,
24.- Otro capítulo de libro publicado : Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.
Francia, 2009, New Computational Paradigms For Computer Music, ISBN: 978-2-7521-0054-2, Vol. , págs:1 - , Ed.
Autores: CARLOS ALBERTO OLARTE VEGA, CAMILO RUEDA, FRANK D VALENCIA,
25.- Otro capítulo de libro publicado : A Declarative Language for Dynamic Multimedia Interaction Systems
Estados Unidos, 2009, Mathematics And Computation In Music, ISBN: 978-3-642-02393-4, Vol. , págs:218 - 227, Ed. Springer-Verlag Berlin/Heidelberg
Autores: CARLOS ALBERTO OLARTE VEGA, CAMILO RUEDA,
26.- Otro capítulo de libro publicado : A framework for abstract interpretation of timed concurrent constraint programs
Portugal, 2009, Proceedings Of The 11th Acm Sigplan Conference On Principles And Practice Of Declarative Programming, ISBN: 978-1-60558-568-0, Vol. , págs:207 - 218, Ed. Acm
Autores: CARLOS ALBERTO OLARTE VEGA, CATUSCIA PALAMIDESSI, MORENO FALASCHI,
27.- Otro capítulo de libro publicado : Iscore: a system for writing interaction
Grecia, 2008, Proceedings Of The Third International Conference On Digital Interactive Media In Entertainment And Arts, ISBN: 978-1-60558-248-1, Vol. , págs:360 - 367, Ed. Acm
Autores: GERARD ASSAYAG, ANTOINE ALLOMBERT, MYRIAM DESAINTE CATHERINE,
28.- Capítulo de libro : The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security
Estados Unidos, 2008, Proceedings Of The 10th International Acm Sigplan Conference On Principles And Practice Of Declarative Programming, ISBN: 978-1-60558-117-0, Vol. , págs:8 - 19, Ed. ACM Press (Association of Computing Machinery)
Autores: FRANK VALENCIA, CARLOS OLARTE,
29.- Capítulo de libro : Universal concurrent constraint programing: symbolic semantics and applications to security
Estados Unidos, 2008, Sac '08: Proceedings Of The 2008 Acm Symposium On Applied Computing, ISBN: 978-1-59593-753-7, Vol. , págs:145 - 150, Ed. ACM Press (Association of Computing Machinery)
Autores: FRANK VALENCIA, CARLOS OLARTE,
30.- Otro capítulo de libro publicado : Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
Estados Unidos, 2008, Proceedings Of The 2008 20th Ieee International Conference On Tools With Artificial Intelligence, ISBN: 978-0-7695-3440-4, Vol. , págs:283 - 290, Ed. Ieee Computer Society
Autores: LUIS OMAR QUESADA RAMIREZ,
31.- Otro capítulo de libro publicado : Personalisation of telecommunications services as combinatorial optimisation
Estados Unidos, 2008, Proceedings Of The Twenty-Third Aaai Conference On Artificial Intelligence, Aaai 2008, ISBN: 978-1-57735-368-3, Vol. , págs:1693 - 1698, Ed. AAAI Press
Autores: LUIS OMAR QUESADA RAMIREZ, DAVID LESAINT, DEEPAK MEHTA, BARRY OSULLIVAN, NIC WILSON,
32.- Otro capítulo de libro publicado : Universal concurrent constraint programing: symbolic semantics and applications to security
Brasil, 2008, Sac '08: Proceedings Of The 2008 Acm Symposium On Applied Computing, ISBN: 978-1-59593-753-7, Vol. , págs:145 - 150, Ed. ACM Press (Association of Computing Machinery)
Autores: CARLOS ALBERTO OLARTE VEGA, FRANK D VALENCIA,
33.- Otro capítulo de libro publicado : The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security
España, 2008, Proceedings Of The 10th International Acm Sigplan Conference On Principles And Practice Of Declarative Programming, ISBN: 978-1-60558-117-0, Vol. , págs:8 - , Ed. ACM Press (Association of Computing Machinery)
Autores: CARLOS ALBERTO OLARTE VEGA, FRANK D VALENCIA,
34.- Otro capítulo de libro publicado : OMax brothers: a dynamic topology of agents for improvization learning
Estados Unidos, 2006, Proceedings Of The 1st Acm Workshop On Audio And Music Computing Multimedia, ISBN: 1-59593-501-0, Vol. , págs:125 - 132, Ed. Acm
Autores: GERARD ASSAYAG, ARSHIA CONT, GEORGES BLOCH, MARC CHEMILLIER, SHLOMO DUBNOV,
35.- Otro capítulo de libro publicado : A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus
Chile, 2005, Proceedings Of The Xxv International Conference On The Chilean Computer Science Society, ISBN: 0-7695-2491-5, Vol. , págs:30 - 36, Ed. IEEE Computer Society Press
Autores: CAMILO RUEDA CALDERON, CARLOS OLARTE,
36.- Otro capítulo de libro publicado : On the computational limits of infinite satisfaction
Estados Unidos, 2005, Proceedings Of The 2005 Acm Symposium On Applied Computing, ISBN: 1-58113-964-0, Vol. , págs:393 - 397, Ed. Acm
Autores: FRANK VALENCIA, STEFAN DANTCHEV,
37.- Otro capítulo de libro publicado : Temporal concurrent constraint programming: Applications and Behavior
Estados Unidos, 2002, Formal and natural computing: Essays dedicated to Grzegorz Rozenberg, ISBN: 0, Vol. 2300, págs: - , Ed. Springer Verlag
Autores: FRANK VALENCIA, MOGENS NIELSEN,
38.- Otro capítulo de libro publicado : Object oriented programming in open music
Suiza, 2002, The topos of music, ISBN: 0, Vol. , págs:967 - 986, Ed. Birkhäuser Verlag
Autores: GERARD ASSAYAG, CARLOS AGON,
39.- Otro capítulo de libro publicado : Universal prediction applied to stylistic music generation
Alemania, 2002, Mathematics and music: A Diderot mathematical forum, ISBN: 0, Vol. , págs:147 - 160, Ed. Springer Verlag
Autores: GERARD ASSAYAG, S DUBNOV,
40.- Otro capítulo de libro publicado : Un langage visuel basé sur les contraintes pour la composition musicale
Francia, 1998, Recherches Et Applications En Informatique Musicale, ISBN: 2-86601-676-9, Vol. , págs:65 - 74, Ed. Hermes
Autores: CAMILO RUEDA CALDERON, ANTOINE BONNET,

Documentos de trabajo

Otra publicación divulgativa

Otros artículos publicados
1.- Revista de divulgación : Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Argentina, Electronic Proceedings In Theoretical Computer Science ISSN: 2075-2180, 2014 vol:144 fasc: págs: 57 - 72
Autores: CARLOS ALBERTO RAMIREZ RESTREPO, JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO,
2.- Revista de divulgación : Concurrent Constraint Programming: Calculi, Languages and Emerging Applications
Estados Unidos, The ALP Newsletter ISSN: 0, 2008 vol: fasc: págs: -
Autores: CARLOS ALBERTO OLARTE VEGA, FRANK D VALENCIA, CAMILO RUEDA,
3.- Revista de divulgación : Recursion vs Replication in Process Calculi: Expressiveness.
Francia, Bulletin of the EATCS ISSN: 0, 2005 vol: fasc: págs: 105 - 125
Autores: FRANK VALENCIA, CATUSCIA PALAMIDESSI,

Otros Libros publicados
1.- Libro pedagógico y/o de divulgación : Penser La Musique Avec Les Mathématiques
Francia,2006, ISBN: 2752100272 vol: 0 págs: 316, Ed. Delatour France
Autores: GERARD ASSAYAG, FRANCOIS NICOLAS, GUERINO MAZZOLA,
2.- Otro libro publicado : Soft computing formal systems and music
Alemania,2004, ISBN: vol: págs: 1, Ed. Springer Verlag
Autores: GERARD ASSAYAG,

Traducciones
1.- Libro : Concepts, Techniques, and Models of Computer Programming
2007, Revista: ISSN , Libro: ISBN , Medio de divulgación: Electrónico
Idioma del documento original: Inglés, Idioma de la traducción: Español
Edición: , Serie: , Autor del documento original: Peter Van Roy, Seif Haridi
Autores: JUAN FRANCISCO DIAZ FRIAS,

PRODUCCIÓN TÉCNICA Y TECNOLÓGICA

Cartas, mapas o similares

Consultorías científico tecnológicas e Informes técnicos

Diseños industriales

Esquemas de trazados de circuito integrado

Innovaciones en Procesos y Procedimientos

Innovaciones generadas en la Gestión Empresarial

Nuevas variedades animal

Nuevas variedades vegetal

Plantas piloto

Otros productos tecnológicos

Prototipos

Regulaciones y Normas

Reglamentos técnicos

Guias de práctica clínica

Proyectos de ley

Signos distintivos


Softwares
1.- Computacional : Model checker para el cálculo NTCC
Colombia, 2014, Disponibilidad: Restringido, Sitio web: http://sourceforge.net/projects/ntcckmc/
Nombre comercial: ntccKMC: A Kripke-structure-based model checker for ntcc, Nombre del proyecto: REACT-PLUS
Institución financiadora: Departamento Administrativo de Ciencia, Tecnología e Innovación, Colciencias
Autores: MAURICIO TORO BERMUDEZ,
2.- Computacional : CAFESA (Constraints Application For Enhanced Spectrum Allocation)
Colombia, 2013, Disponibilidad: Restringido, Sitio web: http://avispa.univalle.edu.co/site/
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
3.- Computacional : The EventB2Java Eclipse Plug-in
Portugal, 2013, Disponibilidad: Restringido, Sitio web: http://poporo.uma.pt/~ncatano/Projects/favas/EventB2Java.html
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
4.- Computacional : ALCOVE: Aeminium Linear COnstraints VErifier
Colombia, 2012, Disponibilidad: No restringido, Sitio web: http://escher.puj.edu.co/~caolarte/alcove/
Nombre comercial: ALCOVE, Nombre del proyecto:
Institución financiadora: Departamento Administrativo de Ciencia, Tecnología e Innovación, Colciencias
Autores: CARLOS ALBERTO OLARTE VEGA,
5.- Computacional : BioWays
Colombia, 2012, Disponibilidad: No restringido, Sitio web: http://escher.puj.edu.co/~michellrad/bioways_web/
Nombre comercial: BioWayS, Nombre del proyecto:
Institución financiadora: Departamento Administrativo de Ciencia, Tecnología e Innovación, Colciencias
Autores: CARLOS ALBERTO OLARTE VEGA,
6.- Computacional : EventB2Dafny
Portugal, 2012, Disponibilidad: No restringido, Sitio web: http://poporo.uma.pt/~ncatano/Projects/eventb2dafny/Home.html
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
7.- Computacional : EventB2JML
Portugal, 2012, Disponibilidad: Restringido, Sitio web: http://poporo.uma.pt/~ncatano/Projects/favas/EventB2JML.html
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
8.- Computacional : The Pulse Model-Checking Tool
Portugal, 2012, Disponibilidad: No restringido, Sitio web: http://poporo.uma.pt/~ncatano/Projects/aeminium/pulsepulse/pulse.php
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
9.- Computacional : B2JML
Portugal, 2012, Disponibilidad: Restringido, Sitio web: http://poporo.uma.pt/~ncatano/Projects/favas/B2JML.html
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
10.- Computacional : Visual Modeling Framework for Distributed Multiscale, Multiparadigm Simulations
Colombia, 2009, Disponibilidad: Restringido, Sitio web: http://visualmms.sourceforge.net/
Nombre comercial: Visual M&M's, Nombre del proyecto:
Institución financiadora:
Autores: ANDRES JARAMILLO BOTERO, VICTOR ALFONSO RIVERA ZUNIGA, JORGE HERNAN VICTORIA MORENO,
11.- Computacional : Abstract Interpretation framework for Timed CCP (utcc-sim)
Francia, 2009, Disponibilidad: No restringido, Sitio web: http://www.lix.polytechnique.fr/~colarte/utcc-sim/
Nombre comercial: utcc-sim, Nombre del proyecto:
Institución financiadora: Ecole Polytechnique
Autores: CARLOS ALBERTO OLARTE VEGA, CATUSCIA PALAMIDESSI, MORENO FALASCHI,
12.- Computacional : Integración Mozart-Gecode (Pre-release)
Colombia, 2009, Disponibilidad: No restringido, Sitio web: http://gforge.info.ucl.ac.be/plugins/scmsvn/viewcvs.php/branches/mozart-gecode/?root=mozart
Nombre comercial: Mozart-Gecode, Nombre del proyecto: Pontificia Universidad Javeriana - Universidad Católica de Louvania - Univalle
Institución financiadora: Pontificia Universidad Javeriana - Puj - Sede Cali
Autores: ANDRES FELIPE BARCO SANTA, VICTOR ALFONSO RIVERA ZUNIGA,
13.- Computacional : gelisp
Colombia, 2007, Disponibilidad: Irrestricta, Sitio web: http://sourceforge.net/projects/gelisp
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Universidad Javeriana-Cali, Ircam
Autores: CAMILO RUEDA CALDERON,
14.- Computacional : Simulador para el cálculo sntcc
Colombia, 2005, Disponibilidad: Restringido, Sitio web: http://atlas.puj.edu.co/~caolarte
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Pontificia Universidad Javeriana - Puj - Sede Cali
Autores: CARLOS ALBERTO OLARTE VEGA,
15.- Computacional : Soft Propagators
Colombia, 2004, Disponibilidad: Irrestricta, Sitio web:
Nombre comercial: , Nombre del proyecto:
Institución financiadora:
Autores: CARLOS ALBERTO OLARTE VEGA,
16.- Computacional : XRI
Bélgica, 2004, Disponibilidad: Irrestricta, Sitio web:
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Departamento Administrativo de Ciencia, Tecnología e Innovación, Colciencias
Autores: CAMILO RUEDA CALDERON, JUAN FRANCISCO DIAZ FRIAS, CARLOS OLARTE, GUSTAVO GUTIERREZ,
17.- Computacional : CREAR:Consejero para la Repartición de Artículos
Colombia, 2004, Disponibilidad: Irrestricta, Sitio web:
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA,
18.- Computacional : The Chase Tool
Francia, 2002, Disponibilidad: No restringido, Sitio web: http://www-sop.inria.fr/lemme/verificard/modifSpec/
Nombre comercial: The Chase Tool for Verifying Frame Conditions, Nombre del proyecto:
Institución financiadora:
Autores: NESTOR CATANO COLLAZOS,
19.- Computacional : PATHOS: Planeamiento Automático de temas, horarios y Salones
Colombia, 2001, Disponibilidad: Restrita, Sitio web: http://www.parquesoft.com/emp/lince
Nombre comercial: PATHOS, Nombre del proyecto:
Institución financiadora: Universidad del Valle - Univalle
Autores: CAMILO RUEDA CALDERON, JUAN FRANCISCO DIAZ FRIAS, LUIS OMAR QUESADA RAMIREZ,
20.- Computacional : VISiR: Vertimiento Inteligente en Situaciones de Riesgo
Colombia, 2000, Disponibilidad: Restricta, Sitio web:
Nombre comercial: VISiR, Nombre del proyecto:
Institución financiadora: EPSA
Autores: JUAN FRANCISCO DIAZ FRIAS, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, JAIDERMES NEBRIJO DUARTE, CATHERINE GARCIA,
21.- Computacional : CORDIAL:Constraints Object Relationship Defining an Iconic Applicative Language
Colombia, 1999, Disponibilidad: Irrestricta, Sitio web:
Nombre comercial: , Nombre del proyecto:
Institución financiadora: Departamento Administrativo de Ciencia, Tecnología e Innovación, Colciencias
Autores: JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, GABRIEL TAMURA MORIMITSU, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, GLORIA ALVAREZ VARGAS, NESTOR CATANO COLLAZOS, ANTAL ALEXANDER BUSS MOLINA, MAURICIO HEREDIA,
22.- Computacional : Open Music
Francia, 1999, Disponibilidad: Irrestricta, Sitio web: www.ircam.fr
Nombre comercial: Open Music, Nombre del proyecto:
Institución financiadora: IRCAM
Autores: GERARD ASSAYAG, CARLOS AGON, CAMILO RUEDA CALDERON,

Empresas de base tecnológica

APROPIACIÓN SOCIAL Y CIRCULACIÓN DEL CONOCIMIENTO

Ediciones

Eventos Científicos
1.- Simposio : Latin American Symposium on Theory of Computation (in CLEI 2016)
Viña del mar, desde 2016-10-10 00:00:00.0 - hasta 2016-10-14 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Pontificia Universidad Javeriana - Puj - Sede Cali Tipo de vinculación Patrocinadora
2.- Congreso : Congreso Latino-Iberoamericano de Investigación Operativa CLAIO 2016
Santiago, desde 2016-10-02 00:00:00.0 - hasta 2016-10-06 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Pontificia Universidad Javeriana - Puj - Sede Cali Tipo de vinculación Patrocinadora
3.- Taller : International Symposium on Modelling and Knowledge Management for Sustainable Development
BARRANQUILLA, desde 2014-09-24 00:00:00.0 - hasta 2014-07-24 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: Universidad Complutense De Madrid Tipo de vinculación Patrocinadora
4.- Otro : FOURTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR-14)
Viena, desde 2014-07-20 00:00:00.0 - hasta 2014-07-24 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: University Of Oxford Tipo de vinculación Gestionadora
5.- Otro : 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013
BOGOTÁ, D.C., desde 2013-12-03 00:00:00.0 - hasta 2013-12-05 00:00:00.0
Ámbito: Nacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad De Extremadura Tipo de vinculación Patrocinadora
6.- Congreso : Octavo Congreso Colombiano de Computación
ARMENIA, desde 2013-08-21 00:00:00.0 - hasta 2013-08-23 00:00:00.0
Ámbito: Nacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: Universidad Del Quindio - Uniquindio Tipo de vinculación Patrocinadora
7.- Otro : Twenty-Third International Joint Conference on Artificial Intelligence
MEDELLÍN, desde 2013-08-03 00:00:00.0 - hasta 2013-08-09 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: University Of Oxford Tipo de vinculación Gestionadora
8.- Congreso : 2012 7th Colombian Computing Congress (CCC)
MEDELLÍN, desde 2012-10-01 00:00:00.0 - hasta 2012-10-05 00:00:00.0
Ámbito: Nacional, Tipos de participación: Asistente

Instituciones asociadas
  • Nombre de la institución: Universidad Eafit Tipo de vinculación Gestionadora
9.- Congreso : Sound and Music Computing 2012
Copenhaguen, desde 2012-07-16 00:00:00.0 - hasta 2012-07-21 00:00:00.0
Ámbito: Internacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: Aalborg University Tipo de vinculación Patrocinadora
10.- Simposio : ESOP'11 - 20th European Symposium on Programming
null, desde 2011-03-01 00:00:00.0 - hasta
Ámbito: null, Tipos de participación: Asistente
11.- Otro : XXXV Conferencia Latinoamericana de Informatica CLEI2009
pELOTAS, desde 2009-09-22 00:00:00.0 - hasta 2009-09-25 00:00:00.0
Ámbito: Internacional, Tipos de participación: Asistente

Instituciones asociadas
  • Nombre de la institución: Universidade Federal De Pelotas Tipo de vinculación Patrocinadora
  • Nombre de la institución: Universidade Católica De Pelotas Tipo de vinculación Patrocinadora
12.- Congreso : JIM, journées d´informatique musicale
New York, desde 1999-01-01 00:00:00.0 - hasta
Ámbito: Nacional, Tipos de participación: Organizador
13.- Congreso : workshop on constraint techniques for artistic applications (European conference on artificial intelligence, ECAI98)
BOGOTÁ, D.C., desde 1998-01-01 00:00:00.0 - hasta
Ámbito: Nacional, Tipos de participación: Organizador
14.- Simposio : 1st symposium on music and computers
New York, desde 1998-01-01 00:00:00.0 - hasta
Ámbito: Nacional, Tipos de participación: Organizador

Informes de investigación

Redes de Conocimiento Especializado

Generación de Contenido Impreso

Generación de Contenido Multimedia

Generación de Contenido Virtual

Estrategias de Comunicación del Conocimiento

Estrategias Pedagógicas para el fomento a la CTI

Espacios de Participación Ciudadana

Participación Ciudadana en Proyectos de CTI

Producción en arte, arquitectura y diseño
Obras o productos
Industrias creativas y culturales
Eventos Artísticos
Talleres de Creación

ACTIVIDADES DE FORMACIÓN

Asesorías al Programa Ondas

Curso de Corta Duración Dictados

Trabajos dirigidos/turorías
1.- Trabajo de grado de maestría o especialidad médica : Estrategias computacionales de optimización en problemas con restricciones espaciales aplicadas a la planeación de cosechas forestales
Desde 2 2016 hasta Enero , Tipo de orientación: Tutor principal
Nombre del estudiante: Mauricio Zapata Cuartas, Programa académico: Maestría en Ingeniería- Énfasis en Ingeniería de Sistemas
Número de páginas: 0, Valoración: , Institución: Universidad del Valle
Autores: JESUS ALEXANDER ARANDA BUENO,
2.- Tesis de doctorado : Computational Approach for Solving Off-line and On-line Combinatorial Problems in the Cloud With Time Processing Constraints
Desde 8 2015 hasta Enero , Tipo de orientación: Tutor principal
Nombre del estudiante: Robinson Andrey Duque Agudelo, Programa académico: Doctorado En Ingeniería
Número de páginas: 0, Valoración: , Institución: Universidad del Valle - Univalle
Autores: ALEJANDRO ARBELAEZ, JUAN FRANCISCO DIAZ FRIAS,
3.- Trabajo de grado de maestría o especialidad médica : Applying Learning Techniques in SABIO: a Constraint Programming Application for Soccer Analysis
Desde 8 2014 hasta Noviembre 2016, Tipo de orientación: Tutor principal
Nombre del estudiante: Robinson Andrey Duque Agudelo, Programa académico: Maestría en Ingeniería
Número de páginas: 97, Valoración: Distincion meritoria, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ARBELAEZ,
4.- Trabajo de grado de maestría o especialidad médica : Matematour
Desde 6 2013 hasta Enero 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Barbara Florença, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
5.- Trabajo de grado de maestría o especialidad médica : Sistema de Gestao de Rondas
Desde 6 2013 hasta Enero 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Tiago Sousa, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
6.- Trabajos de grado de pregrado : Branching for the constraints module of the new Mozart virtual machine
Desde 6 2013 hasta Junio 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Julian Andres Camargo Tenorio, Programa académico: Ingeniería de Sistemas
Número de páginas: 32, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
7.- Trabajos de grado de pregrado : Diseño e implementación de una aplicación web y móvil para consultar SABIO
Desde 6 2013 hasta Junio 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Luis Felipe Vargas Rojas, Programa académico: Ingeniería de Sistemas
Número de páginas: 79, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
8.- Trabajo de grado de maestría o especialidad médica : Generador Musical de Círculos Armónicos para Guitarra
Desde 1 2013 hasta Junio 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Jonathan Almache Montoya, Programa académico: Maestría en Ingeniería
Número de páginas: 38, Valoración: , Institución: Universidad del Valle - Univalle
Autores: CAMILO RUEDA CALDERON, JUAN FRANCISCO DIAZ FRIAS,
9.- Tesis de doctorado : Formalisation and verification of hierarchical interactive multimedia scenarios with branching behavior
Desde 9 2012 hasta Noviembre 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: Jaime Arias Almeida, Programa académico: Collège de Sciences et Technologies
Número de páginas: 110, Valoración: Distincion meritoria, Institución: Université de Bordeaux
Autores: MYRIAM DESAINTE CATHERINE, CAMILO RUEDA CALDERON,
10.- Trabajo de grado de maestría o especialidad médica : Refinamiento de la planificación eco-eficiente de estiba en grandes buques porta contenedores.
Desde 8 2012 hasta Mayo 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: Adolfo León Cañizales Murcia, Programa académico: Maestría en Ingeniería
Número de páginas: 76, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, ALBERTO DELGADO,
11.- Trabajo de grado de maestría o especialidad médica : Multimedia Interaction with NTCC
Desde 7 2012 hasta Agosto 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Salim Perchy, Programa académico: Maestría en Ingeniería
Número de páginas: 109, Valoración: Aprobada, Institución: Pontificia Universidad Javeriana - Puj - Sede Cali
Autores: CAMILO RUEDA CALDERON,
12.- Trabajo de grado de maestría o especialidad médica : Model checking for NTCC calculus
Desde 6 2012 hasta Junio 2014, Tipo de orientación: Coturor/asesor
Nombre del estudiante: Michell Guzmán Cancimance, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JESUS ALEXANDER ARANDA BUENO, CARLOS ALBERTO OLARTE VEGA,
13.- Trabajos de grado de pregrado : Desarrollo de un modelo de satisfacción de restricciones para la asignación de citas terapeúticas en la clínica de rehabilitación del valle
Desde 2 2012 hasta Noviembre 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Holmes Giovanny Salazar Osorio, Harvin Jessid Rengifo Romero, Programa académico: Ingeniería de Sistemas
Número de páginas: 80, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JESUS ALEXANDER ARANDA BUENO,
14.- Trabajos de grado de pregrado : Diseño e implementación de una aplicación prototipo para la gestión del espectro radioeléctrico usando programación por restricciones
Desde 1 2012 hasta Abril 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Carlos Andrés Delgado Saavedra, Programa académico: Ingeniería de Sistemas
Número de páginas: 79, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, FABIO GERMAN GUERRERO MORENO,
15.- Trabajos de grado de pregrado : Modulo de sonido para el interpretador de NTCC
Desde 8 2011 hasta Julio 2012, Tipo de orientación: Tutor principal
Nombre del estudiante: Jonnathan Almache Montoya, Programa académico: Ingeniería de Sistemas
Número de páginas: 80, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, GERARDO MAURICIO SARRIA MONTEMIRANDA,
16.- Trabajos de grado de pregrado : Prototipo de entrenamiento para subastas en el mercado eléctrico - PRESUME
Desde 2 2011 hasta Mayo 2012, Tipo de orientación: Tutor principal
Nombre del estudiante: Adolfo León Cañizales Murcia, Programa académico: Ingeniería de Sistemas
Número de páginas: 67, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, CARLOS ARTURO LOZANO MONCADA,
17.- Tesis de doctorado : Code Generation for Event-B
Desde 1 2011 hasta Enero 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Víctor Rivera Zúñiga, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
18.- Tesis de doctorado : A Platform for the Generation of Access Permissions
Desde 12 2010 hasta Diciembre 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Ijaz Ahmed, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
19.- Trabajos de grado de pregrado : Servicio de ontologías en MAP: Un servicio de ontologías para AP, desarrollado en cumplimiento de las especificaciones FIPA
Desde 8 2010 hasta Noviembre 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: DIEGO FERNANDO GUEVARA GÓMEZ, Programa académico: Ingeniería de Sistemas
Número de páginas: 72, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
20.- Trabajos de grado de pregrado : Modelamiento del ciclo de vida del VIH utilizando el calculo NTCC
Desde 8 2010 hasta Noviembre 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Michell Guzman Cancimance, Programa académico: Ingeniería de Sistemas
Número de páginas: 80, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO,
21.- Trabajo de grado de maestría o especialidad médica : JML-Based Formal Development of a Java Card Application for Managing Medical Appointments
Desde 1 2010 hasta Diciembre 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Ricardo Rodrigues, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
22.- Trabajo de grado de maestría o especialidad médica : TacREMOTE
Desde 1 2010 hasta Diciembre 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Rui Aureliano Ferreira Gonçalves, Programa académico: Engineering Department
Número de páginas: 0, Valoración: Aprobada, Institución: The University of Madeira
Autores: NESTOR CATANO COLLAZOS,
23.- Tesis de doctorado : Structured Interactive Scores: From a simple structural description of a multimedia scenario to a real-time capable implementation with formal semantics.
Desde 9 2009 hasta Septiembre 2012, Tipo de orientación: Coturor/asesor
Nombre del estudiante: Mauricio Toro Bermúdez, Programa académico: Collège de Sciences et Technologies
Número de páginas: 185, Valoración: Distincion meritoria, Institución: Université de Bordeaux
Autores: CAMILO RUEDA CALDERON, MYRIAM DESAINTE CATHERINE,
24.- Trabajo de grado de maestría o especialidad médica : MODELING A CELLULAR TRANSMEMBRANE SIGNALING SYSTEM THROUGH INTERACTION WITH G-PROTEINS BY USING CONCURRENT CONSTRAINT PROCESS CALCULI
Desde 9 2009 hasta Septiembre 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Diana Hermith, Programa académico: ingenieria
Número de páginas: 90, Valoración: Aprobada, Institución: Pontificia Universidad Javeriana - Puj - Sede Cali
Autores: CAMILO RUEDA CALDERON,
25.- Tesis de doctorado : AN APPROACH TO FORMAL MODELLING OF GRID COMPUTING
Desde 8 2009 hasta Noviembre 2016, Tipo de orientación: Tutor principal
Nombre del estudiante: Carlos Alberto Ramirez Restrepo, Programa académico: Doctorado En Ingeniería
Número de páginas: 254, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO,
26.- Trabajo de grado de maestría o especialidad médica : SMART ANONYMIZATION THROUGH CONSTRAINTS
Desde 7 2009 hasta Abril 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Victor Rivera, Programa académico: Maestría en Ingeniería
Número de páginas: 100, Valoración: Aprobada, Institución: Pontificia Universidad Javeriana - Puj - Sede Cali
Autores: CAMILO RUEDA CALDERON,
27.- Trabajos de grado de pregrado : Caracterización del desempeño de GeOz e implementación de estrategias de mejoramiento
Desde 2 2009 hasta Junio 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Gustavo Andrés Gómez Farhat, Programa académico: Ingeniería de Sistemas
Número de páginas: 69, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
28.- Trabajos de grado de pregrado : Analysis of the reachability problem in fragments of the pi-calculus.
Desde 2 2009 hasta Noviembre 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Luis Fernando Pino Duque, Programa académico: Ingeniería de Sistemas
Número de páginas: 48, Valoración: Distincion laureada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
29.- Trabajo de grado de maestría o especialidad médica : Sistema de Restricciones sobre Dominios Continuos para Gecode y Mozart
Desde 8 2008 hasta Diciembre 2012, Tipo de orientación: Tutor principal
Nombre del estudiante: Gonzalo José Hernández Garzon, Programa académico: Maestría en Ingeniería
Número de páginas: 120, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
30.- Tesis de doctorado : Formal Methods for the Specification and Verification of Distributed and Timed Systems
Desde 8 2008 hasta Abril 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: James Jerson Ortíz Vega, Programa académico: Doctorado En Ingeniería
Número de páginas: 140, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
31.- Trabajos de grado de pregrado : Prototipo basado en agentes inteligentes y restricciones para simular el comportamiento del mercado de electricidad colombiano
Desde 6 2008 hasta Noviembre 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Carlos Alberto Ramírez Restrepo, Programa académico: Ingeniería de Sistemas
Número de páginas: 65, Valoración: Distincion meritoria, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, CARLOS ARTURO LOZANO MONCADA,
32.- Trabajo de grado de maestría o especialidad médica : Razonamiento automático para la derivación de productos en MD-SPL
Desde 6 2008 hasta Noviembre 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Victor Manuel Vargas Forero , Programa académico: Ingeniería de Sistemas
Número de páginas: 140, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, HUGO FERNANDO ARBOLEDA JIMENEZ,
33.- Trabajos de grado de pregrado : Sistema de Administración de Eventos Deportivos
Desde 6 2008 hasta Noviembre 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Andrés Felipe Albán Reyes, Programa académico: Ingeniería de Sistemas
Número de páginas: 48, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
34.- Trabajos de grado de pregrado : Intercalando ejecución de hilos de mozart y propagadores de gecode
Desde 2 2008 hasta Febrero 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Andrés Felipe Barco Santa, Programa académico: Ingeniería de Sistemas
Número de páginas: 50, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
35.- Trabajos de grado de pregrado : Implementación del modelo de restricciones para el problema de la asignación de cursos y horarios
Desde 2 2008 hasta Abril 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Federico Escobar Rodríguez, Programa académico: Ingeniería de Sistemas
Número de páginas: 42, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
36.- Tesis de doctorado : Definición e implementación de un lenguaje controlado para la caracterización automática de las prácticas argumentativas informales
Desde 1 2008 hasta Marzo 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Raúl Ernesto Gutiérrez de Piñerez, Programa académico: Doctorado En Ingeniería
Número de páginas: 249, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
37.- Trabajo de grado de maestría o especialidad médica : Estudio Exploratorio de la Expresividad del Cálculo ntcc aplicado al Modelamiento de Sistemas Biológicos
Desde 8 2007 hasta Abril 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Angela Patricia Villota Gómez, Programa académico: Ingeniería de Sistemas
Número de páginas: 90, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
38.- Trabajo de grado de maestría o especialidad médica : Modelo de reglas de asociación basado en restricciones para la generación de recomendaciones en una biblioteca digital
Desde 8 2006 hasta Junio 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Emilia Rocío Segovia Jiménez, Programa académico: Ingeniería de Sistemas
Número de páginas: 80, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
39.- Tesis de doctorado : On the Expressivity of Infinite and Local Behaviour in Fragments of the Pi-calculus
Desde 8 2006 hasta Abril 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Jesús Alexander Aranda Bueno, Programa académico: Doctorado En Ingeniería
Número de páginas: 148, Valoración: Distincion laureada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA,
40.- Trabajos de grado de pregrado : Prototipo para minimización de costos en cadenas de suministro usando programación concurrente por restricciones en el lenguaje de programación Mozart
Desde 1 2006 hasta Enero 2006, Tipo de orientación: Tutor principal
Nombre del estudiante: Jairo Maldonado, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
41.- Trabajos de grado de pregrado : OztNet: Mejoramiento del servicio de una red de comunicaciones móviles usando programación por restricciones en Mozart
Desde 1 2006 hasta Enero 2006, Tipo de orientación: Tutor principal
Nombre del estudiante: Eduardo Arias - Aldemar Villegas, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
42.- Trabajo de grado de maestría o especialidad médica : Adición de recomputación por lotes en GEOZ
Desde 8 2005 hasta Marzo 2008, Tipo de orientación: Tutor principal
Nombre del estudiante: Orlando Arboleda, Programa académico: Maestría en Ingeniería
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
43.- Trabajos de grado de pregrado : Despacho económico para sistemas hidrotérmicos en el corto plazo usando programación concurrente por restricciones
Desde 1 2005 hasta Enero 2005, Tipo de orientación: Tutor principal
Nombre del estudiante: Iván Javier Romero, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
44.- Trabajos de grado de pregrado : Adaptación de un módulo de programación lineal a MOzArt
Desde 1 2004 hasta Enero 2004, Tipo de orientación: Tutor principal
Nombre del estudiante: María Elena Ocampo, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
45.- Trabajos de grado de pregrado : Generador Automático de exámenes tipo ECAES
Desde 1 2004 hasta Enero 2004, Tipo de orientación: Tutor principal
Nombre del estudiante: Diego León Monsalve, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
46.- Trabajos de grado de pregrado : Construcción de un sistema de restricciones sobre secuencias para MOzArt
Desde 1 2004 hasta Enero 2004, Tipo de orientación: Tutor principal
Nombre del estudiante: Angela Villota, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
47.- Tesis de doctorado : Formal models of timed musical processes
Desde 9 2003 hasta Noviembre 2008, Tipo de orientación: Coturor/asesor
Nombre del estudiante: Gerardo Sarria Montemiranda, Programa académico: Doctorado En Ingeniería
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON,
48.- Tesis de doctorado : Especifiacciòn de un modelo de referencia arquitectural de software a nivel de configuraciòn, estructura y comportamiento
Desde 8 2003 hasta Noviembre 2008, Tipo de orientación: Coturor/asesor
Nombre del estudiante: Henry Alberto Diosa, Programa académico: Doctorado En Ingeniería
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
49.- Trabajos de grado de pregrado : Definición de un sistema de tipos para el cálculo PiCO:TYPiCO
Desde 1 2002 hasta Enero 2002, Tipo de orientación: Tutor principal
Nombre del estudiante: John Alexander Vargas, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, JOHN ALEXANDER VARGAS,
50.- Trabajos de grado de pregrado : Librería para problemas de optimización lineal entera en Cordial
Desde 1 2001 hasta Enero 2001, Tipo de orientación: Tutor principal
Nombre del estudiante: Aida Liliana Rosero Ruiz, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, AIDA LILIANA ROSERO RUIZ,
51.- Tesis de doctorado : Diseño, Implementación y Corrección de GraPiCO
Desde 8 2000 hasta Agosto 2008, Tipo de orientación: Tutor principal
Nombre del estudiante: Carlos Andrés Tavera, Programa académico: Doctorado En Ingeniería
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
52.- Tesis de doctorado : Nueva propuesta de reconfiguración de redes de distribución de energía eléctrica utilizando programación por restricciones
Desde 1 1999 hasta 2004, Tipo de orientación: Tutor principal
Nombre del estudiante: Gladys Caicedo, Programa académico: Doctorado En Ingeniería
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS,
53.- Trabajos de grado de pregrado : Compilador PiCO-MaPiCO
Desde 1 1999 hasta Enero 1999, Tipo de orientación: Tutor principal
Nombre del estudiante: Néstor Cataño Collazos, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, NESTOR CATANO COLLAZOS,
54.- Trabajos de grado de pregrado : Desarrollo e Implementación de un modelo visual para un lenguaje de programación por restricciones concurrente
Desde 1 1998 hasta Enero 1998, Tipo de orientación: Tutor principal
Nombre del estudiante: Sandra Milena Gil - Luis Raúl Mulato, Programa académico: Ingeniería de Sistemas
Número de páginas: 0, Valoración: Aprobada, Institución: Universidad del Valle - Univalle
Autores: JUAN FRANCISCO DIAZ FRIAS, SANDRA MILENA GIL LUIS RAUL MULATO,

ACTIVIDADES COMO EVALUADOR

Jurado/Comisiones evaluadoras de trabajo de grado
1.- Doctorado : Dynamic Rule-Based Reasoning in Smart Environments
Países Bajos, 2014, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: , Nombre del orientado:
Programa académico: PhD in Computer Science, Institución: University Of Groningen.
Autores: JORGE ANDRES PEREZ PARRA,
2.- Doctorado : Répresentations Symbolliques Musicales et calcul Spatial
Francia, 2013, Idioma: Francés, Medio de divulgación: Papel
Sitio web: http://medias.ircam.fr/x1f301e, Nombre del orientado: Louis Bigo
Programa académico: Faculté de Sciences et Technologie, Institución: Université Paris-Est.
Autores: CAMILO RUEDA CALDERON,
3.- Doctorado : Structured interactive scores: From a structured description of a multimedia scenario to real-time capable implemention with formal semantics
Francia, 2012, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: http://www.labri.fr/perso/mtoro/research.htm, Nombre del orientado: Mauricio Toro
Programa académico: computer science, Institución: Universite De Bordeaux I.
Autores: CAMILO RUEDA CALDERON,
4.- Doctorado : QoS-CARE: A Reliable System for Preserving QoS Contracts through Dynamic Reconfiguration
Colombia, 2012, Idioma: Español, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Gabriel Tamura
Programa académico: Doctorado en Ingeniería, Institución: Universidad De Los Andes - Uniandes.
Autores: JUAN FRANCISCO DIAZ FRIAS,
5.- Doctorado : A PREDICATE-CALCULUS BASED FRAMEWORK FOR SOCIAL NETWORKING
Portugal, 2012, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: http://hci.uma.pt/~sorren/SorrenHanvey/CV.html, Nombre del orientado: Sorren Hanvey
Programa académico: computer science, Institución: Universidad de Madeira.
Autores: CAMILO RUEDA CALDERON,
6.- Maestría : JML-Based Formal Development of a Social Network Core Application
Colombia, 2012, Idioma: Español, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Juan Carlos Martinez
Programa académico: Maestría en Ingeniería, Institución: Pontificia Universidad Javeriana - Cali.
Autores: NESTOR CATANO COLLAZOS,
7.- Maestría : SocialNet: A Software Development Methodology for Social Networks
Colombia, 2012, Idioma: Español, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Flor Angela Zurita
Programa académico: Maestría en Ingeniería, Institución: Pontificia Universidad Javeriana - Cali.
Autores: NESTOR CATANO COLLAZOS,
8.- Doctorado : Citocomputación: una plataforma computacional inspirada en modelos biomoleculares
Colombia, 2011, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Jaime Alberto Parra
Programa académico: Ciencias de La Computación, Institución: Universidad del Valle - Univalle.
Autores: CAMILO RUEDA CALDERON,
9.- Maestría : A JML-Based Strategy for Incorporating Formal Specifications into the Software Development Process
Portugal, 2010, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Joao Pestana
Programa académico: Engineering Department, Institución: The University of Madeira.
Autores: NESTOR CATANO COLLAZOS,
10.- Doctorado : Fine-Grained Configuration and Derivation of Moldel-Driven Software Product Lines
Colombia, 2009, Idioma: Español, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Hugo Fernando ARBOLEDA JIMENEZ
Programa académico: Doctorado en Ingeniería, Institución: Universidad De Los Andes - Uniandes.
Autores: JUAN FRANCISCO DIAZ FRIAS,
11.- Doctorado : Computational Approach of Musical Orchestration: Constrained Multiobjective Optimization in Large Sound Databases
Francia, 2008, Idioma: Inglés, Medio de divulgación: Papel
Sitio web: http://www.gregoirecarpentier.net/research/phd.php, Nombre del orientado: Gregoire Carpentier
Programa académico: informatique, Institución: Universite De Paris Vi (Pierre Et Marie Curie).
Autores: CAMILO RUEDA CALDERON,
12.- Doctorado : Formal Models of Timed Musical Processes
Colombia, 2008, Idioma: Inglés, Medio de divulgación:
Sitio web: , Nombre del orientado: Gerardo Sarria
Programa académico: Programa de Doctorado, Institución: Universidad del Valle - Univalle.
Autores: FRANK VALENCIA, CARLOS AGON, GERARD ASSAYAG,

Participación en comités de evaluación
1.- Otra : Comisión de pares evaluadores - acreditación CNA
Colombia, 2012, Sitio web:
Medio de divulgación: Papel, Institución: Universidad Cooperativa De Colombia
Autores: JUAN FRANCISCO DIAZ FRIAS, LEONARDO EMILIO YUNDA PERLAZA,
2.- Otra : Comisión de pares evaluadores - acreditación CNA
Colombia, 2010, Sitio web:
Medio de divulgación: Papel, Institución: Universidad De Nariño
Autores: JUAN FRANCISCO DIAZ FRIAS, JOSE TIBERIO HERNANDEZ VILLARRREAL,
3.- Otra : Comisión de pares evaluadores - acreditación CNA
Colombia, 2008, Sitio web:
Medio de divulgación: , Institución: Consejo Nacional De Acreditación
Autores: JUAN FRANCISCO DIAZ FRIAS, JAIME CAMPO,

Demás trabajos

Proyectos
1.- Extensión y responsabilidad social CTI: XRI, versión estable de aritmética intervalar para mOzArt
2.- Investigación y desarrollo: Estrategias computacionales de optimización en problemas con restricciones espaciales aplicadas a la planeación de cosechas forestales
2016/10 - Actual
3.- Investigación, desarrollo e innovación: MUSICAL - Music and Spatial Interaction with Constraints, Algebra and Logic: foundations and applications
2014/4 - 2016/9
4.- Investigación y desarrollo: STARTUP SABIO: Aceleración
2014/4 - 2014/8
5.- Investigación y desarrollo: Desarrollo de una Herramienta de Gestion del Espectro Radioelectrico Usando Programacion por Restricciones
2011/9 - 2013/4
6.- Investigación y desarrollo: REACT PLUS
2011/8 - 2013/8
7.- Investigación y desarrollo: Aeminium
2011/1 - 2013/Sin mes
8.- Investigación y desarrollo: INTERFACES: Certified Interfaces for Integrity and Security of Extensible Web Applications
2010/1 - Actual
9.- Investigación y desarrollo: Favas: A Formal Verification Platform for Real-Time Systems
2010/1 - 2013/Sin mes
10.- Investigación y desarrollo: WESP
2009/10 - 2013/Sin mes
11.- Investigación y desarrollo: Constraint Programming for combinatorial problems
2009/1 - 2009/Sin mes
12.- Investigación y desarrollo: FORCES (FORmalisms from Concurrency for Emergent Systems)
2007/1 - 2010/Sin mes
13.- Investigación, desarrollo e innovación: Geoz-2
2007/1 - 2008/6
14.- Investigación y desarrollo: REACT (Robust theories for Emerging Applications in Concurrency Theory)
2006/1 - 2009/Sin mes
15.- Investigación, desarrollo e innovación: CREAR: Consejero para la repartición de artículos
2004/1 - 2005/Sin mes
16.- Investigación y desarrollo: modelamiento de procesos musicales
2003/1 - 2005/Sin mes
17.- Investigación y desarrollo: Modelamiento de problemas reales en ciencia y tecnología cálculos de procesos
2003/1 - 2006/Sin mes
18.- Investigación y desarrollo: Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones
2002/1 - 2004/12
19.- Investigación y desarrollo: CRISOL:Laboratorio de Tecnologías de Programación por Restricciones para el PTSC
2002/1 - 2005/1
20.- Investigación, desarrollo e innovación: Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá
2000/1 - 2000/12
21.- Investigación y desarrollo: PATHOS: Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones
2000/1 - 2004/12
22.- Investigación y desarrollo: Contraintes en OM
1998/1 - 2010/Sin mes
23.- Investigación y desarrollo: formalismos de concurrencia para ayuda a la composición musical
1998/1 - 2002/Sin mes
24.- Investigación y desarrollo: Avispa: Integración de paradigmas orientado objetos y satisfacción de restricciones en un ambiente visual
1996/1 - 1998/Sin mes