Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

2004

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Dans : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
13 Téléchargements (Pure)

El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Solución Usando Programación por Restricciones.

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Conferencia Latinoamericana en Informática. Lima, Perù, p. 684-695 17 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
88 Téléchargements (Pure)
2005

The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

Ortiz Vega, J. J., Aranda, J. & Diaz, J. F., 2005, Multiparadigm Programming in Mozart/OZ. Charleroi, Belgium: Springer, Vol 3389. p. 305-316 12 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
18 Téléchargements (Pure)
2006

Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones

Ortiz Vega, J. J., Aranda, J. & Moreno, P., 2006, The 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006. 14 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
10 Téléchargements (Pure)
2010

Decidable Distributed Event Clock Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 2010, (Non publié) Moves-Verif Workshop at ASE2010. 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Memory Event Clocks

Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
2 Téléchargements (Pure)
2011

Distributed Event Clock Automata: Extended abstract

Ortiz Vega, J., Legay, A. & Schobbens, P-Y., 2011, CIAA 2011: 16th International Conference on Implementation and Application of Automata . Bouchou-Markhoff, B. (Ed.). Heidelberg: Springer, Vol 6807. p. 250-263 14 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
229 Téléchargements (Pure)

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Résultats de recherche: Autre contribution

File
15 Téléchargements (Pure)
2012

Integrated Information System for Multi-criteria Management of Orthopedic Infections

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2012. 1 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Accès ouvert
File
40 Téléchargements (Pure)
2013

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

File
46 Téléchargements (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 nov. 2013, Mobile and Information Technologies in Medicine and Health 2013 .

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
87 Téléchargements (Pure)

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 sept. 2013, Dans : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Résultats de recherche: Contribution à un journal/une revueArticle

File
24 Téléchargements (Pure)

ORTHOGEN: Système d'Information Intégré pour la Traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de Décision. Paris, p. 312-328 16 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
95 Téléchargements (Pure)
2014

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8842).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
270 Téléchargements (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 avr. 2014, Open problems in real-time computing. 2 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
51 Téléchargements (Pure)
2017

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10227 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
File
20 Téléchargements (Pure)
2018

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 août 2018, p. 325-332. 8 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
File
21 Téléchargements (Pure)
2019

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque