Rémi Brochenin

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

Collaborative distances:

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

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 Solvers for Dung's Argumentation Frameworks.

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

Proceedings of the Theory and Applications of Formal Argumentation, 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

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

2008

On the Almighty Wand.

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

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Reasoning About Sequences of Memory States.

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

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007