Seguir
JESUS A. ARANDA B.
JESUS A. ARANDA B.
Dirección de correo verificada de correounivalle.edu.co
Título
Citado por
Citado por
Año
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, CD 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, CD 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
The problem of assigning evaluators to the articles submitted in an academic event: A practical solution incorporating constraint programming and heuristics
BJ Aranda, F 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
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
22014
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
22012
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
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
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
Sobre la decidibilidad de dos fragmentos del p-cálculo asincrónico
B Aranda, A Jesús
Ingeniería y competitividad 15 (2), 137-149, 2013
2013
On decidability properties of two fragments of the asynchronous π-calculus
JA Aranda
Ingeniería y competitividad 15 (2), 137-149, 2013
2013
Modeling the HIV life cycle using the NTCC calculus
GC Micheli, JF Díaz, JA Bueno
2012 7th Colombian Computing Congress (CCC), 1-6, 2012
2012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20