direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Ehemalige Mitarbeiter

Dr. Stefan Mengel

Lupe

Kontakt
CRIL-CNRS/Université d'Artois
Faculté des Sciences Jean Perrin
rue Jean Souvraz, S.P. 18
F-62307 LENS Cedex
FRANCE
 
Persönliche Homepage
www.cril.univ-artois.fr/~mengel/

Publikationen in der Arbeitsgruppe

Arnaud Durand and Stefan Mengel (2014). The Complexity of Weighted Counting for Acyclic Conjunctive Queries. Journal of Computer and System Sciences, 277-296.


Stefan Mengel (2013). Arithmetic Branching Programs with Memory. Mathematical foundations of computer science 2013. Springer, Heidelberg, 667-678.


Florent Capelli and Arnaud Durand and Stefan Mengel (2013). The arithmetic complexity of tensor contractions. Proceedings Symposium on Theoretical Aspects of Computer Science (STACS) 2013


Arnaud Durand and Stefan Mengel (2013). Structural Tractability of Counting of Solutions to Conjunctive Queries. Proceeding of the 16th International Conference on Database Theory (ICDT 2013)


Stefan Mengel (2013). Conjunctive Queries, Arithmetic Circuits and Counting Complexity. Universität Paderborn


Hervé Fournier and Guillaume Malod and Stefan Mengel (2012). Monomials in arithmetic circuits: Complete problems in the counting hierarchy. Proceedings Symposium on Theoretical Aspects of Computer Science (STACS) 2012


Stefan Mengel (2011). Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems. In Proceedings of ICALP 2011. Springer, 700-711.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe