| An overview of FORCES: an INRIA project on declarative formalisms for emergent systems J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia International Conference on Logic Programming, 509-513, 2009 | 26 | 2009 |
| On the expressive power of restriction and priorities in ccs with replication J Aranda, FD Valencia, C Versari International Conference on Foundations of Software Science and …, 2009 | 21 | 2009 |
| Linearity, persistence and testing semantics in the asynchronous pi-calculus D Cacciagrano, F Corradini, J Aranda, FD Valencia Electronic Notes in Theoretical Computer Science 194 (2), 59-84, 2008 | 21 | 2008 |
| CCS with replication in the chomsky hierarchy: The expressive power of divergence J Aranda, C Di Giusto, M Nielsen, FD Valencia Asian Symposium on Programming Languages and Systems, 383-398, 2007 | 16 | 2007 |
| On recursion, replication and scope mechanisms in process calculi J Aranda, C Di Giusto, C Palamidessi, FD Valencia International Symposium on Formal Methods for Components and Objects, 185-206, 2006 | 16 | 2006 |
| Stochastic behavior and explicit discrete time in concurrent constraint programming J Aranda, JA Pérez, C Rueda, FD Valencia International Conference on Logic Programming, 682-686, 2008 | 7 | 2008 |
| Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™ HGS Osorio, HJR Romero, LEM Villegas, JAA Bueno Revista Educación en Ingenieria 7 (14), 82-91, 2012 | 6 | 2012 |
| The problem of assigning evaluators to the articles submitted in an academic event: A practical solution incorporating constraint programming and heuristics BJ Aranda, FJF Díaz, VJ Ortíz International Conference on Multiparadigm Programming in Mozart/OZ, 305-316, 2004 | 5 | 2004 |
| On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus J Aranda Ecole Polytechnique X; Universidad del Valle, 2009 | 3 | 2009 |
| CREAR: Consejero para la Repartición de Artículo y Evaluadores en Eventos Académicos JA Aranda, JFD Frias, JJ Ortíz Ingeniería y Competitividad 6 (1), 53-62, 2004 | 3 | 2004 |
| Sex‐specific behavioral and neurogenic responses to cocaine in mice lacking and blocking dopamine D1 or dopamine D2 receptors P Rivera, J Aranda, F Alén, A Vargas, A Serrano, FJ Pavón, L Orio, ... Journal of Comparative Neurology 529 (8), 1724-1742, 2021 | 2 | 2021 |
| A fine-grained document-based access control model L Rosero, J Aranda, M Riguidel, D Gidoin International Journal of Machine Learning and Computing 1 (3), 317, 2011 | 2 | 2011 |
| Towards formal interaction-based models of grid computing infrastructures CAR Restrepo, JA Pérez, J Aranda, JF Díaz-Frias arXiv preprint arXiv:1404.0085, 2014 | 1 | 2014 |
| Modelando Sistemas de Membranas en ntcc A Villota, J Aranda, DJ Francisco XXXV Latin American Informatics Conference, 2009 | 1 | 2009 |
| On the Expressiveness of CCS with Replication J Aranda, C Di Giusto, M Nielsen, F Valencia TECHNICAL REPORT, LIX ECOLE POLYTECHNIQUE (2007), URL WWW. CS. UNIBO. IT …, 2007 | 1 | 2007 |
| Evaluation of neurotrophic factors and education level as predictors of cognitive decline in alcohol use disorder N Requena-Ocaña, P Araos, M Flores, N García-Marchena, D Silva-Peña, ... Scientific Reports 11 (1), 1-14, 2021 | | 2021 |
| Sudden Cessation of Fluoxetine Before Alcohol Drinking Reinstatement Alters Microglial Morphology and TLR4/inflammatory Neuroadaptation in the Rat Brain J Aranda, M del Mar Fernández-Arjona, F Alén, P Rivera, L Rubio, ... | | 2021 |
| Analysis of Both Lipid Metabolism and Endocannabinoid Signaling Reveals a New Role for Hypothalamic Astrocytes in Maternal Caloric Restriction-Induced Perinatal Programming R Tovar, A Vargas, J Aranda, L Sánchez-Salido, L González-González, ... International Journal of Molecular Sciences 22 (12), 6292, 2021 | | 2021 |
| Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model R Duque, V Bucheli, JA Aranda, JF Díaz Colombian Conference on Computing, 355-370, 2018 | | 2018 |
| Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model JF Dıaz Advances in Computing: 13th Colombian Conference, CCC 2018, Cartagena …, 2018 | | 2018 |
Frank D. ValenciaCNRS, École Polytechnique de Paris & Pontificia Universidad Javeriana CaliVerified email at lix.polytechnique.fr
