Denys Duchier

Denys Duchier, Jérôme Durand-Lose, Maxime Senot: Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. TAMC 2012: 435-447

Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier: Model-Theory of Property Grammars with Features. IWPT 2011: 75-79

Denys Duchier, Jérôme Durand-Lose, Maxime Senot: Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants. CoRR abs/1105.3454 (2011)

Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint: Property Grammar Parsing Seen as a Constraint Optimization Problem. FG 2010: 82-96

Denys Duchier, Jérôme Durand-Lose, Maxime Senot: Fractal Parallelism: Solving SAT in Bounded Space and Time. ISAAC (1) 2010: 279-290

Denys Duchier, Jérôme Durand-Lose, Maxime Senot: Massively Parallel Automata in Euclidean Space-Time. SASO Workshops 2010: 104-109

Denys Duchier, Jean-Philippe Prost, Thi-Bich-Hanh Dao: A Model-Theoretic Framework for Grammaticality Judgements. FG 2009: 17-30

Denys Duchier, Céline Kuttler: Biomolecular Agents as Multi-behavioural Concurrent Objects. Electr. Notes Theor. Comput. Sci. 150(1): 31-49 (2006)

Ralph Debusmann, Denys Duchier, Alexander Koller, Marco Kuhlmann, Gert Smolka, Stefan Thater: A Relational Syntax-Semantics Interface Based on Dependency Grammar. COLING 2004

Benoît Crabbé, Denys Duchier: Metagrammar Redux. CSLP 2004: 32-47

Ralph Debusmann, Denys Duchier, Marco Kuhlmann: Multi-dimensional Graph Configuration for Natural Language Processing. CSLP 2004: 104-120

Denys Duchier, Joseph Le Roux, Yannick Parmentier: The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture. MOZ 2004: 175-187

Ralph Debusmann, Denys Duchier, Joachim Niehren: The XDG Grammar Development Kit. MOZ 2004: 188-199

Manuel Bodirsky, Denys Duchier, Joachim Niehren, Sebastian Miele: A new algorithm for normal dominance constraints. SODA 2004: 59-67

Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel: An efficient graph algorithm for dominance constraints. J. Algorithms 48(1): 194-219 (2003)

Denys Duchier: Dominance constraints with Boolean connectives: a model-eliminative treatment. Theor. Comput. Sci. 293(2): 321-343 (2003)

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. TPLP 3(6): 715-763 (2003)

Geert-Jan M. Kruijff, Denys Duchier: Information Structure in Topological Dependency Grammar. EACL 2003: 219-226

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. CoRR cs.PL/0208029 (2002)

Denys Duchier: Lexicalized Syntax and Topology for Non-projective Dependency Grammar. Electr. Notes Theor. Comput. Sci. 53: 70-80 (2001)

Denys Duchier, Ralph Debusmann: Topological Dependency Trees: A Constraint-Based Account of Linear Precedence. ACL 2001: 180-187

Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel: An efficient algorithm for the configuration problem of dominance graphs. SODA 2001: 815-824

Denys Duchier, Joachim Niehren: Dominance Constraints with Set Operators. Computational Logic 2000: 326-341

Hans Uszkoreit, Thorsten Brants, Denys Duchier, Brigitte Krenn, Lars Konieczny, Stephan Oepen, Wojciech Skut: Studien zur performanzorientierten Linguistik Aspekte der Relativsatzextraposition im Deutschen. Kognitionswissenschaft 7(3): 129-133 (1998)

Denys Duchier: Concrete Browsing of a Graphical Toolkit Library. ICTAI 1993: 491-492