Hugo Andrés López

Hugo Andrés López

Adjunkt


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

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

    Borda, A., Cimini, M., Cirstea, C., Dardha, O., Fowler, S., Jakši ć, S., Knight, S., Lanese, I., Lange, J., López, Hugo A. , Melgratti, H., Mezzina, C. A., Murgia, M., Peters, K., Sammartino, M., Stachtiari, E., Tapia Tarifa, S. L., Vieira, H. T. & Pohjola, J. Å., 12 sep. 2019, I : Electronic Proceedings in Theoretical Computer Science, EPTCS. 304

    Publikation: Bidrag til tidsskriftLederForskning

  6. Udgivet

    Exploring the modeling of declarative processes using a hybrid approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., López, Hugo A. , Slaats, Tijs & Weber, B., 1 jan. 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (red.). Springer VS, s. 162-170 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11788 LNCS).

    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. 2018
  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. The Process Highlighter: From Texts to Declarative Processes and Back

    López, Hugo A. , Hildebrandt, Thomas Troels, Debois, S. & Marquard, M., 2018, I : CEUR Workshop Proceedings. s. 66-70 5 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

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

  13. 2016
  14. Udgivet

    A Theory of Available-by-Design Communicating Systems

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

    Publikation: Working paperForskning

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

  16. 2015
  17. 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

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

  19. 2012
  20. 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

  21. 2011
  22. 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

  23. 2010
  24. 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

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

  26. 2009
  27. 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

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

  29. 2006
  30. 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

ID: 234123475