Skip to content
cs-conference-ranking.org

Loc Paulev

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

6

Active years

2013–2024

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2024AAAICEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.Kerian Thuillier, Anne Siegel, Loc Paulev
2020SATSAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.Gilles Audemard, Loc Paulev, Laurent Simon
2019ICTAISynthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.Stphanie Chevalier, Christine Froidevaux, Loc Paulev, Andrei Yu. Zinovyev
2019VMCAICombining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.Stefan Haar, Juraj Kolck, Loc Paulev
2017CONCURGoal-Driven Unfolding of Petri Nets.Thomas Chatain, Loc Paulev
2016AAAIMarginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations.Lukas Studer, Loc Paulev, Christoph Zechner, Matthias Reumann, Mara Rodrguez Martnez, Heinz Koeppl
2013CAVUnder-Approximating Cut Sets for Reachability in Large Scale Automata Networks.Loc Paulev, Geoffroy Andrieux, Heinz Koeppl