Rémi Brochenin

14 papers A 1B 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
Abstract solvers for Dung's argumentation frameworks.
Argument Comput.
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, Stefan Woltran
2017 J jnl
Resource Usage Analysis from a Different Perspective on MOOC Dropout.
CoRR
Rémi Brochenin, Joos C. A. M. Buijs, Mehrnoosh Vahdat, Wil M. P. van der Aalst
2016 J jnl
Disjunctive answer set solvers via templates.
Theory Pract. Log. Program.
Rémi Brochenin, Marco Maratea, Yuliya Lierler
2015 — conf
Abstract Answer Set Solvers for Cautious Reasoning.
ICLP (Technical Communications)
Rémi Brochenin, Marco Maratea
2015 — conf
Abstract Solvers for Dung's Argumentation Frameworks.
TAFA
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
2015 — conf
Abstract Solvers for Quantified Boolean Formulas and their Applications.
AI*IA
Rémi Brochenin, Marco Maratea
2015 J jnl
Disjunctive Answer Set Solvers via Templates.
CoRR
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2014 A conf
Abstract Disjunctive Answer Set Solvers.
ECAI
Rémi Brochenin, Yuliya Lierler, Marco Maratea
2013 — —
Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle).
Rémi Brochenin
2012 J jnl
On the almighty wand.
Inf. Comput.
Rémi Brochenin, Stéphane Demri, Étienne Lozes
2009 B conf
Beyond Shapes: Lists with Ordered Data.
FoSSaCS
Kshitij Bansal, Rémi Brochenin, Étienne Lozes
2009 J jnl
Reasoning about sequences of memory states.
Ann. Pure Appl. Log.
Rémi Brochenin, Stéphane Demri, Étienne Lozes
2008 B conf
On the Almighty Wand.
CSL
Rémi Brochenin, Stéphane Demri, Étienne Lozes
2007 Misc conf
Reasoning About Sequences of Memory States.
LFCS
Rémi Brochenin, Stéphane Demri, Étienne Lozes