Hugo Andrés López

Hugo Andrés López

Adjunkt


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

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

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

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

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

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

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

  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

    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

Forrige 1 2 Næste

ID: 234123475