Sites Inria

English version

Equipe de recherche MOCQUA

Publications de l'équipe MOCQUA

2019

Article dans une revue

titre
On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
auteur
Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
article
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01905491/file/median_computations_MVLSC-CMPS.pdf BibTex

Pré-publication, Document de travail

titre
Completeness of Graphical Languages for Mixed States Quantum Mechanics
auteur
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02025720/file/discard.pdf BibTex

2018

Article dans une revue

titre
A Type-Based Complexity Analysis of Object Oriented Programs
auteur
Emmanuel Hainry, Romain Péchoux
article
Information and Computation, Elsevier, 2018, Information and Computation, 261 (1), pp.78-115. . <10.1016/j.ic.2018.05.006>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01712506/file/Object.pdf BibTex
titre
Automates cellulaires : la complexité dans les règles de l'art
auteur
Nazim Fatès, Irène Marcovici
article
La Recherche : l'actualité des sciences, société d'éditions scientifiques, 2018
Accès au bibtex
BibTex
titre
Remarks on the cellular automaton global synchronisation problem – deterministic vs. stochastic models
auteur
Nazim Fatès
article
Natural Computing, Springer Verlag, In press, <10.1007/s11047-018-9683-0>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653631/file/hal-CA-globalSynchProblem-Fates-2018.pdf BibTex

Communication dans un congrès

titre
A pedagogical example: a family of stochastic cellular automata that plays Alesia
auteur
Nazim Fatès
article
ACRI 2018 - 13th International Conference on Cellular Automata for Research and Industry, Sep 2018, Como, Italy. LNCS (11115), 2018, International Conference on Cellular Automata (ACRI 2018). <10.1007/978-3-319-99813-8_35>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01936310/file/hal-Alesia-Fates-ACRI2018.pdf BibTex
titre
Topological analysis of representations
auteur
Mathieu Hoyrup
article
CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01919395/file/final.pdf BibTex
titre
Semicomputable geometry
auteur
Mathieu Hoyrup, Diego Nava Saucedo, Donald Stull
article
ICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01770562/file/fullversion%20%281%29.pdf BibTex
titre
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. <10.1145/3209108.3209131>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01529623/file/pi_4-completeness-arxiv-v2.pdf BibTex
titre
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. <10.1145/3209108.3209139>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01716501/file/beyond_clifford%2BT-arxiv.pdf BibTex
titre
Construction of Some Nonautomatic Sequences by Cellular Automata
auteur
Irène Marcovici, Thomas Stoll, Pierre-Adrien Tahay
article
Jan M. Baetens; Martin Kutrib. AUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10875, pp.113-126, 2018, Cellular Automata and Discrete Complex Systems. <10.1007/978-3-319-92675-9_9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01824876/file/469010_1_En_9_Chapter.pdf BibTex
titre
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
auteur
Renaud Vilmart
article
Peter Selinger; Giulio Chiribella. QPL 2018, Jun 2018, Halifax, Canada. 287, pp.313-344, Proceedings of the 15th International Conference on Quantum Physics and Logic. <10.4204/EPTCS.287.18>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762264/file/Toffoli-arxiv.pdf BibTex

Chapitre d'ouvrage

titre
Is there a trade-off between simplicity and robustness? Illustration on a lattice-gas model of swarming
auteur
Nazim Fatès, Vincent Chevrier, Olivier Bouré
article
Pierre-Yves Louis; Francesca R. Nardi. Probabilistic Cellular Automata, Springer, 2018, Emergence, Complexity and Computation, 978-3-319-65556-7. <10.1007/978-3-319-65558-1_16>.
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01230145/file/hal-FatesEtAl-Swarming-LGCA-2015.pdf BibTex
titre
Asynchronous cellular automata
auteur
Nazim Fatès
article
Robert Meyers. Encyclopedia of Complexity and Systems Science, Springer, pp.21, 2018, 978-3-642-27737-5. <10.1007/978-3-642-27737-5_671-1>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653675/file/hal-Fates-asynchCA-encyclopedia.pdf BibTex
titre
On the reversibility of ECAs with fully asynchronous updating: the recurrence point of view
auteur
Nazim Fatès, Biswanath Sethi, Sukanta Das
article
Springer. Reversibility and Universality, 2018, <10.1007/978-3-319-73216-9_15>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01571847/file/FatesDasSethi-recurrentECA-hal-v1-2017.pdf BibTex

Mémoire d'étudiant

titre
Système robuste de diagnostic décentralisé à l'aide d'automates cellulaires simples
auteur
Nicolas Gauville
article
Automates cellulaires et gaz sur réseau [nlin.CG]. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01894581/file/Rapport-Nicolas-Gauville-envoi.pdf BibTex

Rapport

titre
Le raisonnement inductif sous toutes ses formes
auteur
Sofien Ben Ayed
article
[Stage] Inria Nancy - Grand Est. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01885909/file/Le%20raisonnement%20inductif%20sous%20toutes%20ses%20formes-corrige%CC%81.pdf BibTex

Pré-publication, Document de travail

titre
A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
auteur
Renaud Vilmart
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963426/file/euler.pdf BibTex
titre
Secure certification of mixed quantum states with application to two-party randomness generation
auteur
Frederic Dupuis, Serge Fehr, Philippe Lamontagne, Louis Salvail
article
2018
Accès au bibtex
https://arxiv.org/pdf/1804.04730 BibTex
titre
Entropy accumulation with improved second-order
auteur
Frederic Dupuis, Omar Fawzi
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01925985/file/EAT-second-order-paper.pdf BibTex
titre
The rational fragment of the ZX-calculus
auteur
Emmanuel Jeandel
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01893598/file/supp.pdf BibTex
titre
Undecidable word problem in subshift automorphism groups
auteur
Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01862896/file/wordpb.pdf BibTex
titre
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01791791/file/normal-forms-NF.pdf BibTex
titre
Results in descriptive set theory on some represented spaces
auteur
Mathieu Hoyrup
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01657883/file/DST.pdf BibTex

Suivez Inria