Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingeraftryk

Fingeraftryk dannes ud fra videnskabelige udgivelser og skaber et indeks med vægtede emneord for hver enkelt forsker.
  • 1 Lignende profiler

Netværk

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Can you answer while you wait?

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Proceedings. Varzinczak, I. (red.). Springer Science+Business Media, s. 111-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13388 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • From infinity to choreographies: Extraction for unbounded Systems

    Kjær, B. A., Cruz-Filipe, L. & Montesi, F., 11. sep. 2022, Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Proceedings. Villanueva, A. (red.). Springer Science+Business Media, s. 103-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13474 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Functional Choreographic Programming

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer Science+Business Media, s. 212-237 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13572 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Reconciling Communication Delays and Negation

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer Science+Business Media, s. 151-169 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13572 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (red.). Springer Science+Business Media, s. 115-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12819 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review