 |
|
|
|
| Papers |
|
Papers (co-)authored by Carlos Olarte
| [1] |
Diana Hermith, Carlos Olarte, Camilo Rueda, and Frank D. Valencia.
Modeling Cellular Signaling Systems: An Abstraction-Refinement
Approach.
In Miguel P. Rocha, Juan M. Corchado Rodriguez, Florentino
Fdez-Riverola, and Alfonso Valencia, editors, PACBB, volume 93 of
Advances in Intelligent and Soft Computing, pages 321-328, Salamanca,
Spain, 2011. Springer. [ bib | http ] |
| [2] |
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi.
Compositional modelling of signalling pathways in timed concurrent
constraint programming.
In First ACM International Conference on Bioinformatics and
Computational Biology (BCB 2010), pages 414-417, Niagara Falls, New York,
USA, 2010. ACM Digital Libraries. [ bib | http ] |
| [3] |
Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi.
A framework for abstract interpretation of timed concurrent
constraint programs.
In António Porto and Francisco Javier López-Fraguas, editors,
Proceedings of the 11th International ACM SIGPLAN Conference on
Principles and Practice of Declarative Programming, PPDP'09, pages 207-218.
ACM, 2009. [ bib | http ] |
| [4] |
Jesus Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo
Rueda, Mauricio Toro, and Frank D. Valencia.
An Overview of FORCES: An INRIA project on
declarative formalisms for emergent systems.
In Patricia M. Hill and David Scott Warren, editors, Proceeding
of the 25th International Conference, ICLP'09, volume 5649 of Lectures
Notes in Computer Science, pages 509-513. Springer, 2009. [ bib | http ] |
| [5] |
Carlos Olarte, Camilo Rueda, and Frank D. Valencia.
Concurrent Constraint Programming: a declarative paradigm for
modeling music systems.
In Gérard Assayag and Andrew Gerzso, editors, New
Computational Paradigms for Computer Music, pages 400-402, Paris, France,
2009. Delatour France / Ircam-Centre Pompidou. [ bib | http ] |
| [6] |
Carlos Olarte and Camilo Rueda.
A declarative language for dynamic multimedia interaction systems.
In Elaine Chew, Adrian Childs, and Hing-Hua Chuan, editors,
Proceedings of the Second International Conference on Mathematics and
Computation in Music (MCM), volume 38 of Communications in Computer and
Information Science, pages 218-227. Springer, 2009. [ bib | http ] |
| [7] |
Hugo López, Carlos Olarte, and Jorge A. Pérez.
Towards a unified framework for declarative structured
communications.
In Alastair R. Beresford and Simon Gay, editors, Proceedings of
the workshop on Programming Language Approaches to Concurrency and
Communication-cEntric Software (PLACES), volume 17 of Electronic
Proceedings in Theoretical Computer Science (EPTCS), pages 1-15, 2009. [ bib | http ] |
| [8] |
Carlos Olarte.
Universal Temporal Concurrent Constraint Programming.
PhD thesis, LIX, Ecole Polytechnique, Palaiseau, France, 2009. [ bib | http ] |
| [9] |
Carlos Olarte and Frank D. Valencia.
The expressivity of universal timed ccp: undecidability of monadic
fltl and closure operators for security.
In Sergio Antoy and Elvira Albert, editors, Proceedings of the
10th International ACM SIGPLAN Conference on Principles and Practice of
Declarative Programming, pages 8-19, 2008. [ bib | http ] |
| [10] |
Carlos Olarte and Frank D. Valencia.
Universal concurrent constraint programing: Symbolic semantics and
applications to security.
In Proceedings of the 23rd ACM Symposium on Applied Computing
(SAC), pages 145-150. ACM, 2008.
http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf. [ bib | http | .pdf ] |
| [11] |
Carlos Olarte, Catuscia Palamidessi, and Frank D. Valencia.
Universal timed concurrent constraint programming.
In Verónica Dahl and Ilkka Niemelä, editors, Proceedings
of the 23rd International Conference in Logic Programming (ICLP'07), volume
4670 of Lecture Notes in Computer Science, pages 464-465. Springer,
2007.
http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf. [ bib ] |
| [12] |
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, and Frank D. Valencia.
Declarative diagnosis of temporal concurrent constraint programs.
In Verónica Dahl and Ilkka Niemelä, editors, Proceedings
of The 23rd International Conference in Logic Programming (ICLP'07), volume
4670 of Lecture Notes in Computer Science, pages 271-285. Springer,
2007.
http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07.pdf. [ bib ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi