Gerardo M. Sarria M.

Pontificia Universidad JaverianaColombia

Computer Science · Physical Sciences

4h-index62citations15works0.02yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Music and Audio Processing(8), Music Technology and Sound Studies(8), Formal Methods in Verification(3), Model-Driven Software Engineering Techniques(3), Logic, programming, and type systems(2)

Publications15 total

Communications of the ACM·2020
Lecture notes in computer science·2017· 4 cited
Ricercare·2016· 3 citedOpen Access
Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics
2011· 3 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2011· 26 citedOpen Access
Concurrent Constraint Models of Music Interaction
HAL (Le Centre pour la Communication Scientifique Directe)·2011· 1 cited
Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration
2010· 3 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2009· 5 citedOpen Access
HAL (Le Centre pour la Communication Scientifique Directe)·2009· 6 citedOpen Access
Ingeniería y Competitividad·1969· 1 citedOpen Access

Frequent Co-authors

Carlos Arce‐Lopera(4), Camilo Rueda(2), Frank Valencia(2), Carlos Olarte(2), Salim Perchy(2), María Esther Domínguez Mora(2), Mauricio Toro(1), Javier Diaz(1), Brayan Rodríguez(1), Raúl Gutiérrez de Piñérez(1), Camilo Andrés Arevalo(1), Juan-Carlos Martinez-Arias(1), Mauricio Toro(1)