Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Montesi, Fabrizio
209  Ergebnisse:
Personensuche X
?
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

Alice or Bob?: Process polymorphism in choreographies:

GRAVERSEN, EVA ; HIRSCH, ANDREW K. ; MONTESI, FABRIZIO
Journal of Functional Programming.  34 (2024)  - p. , 2024
Link: https://doi.org/10.1017/..
 
?
3

Towards a portable setup for the on-site SERS detection of ..:

Montesi, Daniel ; Bertone, Sofia ; Rivolo, Paola...
Journal of the European Optical Society-Rapid Publications.  20 (2024)  1 - p. 28 , 2024
Link: https://doi.org/10.1051/..
 
?
4

Ozone: Fully Out-of-Order Choreographies:

Plyukhin, Dan ; Peressotti, Marco ; Montesi, Fabrizio
http://arxiv.org/abs/2401.17403.  , 2024
Link: http://arxiv.org/abs/240..
 
?
5

Introduction to choreographies:

Montesi, Fabrizio , 2023
Link: https://doi.org/10.1017/..
 
?
6

Role of probe design and bioassay configuration in surface ..:

Novara, Chiara ; Montesi, Daniel ; Bertone, Sofia...
Journal of Colloid and Interface Science.  649 (2023)  - p. 750-760 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
ACM Transactions on Programming Languages and Systems.  , 2023
Link: https://doi.org/10.1145/..
 
?
8

JoT: A Jolie Framework for Testing Microservices:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.. - p. 172-191 , 2023
Link: https://doi.org/10.1007/..
 
?
9

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/..
 
?
10

$$\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/..
 
?
11

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/..
 
?
12

LEMMA2Jolie: A tool to generate microservice APIs from doma..:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
Science of Computer Programming.  228 (2023)  - p. 102956 , 2023
Link: https://doi.org/10.1016/..
 
?
13

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/..
 
?
14

Modular Choreographies: Bridging Alice and Bob Notation to ..:

Cruz-Filipe, Luís ; Madsen, Anne ; Montesi, Fabrizio.
Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022).  , 2023
Link: https://doi.org/10.4230/..
 
?
15

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
info:eu-repo/semantics/altIdentifier/doi/10.1145/3632398.  , 2023
Link: https://hal.science/hal-..
 
1-15