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
172007
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
172006
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 Ortiz
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
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
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
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, 2020
2020
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
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
CA Ramírez Restrepo, JA Pérez, J Aranda, J Francisco Díaz-Frias
arXiv e-prints, arXiv: 1404.0085, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20