Rémi Brochenin

According to our database, Rémi Brochenin authored at least 10 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Abstract solvers for Dung's argumentation frameworks.

Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran

Argument Comput., 2018

2017

Resource Usage Analysis from a Different Perspective on MOOC Dropout.

Rémi Brochenin, Joos C. A. M. Buijs, Mehrnoosh Vahdat, Wil M. P. van der Aalst

CoRR, 2017

2016

Disjunctive answer set solvers via templates.

Rémi Brochenin, Marco Maratea, Yuliya Lierler

Theory Pract. Log. Program., 2016

2015

Abstract Answer Set Solvers for Cautious Reasoning.

Rémi Brochenin, Marco Maratea

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Abstract Solvers for Quantified Boolean Formulas and their Applications.

Rémi Brochenin, Marco Maratea

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

Abstract Disjunctive Answer Set Solvers.

Rémi Brochenin, Yuliya Lierler, Marco Maratea

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle).

Rémi Brochenin

PhD thesis, 2013

2012

On the almighty wand.

Rémi Brochenin, Stéphane Demri, Étienne Lozes

Inf. Comput., 2012

2009

Reasoning about sequences of memory states.

Rémi Brochenin, Stéphane Demri, Étienne Lozes

Ann. Pure Appl. Log., 2009

Beyond Shapes: Lists with Ordered Data.

Kshitij Bansal, Rémi Brochenin, Étienne Lozes

Proceedings of the Foundations of Software Science and Computational Structures, 2009