Jesus Aranda-Bueno 个人学术档案

引用次数

	总计	2019 年至今
引用	141	28
h 指数	6	4
i10 指数	5	0

20062007200820092010201120122013201420152016201720182019202020212022202320241 2 5 15 13 10 4 12 4 16 7 6 15 9 5 8 6

开放获取的出版物数量

查看全部

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Frank D. ValenciaCNRS, École Polytechnique de Paris在 lix.polytechnique.fr 的电子邮件经过验证
James OrtizResearcher Universiity of Namur在 unamur.be 的电子邮件经过验证
Jorge A. PérezAssociate Professor, University of Groningen在 rug.nl 的电子邮件经过验证
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))在 univ-cotedazur.fr 的电子邮件经过验证
Juan Francisco Diaz FriasProfesor titular, Escuela de Ingeniería de Sistemas y Computación, Universidad del Valle在 correounivalle.edu.co 的电子邮件经过验证
Diletta Romana CacciagranoUniversity of Camerino在 unicam.it 的电子邮件经过验证
Flavio CorradiniProfessore di Informatica, Università di Camerino在 unicam.it 的电子邮件经过验证
Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Carlos OlarteAssociate Professor at Université Sorbonne Paris Nord在 lipn.univ-paris13.fr 的电子邮件经过验证
Gérard AssayagIRCAM在 ircam.fr 的电子邮件经过验证
Mauricio Toro - https://orcid.org/0000-0...Full Professor at Universidad EAFIT在 eafit.edu.co 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Gilles PerrouinUniversity of Namur & Fonds National de la Recherche Scientifique (FNRS)在 unamur.be 的电子邮件经过验证
Carlos Alberto Ramirez RestrepoPontificia Universidad Javeriana Cali在 javerianacali.edu.co 的电子邮件经过验证
Liliana Machuca-VillegasProfesora Asistente Escuela de Ingeniería de Sistemas y Computación, Universidad del Valle, Colombia在 correounivalle.edu.co 的电子邮件经过验证
Carlos Mauricio Gaona CuevasProfesor ingeniería de software在 correounivalle.edu.co 的电子邮件经过验证
Angela Villota-GomezProfessor of Computer Science, Uniersidad Icesi - PhD student, Université Paris 1 Pantheón Sorbonne在 icesi.edu.co 的电子邮件经过验证
VICTOR ANDRES BUCHELI GUERRE...Universidad del Valle在 correounivalle.edu.co 的电子邮件经过验证
Robinson DuqueProfesor Asistente, Universidad del Valle在 correounivalle.edu.co 的电子邮件经过验证

关注

Jesus Aranda-Bueno

Lecturer, Universidad del Valle

在 correounivalle.edu.co 的电子邮件经过验证

Concurrency Theory Constraint Programming Artificial Intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	28	2009
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 Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009	27	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
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
CCS with replication in the chomsky hierarchy: The expressive power of divergence J Aranda, C Di Giusto, M Nielsen, FD Valencia Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007	15	2007
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	8	2008
Formal Verification of a Mechanical Ventilator Using UPPAAL J Cuartas, D Cortés, JS Betancourt, J Aranda, JI García, AM Valencia, ... Proceedings of the 9th ACM SIGPLAN International Workshop on Formal …, 2023	4	2023
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL J Cuartas, J Aranda, M Cordy, J Ortiz, G Perrouin, PY Schobbens 2023 IEEE International Conference on Software Testing, Verification and …, 2023	4	2023
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	4	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
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	2	2014
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	2	2012
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
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	1	2007
Time for Networks: Mutation Testing for Timed Automata Networks D Cortés, J Ortiz, D Basile, J Aranda, G Perrouin, PY Schobbens Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024		2024
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks J Aranda, S Betancourt, JF Díaz, F Valencia 35th International Conference on Concurrency Theory (CONCUR 2024), 2024		2024
Fairness and Consensus in a Gossip Model of Social Networks JS Betancourt, J Aranda, JF Díaz, F Valencia arXiv preprint arXiv:2312.12251, 2023		2023
Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems J Betancourt, J Ortiz, J Aranda Ingeniería y Competitividad 25 (Suplemento), 2023		2023

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用