Pablo Arrighi - RankMe

89 papers B 3C 8Journal 59Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	QuIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics Simulations. IPDPS (Workshops) Joseph Touzet, Oguz Kaya, Pablo Arrighi, Amélia Durbec
2025	J	`jnl`	Space-time reversible graph rewriting. CoRR Pablo Arrighi, Marin Costes, Luidnel Maignan
2024	C	`conf`	A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. RC Pablo Arrighi, Gilles Dowek, Amélia Durbec
2024	J	`jnl`	A typology of quantum algorithms. CoRR Pablo Arnault, Pablo Arrighi, Steven Herbert, Evi Kasnetsi, Tianyi Li
2024	J	`jnl`	Quantum networks theory. Quantum Pablo Arrighi, Amélia Durbec, Matt Wilson
2024	J	`jnl`	Space-time deterministic graph rewriting. CoRR Pablo Arrighi, Marin Costes, Gilles Dowek, Luidnel Maignan
2023	J	`jnl`	A relativistic discrete spacetime formulation of 3+1 QED. Quantum Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi
2023	J	`jnl`	A toy model provably featuring an arrow of time without past hypothesis. CoRR Pablo Arrighi, Gilles Dowek, Amélia Durbec
2023	J	`jnl`	Addressable Quantum Gates. ACM Trans. Quantum Comput. Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
2023	J	`jnl`	Gauge-invariance in cellular automata. Nat. Comput. Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2023	C	`conf`	Graph Subshifts. CiE Pablo Arrighi, Amélia Durbec, Pierre Guillon
2023	J	`jnl`	Graph subshifts. CoRR Pablo Arrighi, Amélia Durbec, Pierre Guillon
2023	J	`jnl`	The principle of a finite density of information. CoRR Pablo Arrighi, Gilles Dowek
2022	J	`jnl`	A relativistic discrete spacetime formulation of 3+1 QED. CoRR Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi
2021	J	`jnl`	Addressable quantum gates. CoRR Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
2021	—	`ed.`	Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. QPL Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden
2021	J	`jnl`	Quantum networks theory. CoRR Pablo Arrighi, Amélia Durbec, Matt Wilson
2021	B	`conf`	Universal Gauge-Invariant Cellular Automata. MFCS Pablo Arrighi, Marin Costes, Nathanaël Eon
2021	J	`jnl`	Universal gauge-invariant cellular automata. CoRR Pablo Arrighi, Marin Costes, Nathanaël Eon
2020	J	`jnl`	A quantum cellular automaton for one-dimensional QED. Quantum Inf. Process. Pablo Arrighi, Cédric Bény, Terry Farrelly
2020	J	`jnl`	A quantum walk with both a continuous-time limit and a continuous-spacetime limit. Quantum Inf. Process. Giuseppe Di Molfetta, Pablo Arrighi
2020	J	`jnl`	Gauge-invariance in cellular automata. CoRR Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2020	J	`jnl`	Quantum superpositions of graphs. CoRR Pablo Arrighi, Marios Christodoulou, Amélia Durbec
2020	J	`jnl`	Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. Pablo Arrighi, Simon Martiel, Simon Perdrix
2019	J	`jnl`	A quantum cellular automaton for one-dimensional QED. CoRR Pablo Arrighi, Cédric Bény, Terry Farrelly
2019	J	`jnl`	A quantum walk with both a continuous-time and a continuous-spacetime limit. CoRR Giuseppe Di Molfetta, Pablo Arrighi
2019	J	`jnl`	An overview of Quantum Cellular Automata. CoRR Pablo Arrighi
2019	J	`jnl`	An overview of quantum cellular automata. Nat. Comput. Pablo Arrighi
2019	J	`jnl`	Non-Abelian Gauge-Invariant Cellular Automata. CoRR Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2019	—	`conf`	Non-abelian Gauge-Invariant Cellular Automata. TPNC Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2019	C	`conf`	Reversibility vs Local Creation/Destruction. RC Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
2019	J	`jnl`	The Grover search as a naturally occurring phenomenon. CoRR Stéphane Guillet, Mathieu Roget, Pablo Arrighi, Giuseppe Di Molfetta
2018	—	`conf`	A Gauge-Invariant Reversible Cellular Automaton. Automata Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2018	J	`jnl`	A gauge-invariant reversible cellular automaton. CoRR Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
2018	—	`conf`	Causal dynamics of discrete manifolds. NCMA Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel
2018	J	`jnl`	Causal dynamics of discrete manifolds. CoRR Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel
2018	J	`jnl`	Cellular automata over generalized Cayley graphs. Math. Struct. Comput. Sci. Pablo Arrighi, Simon Martiel, Vincent Nesme
2018	J	`jnl`	Quantum walking in curved spacetime: discrete metric. Quantum Pablo Arrighi, Giuseppe Di Molfetta, Stefano Facchini
2018	J	`jnl`	Reversibility vs local creation/destruction. CoRR Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
2018	J	`jnl`	The Dirac equation as a quantum walk over the honeycomb and triangular lattices. CoRR Pablo Arrighi, Giuseppe Di Molfetta, Iván Márquez-Martín, Armando Pérez
2017	J	`jnl`	(3+1) dimensions, and beyond. Quantum Inf. Comput. Pablo Arrighi, Stefano Facchini
2017	J	`jnl`	Lineal: A linear-algebraic Lambda-calculus. Log. Methods Comput. Sci. Pablo Arrighi, Gilles Dowek
2017	J	`jnl`	The vectorial λ-calculus. Inf. Comput. Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2016	J	`jnl`	Quantum Causal Graph Dynamics. CoRR Pablo Arrighi, Simon Martiel
2016	J	`jnl`	Quantum walking in curved spacetime. Quantum Inf. Process. Pablo Arrighi, Stefano Facchini, Marcelo Forets
2016	C	`conf`	Reversible Causal Graph Dynamics. RC Pablo Arrighi, Simon Martiel, Simon Perdrix
2015	B	`conf`	Block Representation of Reversible Causal Graph Dynamics. FCT Pablo Arrighi, Simon Martiel, Simon Perdrix
2015	—	`conf`	Discrete Geodesics and Cellular Automata. TPNC Pablo Arrighi, Gilles Dowek
2015	J	`jnl`	Discrete geodesics and cellular automata. CoRR Pablo Arrighi, Gilles Dowek
2015	—	`conf`	Free fall and cellular automata. DCM Pablo Arrighi, Gilles Dowek
2015	J	`jnl`	Reversible Causal Graph Dynamics. CoRR Pablo Arrighi, Simon Martiel, Simon Perdrix
2014	—	`conf`	The GOOL system: a lightweight object-oriented programming language translator. ICOOOLPS@ECOOP Pablo Arrighi, Johan Girard, Miguel Lezama, Kévin Mazet
2013	—	`conf`	Causal Dynamics of Discrete Surfaces. DCM Pablo Arrighi, Simon Martiel, Zizhu Wang
2013	J	`jnl`	Causal graph dynamics. Inf. Comput. Pablo Arrighi, Gilles Dowek
2013	J	`jnl`	Stochastic Cellular Automata: Correlations, Decidability and Simulations CoRR Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
2013	J	`jnl`	Stochastic Cellular Automata: Correlations, Decidability and Simulations. Fundam. Informaticae Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
2013	J	`jnl`	The Vectorial Lambda-Calculus. CoRR Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2012	J	`jnl`	A simple block representation of reversible cellular automata with time-symmetry CoRR Pablo Arrighi, Vincent Nesme
2012	—	`conf`	Causal Graph Dynamics. ICALP (2) Pablo Arrighi, Gilles Dowek
2012	J	`jnl`	Causal graph dynamics CoRR Pablo Arrighi, Gilles Dowek
2012	J	`jnl`	Generalized Cayley Graphs and Cellular Automata over them CoRR Pablo Arrighi, Simon Martiel, Vincent Nesme
2012	—	`conf`	Intrinsic Simulations between Stochastic Cellular Automata AUTOMATA & JAC Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
2012	J	`jnl`	Intrinsically universal n-dimensional quantum cellular automata. J. Comput. Syst. Sci. Pablo Arrighi, Jonathan Grattage
2012	J	`jnl`	Partitioned quantum cellular automata are intrinsically universal. Nat. Comput. Pablo Arrighi, Jonathan Grattage
2012	J	`jnl`	Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic Log. Methods Comput. Sci. Pablo Arrighi, Alejandro Díaz-Caro
2012	J	`jnl`	The Physical Church-Turing Thesis and the Principles of Quantum Theory. Int. J. Found. Comput. Sci. Pablo Arrighi, Gilles Dowek
2011	C	`conf`	Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. CiE Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
2011	J	`jnl`	Applying causality principles to the axiomatization of probabilistic cellular automata CoRR Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
2011	J	`jnl`	One-Dimensional Quantum Cellular Automata. Int. J. Unconv. Comput. Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
2011	—	`conf`	Subject reduction in a Curry-style polymorphic type system with a vectorial structure DCM Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2011	J	`jnl`	The physical Church-Turing thesis and the principles of quantum theory CoRR Pablo Arrighi, Gilles Dowek
2011	J	`jnl`	Unitarity plus causality implies localizability. J. Comput. Syst. Sci. Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
2010	—	`conf`	A Quantum Game of Life. JAC Pablo Arrighi, Jonathan Grattage
2010	C	`conf`	A Simple LATA Pablo Arrighi, Jonathan Grattage
2010	C	`conf`	On the Completeness of Quantum Computation Models. CiE Pablo Arrighi, Gilles Dowek
2010	J	`jnl`	On the completeness of quantum computation models CoRR Pablo Arrighi, Gilles Dowek
2010	J	`jnl`	The Block Neighborhood CoRR Pablo Arrighi, Vincent Nesme
2010	—	`conf`	The Block Neighborhood. JAC Pablo Arrighi, Vincent Nesme
2009	J	`jnl`	A computational definition of the notion of vectorial space CoRR Pablo Arrighi, Gilles Dowek
2009	J	`jnl`	Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Fundam. Informaticae Pablo Arrighi, Renan Fargetton, Zizhu Wang
2009	—	`conf`	Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. QPL@MFPS Pablo Arrighi, Alejandro Díaz-Caro
2008	—	`conf`	Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA Pablo Arrighi, Gilles Dowek
2008	—	`conf`	Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. QPL/DCM@ICALP Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage
2008	C	`conf`	One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
2008	—	`conf`	Quantization of cellular automata. JAC Pablo Arrighi, Vincent Nesme
2006	B	`conf`	Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS Pablo Arrighi
2006	J	`jnl`	Lineal: A linear-algebraic Lambda-calculus. CoRR Pablo Arrighi, Gilles Dowek
2004	—	`conf`	A Computational Definition of the Notion of Vectorial Space. WRLA Pablo Arrighi, Gilles Dowek
2003	J	`jnl`	Quantum Computation Explained to My Mother. Bull. EATCS Pablo Arrighi

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.