Hugo Andrés López

Hugo Andrés López

Adjunkt


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

  2. Udgivet

    A Theory of Available-by-Design Communicating Systems

    López, Hugo A. , Nielson, F. & Riis Nielson, H., 1 nov. 2016.

    Publikation: Working paperForskning

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

  4. Udgivet

    Assisted declarative process creation from natural language descriptions

    López, Hugo A. , Marquard, M., Muttenthaler, L. & Stromsted, R., okt. 2019, Proceedings - 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop, EDOCW 2019. IEEE, s. 96-99 8907309

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

  5. Udgivet

    Business process compliance using reference models of law

    López, Hugo A. , Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 1 jan. 2020, I : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). s. 378-399 22 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  6. Choreographing cyber-physical distributed control systems for the energy sector

    López, Hugo A. & Heussen, K., 3 apr. 2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, Inc., s. 437-443 7 s. (Proceedings of the ACM Symposium on Applied Computing, Bind Part F128005).

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

  7. Udgivet

    Declarative Choreographies and Liveness

    Hildebrandt, Thomas Troels, Slaats, Tijs, López, Hugo A. , Debois, S. & Carbone, M., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (red.). Springer, s. 129-147 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11535 LNCS).

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

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

  9. Dynamic evaluation forms using declarative modeling

    Strømsted, R., López, Hugo A. , Debois, S. & Marquard, M., 1 jan. 2018, I : CEUR Workshop Proceedings. 2196, s. 172-179 8 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  10. Enforcing availability in failure-aware communicating systems

    López, Hugo A. , Nielson, F. & Nielson, H. R., 1 jan. 2016, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. Albert, E. & Lanese, I. (red.). Springer Verlag, s. 195-211 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9688).

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

Forrige 1 2 Næste

ID: 234123475