Skip to Main content Skip to Navigation
New interface


hal-01083360v1  Conference papers
Aurore BernardNicolas Gama. Smallest Reduction Matrix of Binary Quadratic Forms
9th International Symposium, ANTS-IX, Jul 2010, Nancy, France. pp.32-49, ⟨10.1007/978-3-642-14518-6_7⟩
...
hal-00255804v1  Journal articles
Etienne GrandjeanFrédéric Olive. Graph properties checkable in linear time in the number of vertices
Journal Computer System Science, 2004, 68, pp.546-597
...
hal-00779971v1  Conference papers
Etienne GrandjeanFrédéric Olive. Descriptive complexity for pictures languages
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, Sep 2012, Fontainebleau, France. pp.1-15
hal-01083535v1  Conference papers
Javier HerranzFabien LaguillaumieCarla Ràfols. Constant Size Ciphertexts in Threshold Attribute-Based Encryption
13th International Conference on Practice and Theory in Public Key Cryptography 2010, May 2010, Paris, France. pp.19-34, ⟨10.1007/978-3-642-13013-7_2⟩
...
hal-01494246v2  Conference papers
Nicolas BacqueyEtienne GrandjeanFrédéric Olive. Definability by Horn formulas and linear time on cellular automata
ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩
...
hal-00786155v1  Conference papers
Johann Brault-Baron. A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, Sep 2012, Fontainebleau, France. pp.137-151