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

Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 4 Profils similaires
Clocks Ingénierie et Science des Matériaux
Temporal logic Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Taxonomies Ingénierie et Science des Matériaux
Information Systems Médecine et sciences de la vie
Orthopedics Médecine et sciences de la vie
Ontology Ingénierie et Science des Matériaux
Logic mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1999 2015

Résultat de recherche 2004 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 9 p.

Résultats de recherche: Contribution à une conférenceArticle

Accès ouvert
!!File
Taxonomies
Testing
Specifications
Costs

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionChapitre (revu par des pairs)

Accès ouvert
!!File
Real time systems
Clocks
Computability and decidability
Explosions

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
Ontology
Logic
Description Logics
Open Source Software
Semantic Web

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

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

Activités 2009 2017

  • 9 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 1 Présentation orale

NASA Formal Methods Symposium

Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Participation à une conférence, un congrès

NASA Formal Methods Symposium

Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Présentation orale

Scade Academic Community Conference

Ortiz Vega, J. J. (Participant)
8 sept. 20169 sept. 2016

Activité: Participation à une conférence, un congrès

Open problems in real-time computing

Ortiz Vega, J. J. (Conférencier)
4 avr. 2014

Activité: Participation à un atelier/workshop, un séminaire, un cours

Mobile and Information Technologies in Medicine and Health 2013

Ortiz Vega, J. J. (Conférencier)
20 nov. 2013

Activité: Participation à une conférence, un congrès

Thèse

ArThUR: Un outil d'aide à la manipulation d'ontologies et de la logique de Markov

Auteur: Bodart, A. & Evrard, K., 29 août 2014

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Création d'un Outil Interactif d'Analyse de Données Patients

Auteur: Volvert, S., 4 sept. 2015

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier