Journal Articles (ARE)

Books (LLI)

Book Chapters (CAP)

Manuals (MAN)

Gregory S, Ramirez R. Tempo: a Declarative Concurrent Programming Language. MIT Press; 1995.
Hazan A, Ramirez R, Maestre E, Perez A, Pertusa A. Modelling Expressive Performance: a Regression Tree Approach Based on Strongly Typed Genetic Programming. Springer-Verlag; 2006.
Ramirez R. A coordination model for real-time programming. Springer-Verlag; 1999.
Ramirez R. Concurrent and Distributed Programming Using Constraint Logic Programs. ACM Press; 2004.
Ramirez R. Inductive Logic Programming and Music. ICMA Press; 2004.
Ramirez R. Learning Sets of Musical Rules. ICMA Press; 2003.
Ramirez R. constraint-based methodology for coordination in multi-agent systems. 2002.
Ramirez R. Declarative Concurrent Object-Oriented Programming in Tempo++. 1995.
Ramirez R. Nets, Logic and Object-Oriented Programming. 1995.
Ramírez R. A Concurrent Object-Oriented Real-Time Programming Language. 1998.
Ramirez R. Precedence Constraints in Tempo. 1995.
Ramirez R. Time, Communication and Synchronisation in an Agent-Based Programming Language. IEEE Press; 1998.
Ramirez R. Concurrent Object-Oriented Programming in Tempo++. Springer-Verlag; 1996.
Ramirez R. A logic-based concurrent object-oriented programming language . 1996.
Ramirez R. Inductive Logic Programming for Learning Musical Rules. 2003.
Ramirez R. Inducing Musical Rules with ILP. Springer-Verlag; 2003.
Ramirez R. Representing and executing real-time systems. Springer-Verlag; 1998.
Ramirez R. A logical approach for specification and execution of concurrent real-time systems. IEEE Press; 1997.
Ramirez R. Towards declarative concurrent real-time programming. Springer-Verlag; 1997.
Ramirez R, Hazan A. Learning Expressive Performance Rules in Jazz. ICMA Press; 2004.
Ramirez R, Hazan A. Rule induction for expressive music performance modeling. 2004.
Ramirez R, Hazan A. Modeling Expressive Music Performance in Jazz. AAAI Press; 2005.
Ramirez R, Hazan A. A Learning Scheme for Generating Expressive Music Performances of Jazz Standards. 2005.
Ramirez R, Hazan A. An Approach to Expressive Music Performance Modeling. 2005.
Ramirez R, Hazan A. Understanding Expressive Music Performance Using Genetic Algorithms. Springer-Verlag; 2005.
Ramirez R, Hazan A, Gomez E, Maestre E. Understanding Expressive Transformations in Saxophone Jazz Performances Using Inductive Machine Learning. 2004.
Ramirez R, Hazan A, Gomez E, Maestre E. A Machine Learning Approach to Expressive Performance in Jazz Standards. 2004.
Ramirez R, Hazan A, Maestre E. Intra-note Features Prediction Model for Jazz Saxophone Performance. 2005.
Ramirez R, Hazan A, Maestre E. A Sequential Covering Evolutionary Algorithm for Expressive Music Performance. AAAI Press; 2006.
Ramirez R, Hazan A, Maestre E, Serra X. A Data Mining Approach to Expressive Music Performance Modeling. Springer; 2006.
Ramirez R, Hazan A, Maestre E, Serra X. Evolutionary Expressive Music Performance Modeling. Springer; 2006.
Ramirez R, Martinez J, Santosa A. Constraint-based Synchronization and Verification of Distributed Java Programs. ACM Press; 2004.
Ramirez R, Martinez J, Santosa A. Constraint-based Concurrent and Distributed programming in Java. 2004.
Ramirez R, Martinez J, Santosa A. Model Checking Constraint-based Concurrent Java Programs. 2004.
Ramirez R, Martinez J, Santosa A. Poster Presentation: Constraint-based Synchronization and Verification of Distributed Java Programs. Springer-Verlag; 2004.
Ramirez R, Martinez J, Santosa A. The Implementation of a Constraint-based Distributed Java Programming Framework. ISCA Press; 2004.
Ramirez R, Peralta J. A constraint-based melody harmonizer. 1998.
Ramirez R, Santosa A. A Methodology for Reliable Concurrent Programming. Chillarege Press; 2002.
Ramirez R, Santosa A. A Methodology for Concurrent and Distributed Java Applications. IEEE Computer Society Press; 2003.
Ramirez R, Santosa A. Event Logic Programming. Springer-Verlag; 2001.
Ramirez R, Santosa A. Declarative concurrency in Java. Springer-Verlag; 2000.
Ramirez R, Santosa A. A Declarative Approach to Concurrency in Java. 2000.
Ramirez R, Santosa A. Distributed Programming Using Constraint Logic Programs. CSREA Press; 2002.
Ramirez R, Santosa A. Formal Verification of Concurrent and Distributed Constraint-based Java Programs. IEEE Press; 2005.
Ramirez R, Santosa A. An Aspect-Oriented Framework for Concurrent Applications. 2003.
Ramirez R, Santosa A, Wei Hong L. Implementing declarative concurrency in Java. Springer-Verlag; 2000.
Ramirez R, Santosa A, Yap R. Concurrent programming made easy. IEEE Press; 2000.

Conference proceedings (ACT)