@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2004 papers.bib}}
@INPROCEEDINGS{Rueda:04:ICLP, AUTHOR = {C. Rueda and F. Valencia}, BOOKTITLE = {Proc. of the Nineteenth International Conference on Logic Programming (ICLP 2004)}, EDITOR = {Bart Demoen and Vladimir Lifschitz}, ISBN = {3-540-22671-0}, PAGES = {343--355}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Non-Viability Deductions in Arc-Consistency Computation.}, VOLUME = {3132}, YEAR = {2004} }
@ARTICLE{Rueda:04:SC, AUTHOR = {Camilo Rueda and Frank D. Valencia}, JOURNAL = {Soft Computing}, NUMBER = {9}, PAGES = {641--648}, PUBLISHER = {Springer}, TITLE = {On validity in modelization of musical problems by {CCP}}, VOLUME = {8}, YEAR = {2004} }
@TECHREPORT{Herescu:04:TR, AUTHOR = {Oltea M. Herescu and Catuscia Palamidessi}, INSTITUTION = {INRIA Futurs and LIX}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/report.ps}}, TITLE = {Probabilistic Asynchronous $\pi$-calculus}, YEAR = {2004} }
@INPROCEEDINGS{Giambiagi:04:FOSSACS, AUTHOR = {Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia}, BOOKTITLE = {Proceedings of the 7th International Conference on the Foundations of Software Science and Computation Structures (FOSSACS 2004)}, EDITOR = {Igor Walukiewicz}, ISBN = {3-540-21298-1}, PAGES = {226--240}, PDF = {http://www.brics.dk/~fvalenci/fossacs04.pdf}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi}, VOLUME = {2987}, YEAR = {2004} }
This file has been generated by bibtex2html 1.74