Artículos
Document Actions
* DELGADO ALBERTO, PÉREZ JORGE ANDRES, PABÓN GUSTAVO, JORDAN RAFAEL, DIAZ JUAN F. AND RUEDA CAMILO. An Interactive tool for the controlled execution of an automated timetabling constraint engine. In Second International Mozart/Oz Conference (MOZ 2004). To appear in Springer-Verlag LNAI series. Charleroi, Belgium, October 2004.
* DIAZ JUAN F, GUTIERREZ GUSTAVO, OLARTE CARLOS ALBERTO AND RUEDA CAMILO. Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. In Second International Mozart/Oz Conference (MOZ 2004). To appear in Springer-Verlag LNAI series. Charleroi, Belgium, October 2004.
* DELGADO ALBERTO, PÉREZ JORGE ANDRES, PABÓN GUSTAVO, JORDAN RAFAEL, DIAZ JUAN F. AND RUEDA CAMILO. Implementing Seimiring-Based Constraints using Mozart. In Second International Mozart/Oz Conference (MOZ 2004). To appear in Springer-Verlag LNAI series. Charleroi, Belgium, October 2004.
* DELGADO ALBERTO, OLARTE CARLOS ALBERTO, PÉREZ JORGE ANDRES AND RUEDA CAMILO. Implementing Seimiring-Based Constraints using a Concurrent Constraint Programming Language. In 6th International Workshop on Preferences and Soft Constraints - Held in conjunction with 10th International Conference on Principles and Practice of Constraint Programming (CP2004). Canada 2004.
* RUEDA CALDERÓN, CAMILO, Díaz Frias, Juan Francisco, García, Catherine, Quesada Ramirez, Luis Omar, CETINA, Sandra. PATHOS: Object oriented concurrent constraint timetabling for real-world cases. In: CLEI2002, 2002, Montevideo. proceedings infoUYCEI. Montevideo: Universidad de la Republica, 2002.
* VALENCIA POSSO, FRANK. Temporal concurrent constraint programming: Denotation, Logic and Applications. In: Formal and natural computing: Essays dedicated to Grzegorz Rozenberg ed.Nueva York : Springer Verlag, 2002
* QUESADA RAMÍREZ, LUIS OMAR, VAN ROY, PETER. A concurrent constraint programming approach for trajectory determination of autonomous vehicles. Lecture Notes in Computer Science. Nueva York: , v.2470, 2002.
* VALENCIA POSSO, FRANK, MOGENS NIELSEN, CATUSCIA PALAMIDESSI, On the expressive power of temporal concurrent constraint programming languages. In: International conference on principles and practice of declarative programming, 2002, Pittsburgh. Proceedings of the International conference on principles and practice of declarative programming PPDP02. Nueva York: ACM press, 2002.
* ASSAYAG , GERARD, HANS FEICHTINGER,, JOSE RODRIGUES, Mathematics and music.1 ed. : springer verlag, 2002 p.288.
* ASSAYAG , GERARD, Agón ., Carlos Object oriented programming in open music In: The topos of music.1 ed. : birkhauser Verlag, 2002
* ASSAYAG , GERARD, S DUBNOV, Universal prediction applied to stylistic music generation In: Mathematics and Music.1 ed.París : Springer Verlag, 2002
* VALENCIA POSSO, FRANK, MOGENS NIELSEN,, CATUSCIA PALAMIDESSI, Temporal Concurrent Constraint Programming: Denotation, logic and Applications. Nordic Journal Of Computing. University of Helsinki: , v.9, n.2, 2002.
* RUEDA CALDERÓN, CAMILO, Valencia Posso, Frank. Proving Musical properties using a temporal concurrent constraint calculus In: ICMC2002, 2002, Goteborg. proceedings of the 2002 international computer music conference. San Francisco, USA: International Computer Music Association (ICMA), 2002. v.28. p.164 - 171
* ASSAYAG , GERARD, O LARTILLOT,, S DUBNOV,, G BEJARANO, Automatic modeling of musical style In: ICMC2001, 2001, La Habana. proceedings of the ICMC2001. San Francisco: ICMA, 2001. v.27.
* ASSAYAG , GERARD, Agón ., Carlos, PHILIPPE CODOGNET,, CHARLOTTE TRUCHET, Visual and adaptive constraint programming in music In: ICMC2001, 2001, La Habana. proceedings of the ICMC2001. San Francisco: ICMA, 2001. v.27.
* VALENCIA POSSO, FRANK Temporal Concurrent constraint programming. Lecture Notes in Computer Science. Nueva York: , v.2239, p.786 - 787, 2001.
* RUEDA CALDERÓN, CAMILO, Valencia Posso, Frank. Formalizing timed musical processes with a temporal concurrent constraint programming calculus. In: International conferences constraint programming and logic programming, 2001, Paphos. workshop proceedings Musicons´01, CP2001. Berlin: Springer Verlag, 2001. p.44 - 51
* VALENCIA POSSO, FRANK, CATUSCIA PALAMIDESSI, A temporal concurrent constraint porogramming calculus. Lecture Notes in Computer Science. Alemania: , v.2239, p.302 - 316, 2001.
* VALENCIA POSSO, FRANK, Rueda Calderón, Camilo, Assayag , Gerard, Álvarez Vargas, Gloria, Tamura Morimitsu, Gabriel, Quesada Ramírez, Luis Omar, Díaz Frias, Juan Francisco Integrating Constraints and concurrent objects in Musical applications: A calculus and its visual language. Constraints Journal. Amsterdam: , v.6, n.1, p.21 - 52, 2001
* VALENCIA POSSO, FRANK, CATUSCIA PALAMIDESSI, MOGENS NIELSEN, A calculus for temporal concurrent constraint programming. In: 8th international workshop on Expressiveness in comcurrency, 2001, Aarhus. Workshop proceedings of the International conference on principles and practice of declarative programming. , 2001.
* ASSAYAG , GERARD, Agón ., Carlos, MARCO STROPPA, High level musical control of sound In: ICMC2000, 2000, Berlín. Proceedings of the ICMC1999. San Francisco: ICMA, 2000. v.26.
* ASSAYAG , GERARD, S DUBNOV, OLIVIER DELERUE, Guessing the composer´s mind: Applying universal prediction to musical style In: ICMC1999, 1999, Beijing. proceedings of the ICMC. San Francisco: ICMA, 1999. v.25.
* ASSAYAG , GERARD computer assisted composition today In: Symposium on Music and Computers, 1998, Corfu. proceedings 1st Symposium on Music and computers. Atenas: ionian university, 1998. p.1 - 12
* Assayag , Gerard, Bloch, Georges, Laurson ., Mikael, RUEDA CALDERÓN, CAMILO. Integrating constraint programming in visual musical composition languages. In: ECAI98 workshop on constraints for artistic applications, 1998, Brighton. proc ECAI98 workshop on constraints for artistic applications. New York: John Wiley & Sons Inc, 1998. p.24 - 35
* Assayag , Gerard, Agón ., Carlos, delerue ., olivier, RUEDA CALDERÓN, CAMILO Objects, time and constraints in openMusic. In: ICMC´98, 1998, Ann Arbor, Michigan. proceedings ICMC 98. San Francisco: international computer music association ICMA, 1998. p.1 - 12
* Assayag, Gerard, Alvarez Vargas, Gloria, Valencia Posso, Frank, Quesada Ramirez, Luis Omar, Díaz Frias, Juan Francisco, RUEDA CALDERÓN, CAMILO PiCO:A Calculus of Concurrent Constraint Objects for Musical Applications In: ECAI98 workshop on constraints techniques for artistic applications, 1998, Brighton. Constraint techniques for artistics applications. New York: John Wiley & Sons Inc, 1998. p.1 - 12
* Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO Improving Forward Checking with delayed evaluation. In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad Federico Santamaría, 1997. p.97 - 106
* Díaz Frias, Juan Francisco, Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO pi+ calculus: An extension of the pi calculus to handle constraints. In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad federico Santa María, 1997. v.23. p.749 - 758
* Tamura Morimitsu, Gabriel, Quesada Ramirez, Luis Omar, RUEDA CALDERÓN, CAMILO The visual model of Cordial In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad Federico Santamaría, 1997. p.643 - 652
* Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO Uso de deducciones de no viabilidad en el cálculo de Arco-Consistencia In: CLEI1996, 1996, Bogotá. proc CLEI96. Bogotá: Universidad de Los Andes, 1996. p.929 - 940
* DIAZ JUAN F, GUTIERREZ GUSTAVO, OLARTE CARLOS ALBERTO AND RUEDA CAMILO. Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. In Second International Mozart/Oz Conference (MOZ 2004). To appear in Springer-Verlag LNAI series. Charleroi, Belgium, October 2004.
* DELGADO ALBERTO, PÉREZ JORGE ANDRES, PABÓN GUSTAVO, JORDAN RAFAEL, DIAZ JUAN F. AND RUEDA CAMILO. Implementing Seimiring-Based Constraints using Mozart. In Second International Mozart/Oz Conference (MOZ 2004). To appear in Springer-Verlag LNAI series. Charleroi, Belgium, October 2004.
* DELGADO ALBERTO, OLARTE CARLOS ALBERTO, PÉREZ JORGE ANDRES AND RUEDA CAMILO. Implementing Seimiring-Based Constraints using a Concurrent Constraint Programming Language. In 6th International Workshop on Preferences and Soft Constraints - Held in conjunction with 10th International Conference on Principles and Practice of Constraint Programming (CP2004). Canada 2004.
* RUEDA CALDERÓN, CAMILO, Díaz Frias, Juan Francisco, García, Catherine, Quesada Ramirez, Luis Omar, CETINA, Sandra. PATHOS: Object oriented concurrent constraint timetabling for real-world cases. In: CLEI2002, 2002, Montevideo. proceedings infoUYCEI. Montevideo: Universidad de la Republica, 2002.
* VALENCIA POSSO, FRANK. Temporal concurrent constraint programming: Denotation, Logic and Applications. In: Formal and natural computing: Essays dedicated to Grzegorz Rozenberg ed.Nueva York : Springer Verlag, 2002
* QUESADA RAMÍREZ, LUIS OMAR, VAN ROY, PETER. A concurrent constraint programming approach for trajectory determination of autonomous vehicles. Lecture Notes in Computer Science. Nueva York: , v.2470, 2002.
* VALENCIA POSSO, FRANK, MOGENS NIELSEN, CATUSCIA PALAMIDESSI, On the expressive power of temporal concurrent constraint programming languages. In: International conference on principles and practice of declarative programming, 2002, Pittsburgh. Proceedings of the International conference on principles and practice of declarative programming PPDP02. Nueva York: ACM press, 2002.
* ASSAYAG , GERARD, HANS FEICHTINGER,, JOSE RODRIGUES, Mathematics and music.1 ed. : springer verlag, 2002 p.288.
* ASSAYAG , GERARD, Agón ., Carlos Object oriented programming in open music In: The topos of music.1 ed. : birkhauser Verlag, 2002
* ASSAYAG , GERARD, S DUBNOV, Universal prediction applied to stylistic music generation In: Mathematics and Music.1 ed.París : Springer Verlag, 2002
* VALENCIA POSSO, FRANK, MOGENS NIELSEN,, CATUSCIA PALAMIDESSI, Temporal Concurrent Constraint Programming: Denotation, logic and Applications. Nordic Journal Of Computing. University of Helsinki: , v.9, n.2, 2002.
* RUEDA CALDERÓN, CAMILO, Valencia Posso, Frank. Proving Musical properties using a temporal concurrent constraint calculus In: ICMC2002, 2002, Goteborg. proceedings of the 2002 international computer music conference. San Francisco, USA: International Computer Music Association (ICMA), 2002. v.28. p.164 - 171
* ASSAYAG , GERARD, O LARTILLOT,, S DUBNOV,, G BEJARANO, Automatic modeling of musical style In: ICMC2001, 2001, La Habana. proceedings of the ICMC2001. San Francisco: ICMA, 2001. v.27.
* ASSAYAG , GERARD, Agón ., Carlos, PHILIPPE CODOGNET,, CHARLOTTE TRUCHET, Visual and adaptive constraint programming in music In: ICMC2001, 2001, La Habana. proceedings of the ICMC2001. San Francisco: ICMA, 2001. v.27.
* VALENCIA POSSO, FRANK Temporal Concurrent constraint programming. Lecture Notes in Computer Science. Nueva York: , v.2239, p.786 - 787, 2001.
* RUEDA CALDERÓN, CAMILO, Valencia Posso, Frank. Formalizing timed musical processes with a temporal concurrent constraint programming calculus. In: International conferences constraint programming and logic programming, 2001, Paphos. workshop proceedings Musicons´01, CP2001. Berlin: Springer Verlag, 2001. p.44 - 51
* VALENCIA POSSO, FRANK, CATUSCIA PALAMIDESSI, A temporal concurrent constraint porogramming calculus. Lecture Notes in Computer Science. Alemania: , v.2239, p.302 - 316, 2001.
* VALENCIA POSSO, FRANK, Rueda Calderón, Camilo, Assayag , Gerard, Álvarez Vargas, Gloria, Tamura Morimitsu, Gabriel, Quesada Ramírez, Luis Omar, Díaz Frias, Juan Francisco Integrating Constraints and concurrent objects in Musical applications: A calculus and its visual language. Constraints Journal. Amsterdam: , v.6, n.1, p.21 - 52, 2001
* VALENCIA POSSO, FRANK, CATUSCIA PALAMIDESSI, MOGENS NIELSEN, A calculus for temporal concurrent constraint programming. In: 8th international workshop on Expressiveness in comcurrency, 2001, Aarhus. Workshop proceedings of the International conference on principles and practice of declarative programming. , 2001.
* ASSAYAG , GERARD, Agón ., Carlos, MARCO STROPPA, High level musical control of sound In: ICMC2000, 2000, Berlín. Proceedings of the ICMC1999. San Francisco: ICMA, 2000. v.26.
* ASSAYAG , GERARD, S DUBNOV, OLIVIER DELERUE, Guessing the composer´s mind: Applying universal prediction to musical style In: ICMC1999, 1999, Beijing. proceedings of the ICMC. San Francisco: ICMA, 1999. v.25.
* ASSAYAG , GERARD computer assisted composition today In: Symposium on Music and Computers, 1998, Corfu. proceedings 1st Symposium on Music and computers. Atenas: ionian university, 1998. p.1 - 12
* Assayag , Gerard, Bloch, Georges, Laurson ., Mikael, RUEDA CALDERÓN, CAMILO. Integrating constraint programming in visual musical composition languages. In: ECAI98 workshop on constraints for artistic applications, 1998, Brighton. proc ECAI98 workshop on constraints for artistic applications. New York: John Wiley & Sons Inc, 1998. p.24 - 35
* Assayag , Gerard, Agón ., Carlos, delerue ., olivier, RUEDA CALDERÓN, CAMILO Objects, time and constraints in openMusic. In: ICMC´98, 1998, Ann Arbor, Michigan. proceedings ICMC 98. San Francisco: international computer music association ICMA, 1998. p.1 - 12
* Assayag, Gerard, Alvarez Vargas, Gloria, Valencia Posso, Frank, Quesada Ramirez, Luis Omar, Díaz Frias, Juan Francisco, RUEDA CALDERÓN, CAMILO PiCO:A Calculus of Concurrent Constraint Objects for Musical Applications In: ECAI98 workshop on constraints techniques for artistic applications, 1998, Brighton. Constraint techniques for artistics applications. New York: John Wiley & Sons Inc, 1998. p.1 - 12
* Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO Improving Forward Checking with delayed evaluation. In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad Federico Santamaría, 1997. p.97 - 106
* Díaz Frias, Juan Francisco, Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO pi+ calculus: An extension of the pi calculus to handle constraints. In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad federico Santa María, 1997. v.23. p.749 - 758
* Tamura Morimitsu, Gabriel, Quesada Ramirez, Luis Omar, RUEDA CALDERÓN, CAMILO The visual model of Cordial In: CLEI97, 1997, Valparaíso. proc CLEI97. Valparaiso: Universidad Federico Santamaría, 1997. p.643 - 652
* Valencia Posso, Frank, RUEDA CALDERÓN, CAMILO Uso de deducciones de no viabilidad en el cálculo de Arco-Consistencia In: CLEI1996, 1996, Bogotá. proc CLEI96. Bogotá: Universidad de Los Andes, 1996. p.929 - 940