Filter your results
- 14
- 8
- 10
- 4
- 4
- 2
- 1
- 1
- 1
- 22
- 17
- 11
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 5
- 5
- 1
- 2
- 21
- 1
- 21
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
AGREE - Algebraic Graph Rewriting with Controlled EmbeddingICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Conference papers
hal-01403189v1
|
||
|
Optimal accessing and non-accessing structures for graph protocols2011
Preprints, Working Papers, ...
hal-00944430v1
|
||
|
The physical Church-Turing thesis and the principles of quantum theoryQIPC, 2011, Zurich, Switzerland. Local proceedings
Conference papers
hal-00944544v1
|
||
|
Graph States, Pivot Minor, and Universality of (X,Z)-measurementsInternational Journal of Unconventional Computing, 2013, 9 (1-2), pp.153-171
Journal articles
hal-00934104v1
|
||
Stochastic Cellular Automata: Correlations, Decidability and SimulationsFundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩
Journal articles
hal-00944466v1
|
|||
|
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph StatesTQC 2012 - 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-642-35656-8_1⟩
Conference papers
hal-00934531v1
|
||
Categorical Abstract Rewriting Systems and Functoriality of Graph TransformationGT-VMT 2011 - International Workshop on Graph Transformation and Visual Modeling Techniques (satellite workshop of ETAPS 2011), Apr 2011, Saarbrücken, Germany. 17 p
Conference papers
hal-00828532v1
|
|||
|
Which graph states are useful for quantum information processing?TQC 2011 - Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p
Conference papers
hal-00932374v1
|
||
|
Polytope compatibility2023
Preprints, Working Papers, ...
hal-04082901v1
|
||
Combinatorial graph games.Ars Combinatoria, 2008
Journal articles
hal-00290414v1
|
|||
|
Quantum Polar CodesInformation Theory [math.IT]. Université Grenoble Alpes [2020-..], 2021. English. ⟨NNT : 2021GRALM042⟩
Theses
tel-03588305v1
|
||
|
Schémas de formules et de preuves en logique propositionnelleAutre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2010. Français. ⟨NNT : ⟩
Theses
tel-00523658v1
|
||
|
On group theory for quantum gates and quantum coherenceJournal of Physics A: Mathematical and Theoretical, 2008, 41, pp.182001
Journal articles
hal-00263678v2
|
||
|
Proof Technology and Learning in Mathematics: Common Issues and PerspectivesHanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in Mathematics Research and Teaching, Springer, pp.349-365, 2019, 978-3-030-28483-1
Book sections
hal-02333646v1
|
||
|
Contextuality in multipartie pseudo-telepathy graph gamesFCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. pp.41-55, ⟨10.1007/978-3-662-55751-8_5⟩
Conference papers
hal-01378413v1
|
||
|
Graph Transformation with Focus on Incident EdgesICGT 2012 - 6th International Conference on Graph Transformations, Sep 2012, Bremen, Germany. pp.156-171, ⟨10.1007/978-3-642-33654-6_11⟩
Conference papers
hal-00828535v1
|
||
|
The Pullback-Pushout Approach to Algebraic Graph TransformationICGT 2017, Jul 2017, Marburg, Germany. pp.3-19, ⟨10.1007/978-3-319-61470-0_1⟩
Conference papers
hal-01984745v1
|
||
|
Causal graph dynamics2012
Preprints, Working Papers, ...
hal-00944505v1
|
||
|
Generalized Cayley Graphs and Cellular Automata over themGCM, 2012, Bremen, Germany. Local proceedings
Conference papers
hal-00944506v1
|
||
|
Applying causality principles to the axiomatization of probabilistic cellular automata2011
Preprints, Working Papers, ...
hal-00944542v1
|
||
|
Quantum Secret Sharing with Graph StatesMEMICS 2012 - International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. pp.15-31, ⟨10.1007/978-3-642-36046-6_3⟩
Conference papers
hal-00933722v1
|
||
|
Parallel Graph Rewriting with Overlapping Rules[Research Report] LJK and LIG. 2016, pp.26
Reports
hal-01408834v1
|