Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings von Roux, Olivier, Bourdon, Jérémie

Volltext

Control of Real-Time Systems With Integer Parameters von Jovanovic, Aleksandra, Lime, Didier, Roux, Olivier H.

Volltext

Integer Parameter Synthesis for Real-Time Systems von Jovanovic, Aleksandra, Lime, Didier, Roux, Olivier H.

Volltext

Larval predation in malaria vectors and its potential implication in malaria transmission: an overlooked ecosystem service? von Roux, Olivier, Robert, Vincent

Volltext

A prospective study of the utility of plasma biomarkers to diagnose alcoholic hepatitis von Bissonnette, Julien, Altamirano, José, Devue, Cécile, Roux, Olivier, Payancé, Audrey, Lebrec, Didier, Bedossa, Pierre, Valla, Dominique, Durand, François, Ait‐Oufella, Hafid, Sancho‐Bru, Pau, Caballeria, Joan, Ginès, Pere, Boulanger, Chantal M., Bataller, Ramon, Rautou, Pierre‐Emmanuel

Volltext

Design and verification of pipelined circuits with Timed Petri Nets von Parrot, Rémi, Briday, Mikaël, Roux, Olivier H.

Volltext

Reachability and liveness in parametric timed automata von André, Étienne, Lime, Didier, Roux, Olivier H.

Volltext

Pomset bisimulation and unfolding for reset Petri nets von Chatain, Thomas, Comlan, Maurice, Delfieu, David, Jezequel, Loïg, Roux, Olivier-Henri

Volltext

CO2 effects on an unsaturated and saturated carbonate reservoir from geoelectric-geochemical coupling von PETIT, Anélia, LE ROUX, Olivier, CEREPI, Adrian, LOISY, Corinne

Volltext

Decision Problems for Parametric Timed Automata von André, Étienne, Lime, Didier, Roux, Olivier H.

Volltext

Formal verification of real-time systems with preemptive scheduling von Lime, Didier, Roux, Olivier (H. )

Volltext

Hypervirulent Klebsiella pneumoniae in Cryptogenic Liver Abscesses, Paris, France von Rossi, Benjamin, Gasperini, Maria Ludovica, Leflon-Guibout, Véronique, Gioanni, Alice, de Lastours, Victoire, Rossi, Geoffrey, Dokmak, Safi, Ronot, Maxime, Roux, Olivier, Nicolas-Chanoine, Marie-Hélène, Fantin, Bruno, Lefort, Agnès

Volltext

Sex aggregation and species segregation cues in swarming mosquitoes: role of ground visual markers von Poda, Serge B, Nignan, Charles, Gnankiné, Olivier, Dabiré, Roch K, Diabaté, Abdoulaye, Roux, Olivier

Volltext

Analysis and Synthesis of Weighted Marked Graph Petri Nets von Devillers, Raymond, Hujsa, Thomas

Volltext

Structural translation from Time Petri Nets to Timed Automata von Cassez, Franck, Roux, Olivier H.

Volltext

Factorisation of Petri Net Solvable Transition Systems von Devillers, Raymond, Schlachter, Uli

Volltext

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions von van der Aalst, Wil M. P.

Volltext

Sufficient conditions for reachability in automata networks with priorities von Folschette, Maxime, Paulevé, Loïc, Magnin, Morgan, Roux, Olivier

Volltext

Local adaptation and colonization are potential factors affecting sexual competitiveness and mating choice in Anopheles coluzzii populations von Nignan, Charles, Poda, Bèwadéyir Serge, Sawadogo, Simon Péguédwindé, Maïga, Hamidou, Dabiré, Kounbobr Roch, Gnankine, Olivier, Tripet, Frédéric, Roux, Olivier, Diabaté, Abdoulaye

Volltext

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets von Amparore, Elvio Gilberto, Donatelli, Susanna

Volltext