A core model for choreographic programming von Cruz-Filipe, Luís, Montesi, Fabrizio

Volltext

A Formal Theory of Choreographic Programming von Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

Volltext

Fixpoint semantics for active integrity constraints von Bogaerts, Bart, Cruz-Filipe, Luís

Volltext

Laboratory Study of Magnetic Reconnection in Lunar-relevant Mini-magnetospheres von Rovige, Lucas, Cruz, Filipe D., Dorst, Robert S., Pilgram, Jessica J., Constantin, Carmen G., Vincena, Stephen, Cruz, Fábio, Silva, Luis O., Niemann, Christoph, Schaeffer, Derek B.

Volltext

μXL: explainable lead generation with microservices and hypothetical answers von Cruz-Filipe, Luís, Kostopoulou, Sofia, Montesi, Fabrizio, Vistrup, Jonas

Volltext

Laser-driven, ion-scale magnetospheres in laboratory plasmas. II. Particle-in-cell simulations von Cruz, Filipe D., Schaeffer, Derek B., Cruz, Fábio, Silva, Luis O.

Volltext

Hypothetical Answers to Continuous Queries Over Data Streams von Cruz-Filipe, Luís, Gaspar, Graça, Nunes, Isabel

Volltext

Document Clustering for Forensic Analysis: An Approach for Improving Computer Inspection von da Cruz Nassif, L. F., Hruschka, E. R.

Volltext

Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints von Bogaerts, Bart, Cruz-Filipe, Luís

Volltext

Sorting networks: To the end and back again von Codish, Michael, Cruz-Filipe, Luís, Ehlers, Thorsten, Müller, Mike, Schneider-Kamp, Peter

Volltext

An undescribed cause of hemoptysis von Silva, Marta Carvalho, Cruz, João Filipe

Volltext

On Asynchrony and Choreographies von Cruz-Filipe, Luís, Montesi, Fabrizio

Volltext

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem von Cruz-Filipe, Luís, Marques-Silva, Joao, Schneider-Kamp, Peter

Volltext

Coronavirus Disease 2019 Infection and Early Diagnosis of Macrophage Activation Syndrome: A Case Report of a 62 year old man von Cruz, Filipe Jonas Federico da, Figueiredo, Eduardo Andrada Pessoa de, Batista, Filipe Prohaska, Gallindo, Marcos Antônio Cavalcanti, Fernandes, Andesson Carlos da Silva

Volltext

Radiographically screened periodontitis is associated with deteriorated oral-health quality of life: A cross-sectional study von Mendes, José João, Viana, João, Cruz, Filipe, Garrido, Lisetty, Jessen, Iolanda, Rodrigues, Joana, Proença, Luís, Delgado, Ana Sintra, Machado, Vanessa, Botelho, João

Volltext

Reasoning About Choreographic Programs von Cruz-Filipe, Luís, Graversen, Eva, Montesi, Fabrizio, Peressotti, Marco

Volltext

Sorting nine inputs requires twenty-five comparisons von Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Volltext

Enzymatic, physicochemical and biological properties of MMP-sensitive alginate hydrogels von Fonseca, Keila B, Maia, F. Raquel, Cruz, Filipe A, Andrade, Douglas, Juliano, Maria A, Granja, Pedro L, Barrias, Cristina C

Volltext

When benign leiomyomas metastasize to the lungs - a case report von Vieira Naia, Joana, Pimenta, Diana, Paiva, Anita, Costa, Rita, Souto de Moura, Conceição, Pereira, Raquel, Cruz, João Filipe

Volltext

Certifying Choreography Compilation von Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

Volltext