Hugo Andrés López

Hugo Andrés López

Adjunkt


  1. 2009
  2. Udgivet

    Types for secure pattern matching with local knowledge in universal concurrent constraint programming

    Hildebrandt, Thomas Troels & López, Hugo A. , 14 sep. 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. s. 417-431 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5649 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Goal-equivalent secure business process re-engineering

    López, Hugo A. , Massacci, F. & Zannone, N., 23 feb. 2009, I : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4907 LNCS, s. 212-223 12 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

ID: 234123475