JESUS A. ARANDA B.
JESUS A. ARANDA B.
Verified email at correounivalle.edu.co
Title
Cited by
Cited by
Year
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
262009
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
212009
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
212008
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
162007
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
162006
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
72008
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
62012
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
52004
On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus
J Aranda
Ecole Polytechnique X; Universidad del Valle, 2009
32009
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
32004
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
22021
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
22011
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
12014
Modelando Sistemas de Membranas en ntcc
A Villota, J Aranda, DJ Francisco
XXXV Latin American Informatics Conference, 2009
12009
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
12007
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
The system can't perform the operation now. Try again later.
Articles 1–20