If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
Conference contribution
2019

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
2014
258 Downloads (Pure)

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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Ontology
Logic
Description Logics
Open Source Software
Semantic Web
50 Downloads (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
2013
86 Downloads (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 .

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Information Systems
Orthopedics
Infection
Prosthesis Failure
Knee Prosthesis
86 Downloads (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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
2011
218 Downloads (Pure)

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Clocks
Temporal logic
Real time systems
Semantics
2010

Decidable Distributed Event Clock Automata

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1 Downloads (Pure)

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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Temporal logic
Clocks
Data storage equipment
2006
9 Downloads (Pure)

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
2005
17 Downloads (Pure)

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
2004
79 Downloads (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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File