Complexity of planning for connected agents von Charrier, Tristan, Queffelec, Arthur, Sankur, Ocan, Schwarzentruber, François

Volltext

DEL-based epistemic planning: Decidability and complexity von Bolander, Thomas, Charrier, Tristan, Pinchinat, Sophie, Schwarzentruber, François

Volltext

Symbolic model checking of public announcement protocols von Charrier, Tristan, Pinchinat, Sophie, Schwarzentruber, FranÇois

Volltext

Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique von Charrier, Tristan

Volltext bestellen

Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment von Charrier, Tristan, Pinchinat, Sophie, Schwarzentruber, François

Volltext

Dynamic Connected Cooperative Coverage Problem von Charrier, Tristan, Schwarzentruber, François, Soulier, Eva

Volltext bestellen

Reachability and Coverage Planning for Connected Agents: Extended Version von Charrier, Tristan, Queffelec, Arthur, Sankur, Ocan, Schwarzentruber, François

Volltext bestellen

Reachability and Coverage Planning for Connected Agents: Extended Version von Charrier, Tristan, Queffelec, Arthur, Sankur, Ocan, Schwarzentruber, François

Volltext

Less effective selection leads to larger genomes von Lefébure, Tristan, Morvan, Claire, Malard, Florian, François, Clémentine, Konecny-Dupré, Lara, Guéguen, Laurent, Weiss-Gayet, Michèle, Seguin-Orlando, Andaine, Ermini, Luca, Sarkissian, Clio Der, Charrier, N Pierre, Eme, David, Mermillod-Blondin, Florian, Duret, Laurent, Vieira, Cristina, Orlando, Ludovic, Douady, Christophe Jean

Volltext

Detection of Staphylococcus aureus delta-toxin production by whole-cell MALDI-TOF mass spectrometry von Gagnaire, Julie, Dauwalder, Olivier, Boisset, Sandrine, Khau, David, Freydière, Anne-Marie, Ader, Florence, Bes, Michèle, Lina, Gerard, Tristan, Anne, Reverdy, Marie-Elisabeth, Marchand, Adrienne, Geissmann, Thomas, Benito, Yvonne, Durand, Géraldine, Charrier, Jean-Philippe, Etienne, Jerome, Welker, Martin, Van Belkum, Alex, Vandenesch, François

Volltext

Totally robotic-assisted thymectomy with a bilateral and subxiphoid approach von Mimbimi, Chloé, Charrier, Thomas, Goudou, Tristan, Cassiano, Francesco, De Wolf, Julien, Pricopi, Ciprian, Sage, Edouard, Glorion, Matthieu

Volltext

Impact of intensive prone position therapy on outcomes in intubated patients with ARDS related to COVID-19 von Le Terrier, Christophe, Walter, Thaïs, Lebbah, Said, Hajage, David, Sigaud, Florian, Guérin, Claude, Desmedt, Luc, Primmaz, Steve, Joussellin, Vincent, Della Badia, Chiara, Ricard, Jean-Damien, Pugin, Jérôme, Terzi, Nicolas

Volltext