Gabriele Pulcini

20 papers B 2Journal 17Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Hypersequent Calculus for Classical Contingencies. J. Philos. Log. Gabriele Pulcini, Achille C. Varzi
2024	J	`jnl`	Cut elimination by unthreading. Arch. Math. Log. Gabriele Pulcini
2024	J	`jnl`	Linear logic in a refutational setting. J. Log. Comput. Mario Piazza, Gabriele Pulcini, Matteo Tesi
2023	J	`jnl`	Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. J. Philos. Log. Mario Piazza, Gabriele Pulcini, Andrea Sabatini
2023	J	`jnl`	Complementary Proof Nets for Classical Logic. Logica Universalis Gabriele Pulcini, Achille C. Varzi
2023	J	`jnl`	Fractional-Valued Modal Logic. Rev. Symb. Log. Mario Piazza, Gabriele Pulcini, Matteo Tesi
2022	J	`jnl`	A note on cut-elimination for classical propositional logic. Arch. Math. Log. Gabriele Pulcini
2020	J	`jnl`	Fractional Semantics for Classical Logic. Rev. Symb. Log. Mario Piazza, Gabriele Pulcini
2018	J	`jnl`	Paraconsistency in classical logic. Synth. Gabriele Pulcini, Achille C. Varzi
2017	J	`jnl`	Cut-elimination and deductive polarization in complementary classical logic. Log. J. IGPL Walter Alexandre Carnielli, Gabriele Pulcini
2017	J	`jnl`	Unifying logics via context-sensitiveness. J. Log. Comput. Mario Piazza, Gabriele Pulcini
2016	J	`jnl`	Uniqueness of axiomatic extensions of cut-free classical propositional logic. Log. J. IGPL Mario Piazza, Gabriele Pulcini
2014	J	`jnl`	A logical calculus for controlled monotonicity. J. Appl. Log. Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2013	J	`jnl`	A logic of non-monotonic interactions. J. Appl. Log. Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2010	J	`jnl`	Rewriting systems for the surface classification theorem. Math. Struct. Comput. Sci. Gabriele Pulcini
2009	J	`jnl`	A geometrical procedure for computing relaxation. Ann. Pure Appl. Log. Gabriele Pulcini
2009	J	`jnl`	Computing surfaces via pq-permutations. Int. J. Imaging Syst. Technol. Gabriele Pulcini
2008	—	`conf`	Computing Surfaces via pq-Permutations. IWCIA Special Track on Applications Gabriele Pulcini
2007	B	`conf`	Permutative Additives and Exponentials. LPAR Gabriele Pulcini
2005	B	`conf`	Permutative Logic. CSL Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet

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.