Photo de James Jerson Ortiz Vega

Voir le profil Scopus

James Jerson Ortiz Vega

  • Belgique

Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
19992023

Résultat de recherche par an

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

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où James Jerson Ortiz Vega est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Réseau

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
Tout afficher 8 projets

  • Providing command and control agility: A software product line approach

    Amorim, J. C., Rocha, E. L., Minardi, L., Alves, V., de Freitas, E. P., Castro, T., Amrani, M., Ortiz, J., Schobbens, P. Y. & Perrouin, G., 15 avr. 2023, Dans: Expert Systems with Applications. 216, 119473.

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

  • 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érence › Article dans les actes d'une conférence/un colloque

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

    Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 1 juil. 2018, p. 325-332. 8 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

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

  • Multi-timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 janv. 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érence › Chapitre (revu par des pairs) › Revue par des pairs

    Accès ouvert
    File
    44 Téléchargements (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).

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

    File
    294 Téléchargements (Pure)
Tout afficher 20 résultat de recherche
  • 10 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 3 Présentation orale
Tout afficher 21 activités