Pablo Arrighi
80
Documents
Identifiants chercheurs
Site web
Domaines de recherche
Informatique [cs]
Physique [physics]
Compétences
Quantum computation
Models of computation
Rewriting theory
Cellular automata
Quantum simulation
Publications
Publications
|
|
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⟩
Communication dans un congrès
hal-04727052
v1
|
|
|
Graph SubshiftsCiE 2023 - 19th Conference on Computability in Europe, Jul 2023, Batumi, Georgia. pp.261-274, ⟨10.1007/978-3-031-36978-0_21⟩
Communication dans un congrès
hal-04310695
v1
|
|
|
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⟩
Communication dans un congrès
hal-03937536
v1
|
|
|
Graph Subshifts27th International Workshop on Cellular Automata and Discrete Complex Systems, Jul 2021, Marseille, France. ⟨10.48550/arXiv.2302.07249⟩
Communication dans un congrès
hal-03238087
v3
|
|
|
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⟩
Communication dans un congrès
hal-01824869
v1
|
|
|
Reversible Causal Graph DynamicsReversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩
Communication dans un congrès
hal-01361427
v1
|
|
|
Discrete Geodesics and Cellular AutomataTheory and Practice of Natural Computing, Dec 2015, Mieres, Spain. ⟨10.1007/978-3-319-26841-5_11⟩
Communication dans un congrès
hal-01252131
v1
|
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⟩
Communication dans un congrès
hal-01249272
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-00924926
v1
|
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⟩
Communication dans un congrès
hal-00944492
v1
|
|
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
Communication dans un congrès
hal-00944502
v1
|
|
|
|
Generalized Cayley Graphs and Cellular Automata over themGCM, 2012, Bremen, Germany. Local proceedings
Communication dans un congrès
hal-00944506
v1
|
|
|
The physical Church-Turing thesis and the principles of quantum theoryQIPC, 2011, Zurich, Switzerland. Local proceedings
Communication dans un congrès
hal-00944544
v1
|
|
|
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
Communication dans un congrès
hal-00944504
v1
|
|
|
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⟩
Communication dans un congrès
hal-00924875
v1
|
|
|
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⟩
Communication dans un congrès
hal-00924890
v1
|
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
Communication dans un congrès
hal-00944532
v1
|
|
The block neighbourhoodSecond Symposium on Cellular Automata "Journées Automates Cellulaires", 2010, Turku, Finland. pp.43-53
Communication dans un congrès
hal-00945720
v1
|
|
|
|
The Block NeighborhoodJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.43-53
Communication dans un congrès
hal-00542488
v1
|
|
|
Unitarity plus causality implies localizabilityQIP, 2010, Zurich, Switzerland. Local proceedings
Communication dans un congrès
hal-00945710
v1
|
|
|
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⟩
Communication dans un congrès
hal-00940923
v1
|
A Simple n-Dimensional Intrinsically Universal Quantum Cellular AutomatonLATA, 2010, Germany. pp.70-81
Communication dans un congrès
hal-00940936
v1
|
|
|
|
A Quantum Game of LifeJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.31-42
Communication dans un congrès
hal-00542373
v1
|
|
|
Quantization of cellular automataJAC 2008, Apr 2008, Uzès, France. pp.204-215
Communication dans un congrès
hal-00274002
v1
|
|
|
Proceedings 17th International Conference on Quantum Physics and LogicElectronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩
Proceedings/Recueil des communications
hal-03553539
v1
|
Modèles de calcul quantiquesÉtienne BAUDRIER Lo\"ic MAZO. Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016
Chapitre d'ouvrage
hal-01467253
v1
|
|
The principle of finite density of informationHector Zenil. Irreducibility and Computational Equivalence, Springer-Verlag, 2013
Chapitre d'ouvrage
hal-01002435
v1
|
Chargement...
Chargement...