4 papers
Latent Space-Driven Quantification of Biofilm Formation using Time Resolved Droplet Microfluidics
Daniela Pérez Guerrero, Jesús Manuel Antúnez Domínguez, Aurélie Vigne +5
Bacterial biofilms play a significant role in various fields that impact our daily lives, from detrimental public health hazards to beneficial applications in bioremediation, biode…
Tutorial for the growth and development of Myxococcus xanthus as a Model System at the Intersection of Biology and Physics
Jesus Manuel Antúnez Domínguez, Laura Pérez García, Natsuko Rivera-Yoshida +8
Myxococcus xanthus is a unicellular organism whose cells possess the ability to move and communicate, leading to the emergence of complex collective properties and behaviours. This…
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version
Jesús Domínguez, Aleksandar Nanevski
Linearizability is a standard correctness criterion for concurrent algorithms, typically proved by establishing the algorithms' linearization points (LP). However, LPs often hinder…
Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms
Jesús Domínguez, Aleksandar Nanevski
Linearizability is a standard correctness criterion for concurrent algorithms, typically proved by establishing the algorithms' linearization points. However, relying on linearizat…