( en | de | ru )

 

Disambiguierung von "Cruz-Filipe, Luís"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Choreographies in Practice.

, und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 114-123. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Luís Fílípe Carvalho Costa

Luís Filipe Domingos Pereira Figueiredo

Luis Filipe Carvalho Costa

Werner Luis

Luís Damas

 

Weitere Publikationen von Autoren mit dem selben Namen

Connectors meet Choreographies., , , und . CoRR, (2018)Choreographies in Practice., und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 114-123. Springer, (2016)C-CoRN, the Constructive Coq Repository at Nijmegen., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2004)A Core Model for Choreographic Programming., und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 17-35. (2016)Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus., , , , und . FMOODS, Volume 5051 von Lecture Notes in Computer Science, Seite 59-77. Springer, (2008)Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints., und . ACM Trans. Comput. Log., 22 (1): 6:1-6:19 (2021)The Finitistic Consistency of Heck's Predicative Fregean System., und . Notre Dame J. Formal Log., 56 (1): 61-79 (2015)Hypothetical Answers to Continuous Queries over Data Streams., , und . AAAI, Seite 2798-2805. AAAI Press, (2020)Certified Compilation of Choreographies with hacc., , und . FORTE, Volume 13910 von Lecture Notes in Computer Science, Seite 29-36. Springer, (2023)Modular Choreographies: Bridging Alice and Bob Notation to Java., , , und . Microservices, Volume 111 von OASIcs, Seite 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)