Pablo Arrighi
Domaines de recherche
Compétences
Publications
Publications
|
|
QUIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics SimulationsQ-CASA 2025 - IPDPS Workshop on Quantum Computing Algorithms, Systems, and Applications, Jun 2025, Milan, Italy. pp.491-500, ⟨10.1109/IPDPSW66978.2025.00080⟩ |
|
|
A toy model provably featuring an arrow of time without past hypothesisRC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.50-68, ⟨10.1007/978-3-031-62076-8_4⟩ |
|
|
Graph SubshiftsCiE 2023 - 19th Conference on Computability in Europe, Jul 2023, Batumi, Georgia. pp.261-274, ⟨10.1007/978-3-031-36978-0_21⟩ |
|
|
Universal gauge-invariant cellular automata46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Aug 2021, Talinn, Estonia. pp.1-14, ⟨10.4230/LIPIcs.MFCS.2021.9⟩ |
|
|
Graph Subshifts27th International Workshop on Cellular Automata and Discrete Complex Systems, Jul 2021, Marseille, France. ⟨10.48550/arXiv.2302.07249⟩ |
|
|
A Gauge-Invariant Reversible Cellular Automaton24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.1-12, ⟨10.1007/978-3-319-92675-9_1⟩ |
|
|
Reversible Causal Graph DynamicsReversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩ |
Block Representation of Reversible Causal Graph Dynamics20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩ |
|
|
|
Discrete Geodesics and Cellular AutomataTheory and Practice of Natural Computing, Dec 2015, Mieres, Spain. ⟨10.1007/978-3-319-26841-5_11⟩ |
Causal Graph DynamicsICALP 2012 - 39th International ColloquiumAutomata, Languages, and Programming, Jul 2012, Warwick, United Kingdom. pp.54-66, ⟨10.1007/978-3-642-31585-5_9⟩ |
|
|
|
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-CalculusDCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩ |
|
|
Generalized Cayley Graphs and Cellular Automata over themGCM, 2012, Bremen, Germany. Local proceedings |
Intrinsic Simulations between Stochastic Cellular Automata18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224 |
|
Applying Causality Principles to the Axiomatization of Probabilistic Cellular AutomataModels of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10 |
|
|
|
A simple block representation of reversible cellular automata with time-symmetry17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings |
|
|
The physical Church-Turing thesis and the principles of quantum theoryQIPC, 2011, Zurich, Switzerland. Local proceedings |
|
|
Measurements and confluence in quantum lambda calculi with explicit qubitsQPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. pp.59-74, ⟨10.1016/j.entcs.2011.01.006⟩ |
|
|
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical LogicQPL 2009 - International Workshop on Quantum Physics and Logic, Apr 2009, Oxford, United Kingdom. pp.219-229, ⟨10.1016/j.entcs.2011.01.033⟩ |
|
|
A Quantum Game of LifeJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.31-42 |
A Simple n-Dimensional Intrinsically Universal Quantum Cellular AutomatonLATA, 2010, Germany. pp.70-81 |
|
The block neighbourhoodSecond Symposium on Cellular Automata "Journées Automates Cellulaires", 2010, Turku, Finland. pp.43-53 |
|
|
|
On the Completeness of Quantum Computation ModelsCiE 2010 - 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Azores, Portugal. pp.21-30, ⟨10.1007/978-3-642-13962-8_3⟩ |
|
|
Unitarity plus causality implies localizabilityQIP, 2010, Zurich, Switzerland. Local proceedings |
|
|
The Block NeighborhoodJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.43-53 |
|
|
Quantization of cellular automataJAC 2008, Apr 2008, Uzès, France. pp.204-215 |
|
|
Proceedings 17th International Conference on Quantum Physics and LogicElectronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩ |
Modèles de calcul quantiquesÉtienne BAUDRIER Lo\"ic MAZO. Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016 |
|
The principle of finite density of informationHector Zenil. Irreducibility and Computational Equivalence, Springer-Verlag, 2013 |