Hugo Andrés López

Hugo Andrés López

Adjunkt


  1. 2015
  2. Udgivet

    Protocol-based verification of message-passing parallel programs

    López, Hugo A. , Marques, E. R. B., Martins, F., Ng, N., Santos, C., Vasconcelos, V. T. & Yoshida, N., 23 okt. 2015, OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications. Eugster, P. & Aldrich, J. (red.). Association for Computing Machinery, Inc., s. 280-298 19 s. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, Bind 25-30-Oct-2015).

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

  3. Udgivet

    Declarative interpretations of session-based concurrency

    Cano, M., Rueda, C., López, Hugo A. & Pérez, J. A., 14 jul. 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc., s. 67-78 12 s. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

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

  4. 2012
  5. Udgivet

    Time and exceptional behavior in multiparty structured interactions

    López, Hugo A. & Pérez, J. A., 15 jun. 2012, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers. s. 48-63 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7176 LNCS).

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

  6. 2011
  7. Udgivet

    A Logic for Choreographies

    Carbone, M., Grohmann, D., Hildebrandt, Thomas Troels & López, Hugo A. , 1 okt. 2011, I : Electronic Proceedings in Theoretical Computer Science.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. 2010
  9. Udgivet

    Towards a unified framework for declarative structured communications

    López, Hugo A. , Olarte, C. & Pérez, J. A., 6 feb. 2010, I : Electronic Proceedings in Theoretical Computer Science, EPTCS. 17, s. 1-5 5 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  10. Udgivet

    Models for trustworthy service and process oriented systems

    López, Hugo A. , 1 jan. 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 270-276 7 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 7).

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

  11. 2009
  12. 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

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

  14. 2006
  15. Udgivet

    A declarative framework for security: Secure concurrent constraint programming

    López, Hugo A. , Palamidessi, C., Pérez, J. A., Rueda, C. & Valencia, F. D., 1 jan. 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, s. 449-450 2 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4079 LNCS).

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

Forrige 1 2 Næste

ID: 234123475