Rémi Brochenin

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 7

Top Venues

CoRR

TAFA

Argument Comput.

AI*IA

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9 (1) (2018)
Rémi Brochenin, Joos C. A. M. Buijs, Mehrnoosh Vahdat, Wil M. P. van der Aalst
Resource Usage Analysis from a Different Perspective on MOOC Dropout. CoRR (2017)
Rémi Brochenin, Marco Maratea, Yuliya Lierler
Disjunctive answer set solvers via templates. Theory Pract. Log. Program. 16 (4) (2016)
Rémi Brochenin, Yuliya Lierler, Marco Maratea
Disjunctive Answer Set Solvers via Templates. CoRR (2015)
Rémi Brochenin, Marco Maratea
Abstract Answer Set Solvers for Cautious Reasoning. ICLP (Technical Communications) (2015)
Rémi Brochenin, Marco Maratea
Abstract Solvers for Quantified Boolean Formulas and their Applications. AI*IA (2015)
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
Abstract Solvers for Dung's Argumentation Frameworks. TAFA (2015)
Rémi Brochenin, Yuliya Lierler, Marco Maratea
Abstract Disjunctive Answer Set Solvers. ECAI (2014)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the almighty wand. Inf. Comput. 211 (2012)
Kshitij Bansal, Rémi Brochenin, Étienne Lozes
Beyond Shapes: Lists with Ordered Data. FoSSaCS (2009)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning about sequences of memory states. Ann. Pure Appl. Log. 161 (3) (2009)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
On the Almighty Wand. CSL (2008)
Rémi Brochenin, Stéphane Demri, Étienne Lozes
Reasoning About Sequences of Memory States. LFCS (2007)

Rémi Brochenin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rémi Brochenin