E-LIB Suche - Ergebnisse für: Cruz-Filipe, Luís

1

$$\mu $$XL: explainable lead generation with microservices ..:

Cruz-Filipe, Luís ; Kostopoulou, Sofia ; Montesi, Fabrizio.
Computing. , 2024

Link: https://doi.org/10.1007/..

2

Approximation Fixpoint Theory in Coq: With an Application t..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Bogaerts, Bart ; Cruz-Filipe, Luís - p. 84-99 , 2024

Link: https://doi.org/10.1007/..

3

A Formal Theory of Choreographic Programming:

Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco
Journal of Automated Reasoning. 67 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

4

Reasoning About Choreographic Programs:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio. - p. 144-162 , 2023

Link: https://doi.org/10.1007/..

5

$$\mu $$XL: Explainable Lead Generation with Microservices ..:

, In: Service-Oriented and Cloud Computing; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Kostopoulou, Sofia ; Montesi, Fabrizio. - p. 3-18 , 2023

Link: https://doi.org/10.1007/..

6

Certified Compilation of Choreographies with hacc:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Lugović, Lovro ; Montesi, Fabrizio - p. 29-36 , 2023

Link: https://doi.org/10.1007/..

7

Reconciling Communication Delays and Negation:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Cruz-Filipe, Luís ; Gaspar, Graça ; Nunes, Isabel - p. 151-169 , 2022

Link: https://doi.org/10.1007/..

8

From Infinity to Choreographies: Extraction for Unbounded S..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Kjær, Bjørn Angel ; Cruz-Filipe, Luís ; Montesi, Fabrizio - p. 103-120 , 2022

Link: https://doi.org/10.1007/..

9

Functional Choreographic Programming:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro.. - p. 212-237 , 2022

Link: https://doi.org/10.1007/..

10

Can You Answer While You Wait?:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,

Cruz-Filipe, Luís ; Gaspar, Graça ; Nunes, Isabel - p. 111-129 , 2022

Link: https://doi.org/10.1007/..

11

Stratification in Approximation Fixpoint Theory and Its App..:

Bogaerts, Bart ; Cruz-Filipe, Luís
ACM Transactions on Computational Logic. 22 (2021) 1 - p. 1-19 , 2021

Link: https://doi.org/10.1145/..

12

Stratification in Approximation Fixpoint Theory and Its App..:

Bogaerts, Bart ; Cruz-Filipe, Luís
ACM Transactions on Computational Logic (TOCL). 22 (2021) 1 - p. 1-19 , 2021

Link: https://dl.acm.org/doi/1..

13

Certifying Choreography Compilation:

, In: Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco - p. 115-133 , 2021

Link: https://doi.org/10.1007/..

14

A core model for choreographic programming:

Cruz-Filipe, Luís ; Montesi, Fabrizio
Theoretical Computer Science. 802 (2020) - p. 38-66 , 2020

Link: https://doi.org/10.1016/..

15

Sorting networks: To the end and back again:

Codish, Michael ; Cruz-Filipe, Luís ; Ehlers, Thorsten..
Journal of Computer and System Sciences. 104 (2019) - p. 184-201 , 2019

Link: https://doi.org/10.1016/..