Hugo-Andres Lopez

Hugo-Andres Lopez

Adjunkt


  1. 2020
  2. Udgivet

    Business process compliance using reference models of law

    Lopez, Hugo-Andres, 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

    Lopez, Hugo-Andres, 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., Lopez, Hugo-Andres, 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., Lopez, Hugo-Andres, 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. 2018
  8. Dynamic evaluation forms using declarative modeling

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

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  9. 2017
  10. Choreographing cyber-physical distributed control systems for the energy sector

    Lopez, Hugo-Andres & 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

  11. 2016
  12. Enforcing availability in failure-aware communicating systems

    Lopez, Hugo-Andres, 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

  13. 2015
  14. Udgivet

    Protocol-based verification of message-passing parallel programs

    Lopez, Hugo-Andres, 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

  15. Udgivet

    Declarative interpretations of session-based concurrency

    Cano, M., Rueda, C., Lopez, Hugo-Andres & 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

  16. 2012
  17. Udgivet

    Time and exceptional behavior in multiparty structured interactions

    Lopez, Hugo-Andres & 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

Forrige 1 2 Næste

ID: 234123475