( en | de | ru )

 

Disambiguierung von "Paulevé, Loïc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

, , und . AAAI, Seite 8146-8153. AAAI Press, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Loïc Paulevé

Loïc Botrel

Loïc Yon

Loïc Fejoz

Loïc Denis

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrency in Boolean networks., , , , und . CoRR, (2019)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , und . GandALF, Volume 370 von EPTCS, Seite 178-193. (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , und . AAAI, Seite 8146-8153. AAAI Press, (2024)mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks., , und . CoRR, (2024)Tuning Temporal Features within the Stochastic π-Calculus., , und . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , und 61 andere Autor(en). CoRR, (2022)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , und 65 andere Autor(en). Nucleic Acids Res., 50 (W1): 108-114 (2022)Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics., , und . CoRR, (2018)Drawing the Line: Basin Boundaries in Safe Petri Nets., , und . CMSB, Volume 12314 von Lecture Notes in Computer Science, Seite 321-336. Springer, (2020)Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction., und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 202-219. Springer, (2023)