output
20042026
most citedPhotoluminescent diamond nanoparticles for cell labeling: study of the uptake mechanism in mammalian cells

332 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.FLShow all

5 papers · 1 filter

cs.FL2025

A Unifying Framework for Global Optimization: From Theory to Formalization

Gaëtan Serré, Argyris Kalogeratos, Nicolas Vayatis

We introduce an abstract measure___theoretic framework that serves as a tool to rigorously study stochastic iterative global optimization algorithms as a unified class. The framewo…

cs.FL2024

Attractor Basins in Concurrent Systems

Giann Karlo Aguirre Samboni, Stefan Haar, Loic Paulevé +2

A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…

cs.FL2022★ 1 cited

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé +2

A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…

cs.FL2021

Keyboards as a new model of computation

Yoan Géran, Bastien Laboureix, Corto Mascle +1

We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we…

cs.FL2018

From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

Corto Mascle, Daniel Neider, Maximilian Schwenger +3

Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions. Bauer et al. introduced an…