G. Michele Pinna

72 papers A* 1B 9C 10Misc 4Journal 34Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Encoding Reversible Petri Nets into CCSK. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2026	B	`conf`	On Reversibility in Petri Nets. FoSSaCS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2025	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. ACM Trans. Comput. Log. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	C	`conf`	Model Checking Reversible Systems: Forwardly. RC Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	C	`conf`	Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2022	J	`jnl`	A Petri net view of covalent bonds. Theor. Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021	A*	`conf`	A distributed operational view of Reversible Prime Event Structures. LICS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021	J	`jnl`	A new operational representation of dependencies in Event Structures. Log. Methods Comput. Sci. G. Michele Pinna
2021	J	`jnl`	Memory associated with membranes systems. J. Membr. Comput. Gabriel Ciobanu, G. Michele Pinna
2021	C	`conf`	Towards a Truly Concurrent Semantics for Reversible CCS. RC Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2020	J	`jnl`	A new operational representation of dependencies in Event Structures. CoRR G. Michele Pinna
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	C	`conf`	Operational Representation of Dependencies in Context-Dependent Event Structures. COORDINATION G. Michele Pinna
2020	J	`jnl`	Representing Dependencies in Event Structures. Log. Methods Comput. Sci. G. Michele Pinna
2020	C	`conf`	Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019	C	`conf`	Representing Dependencies in Event Structures. COORDINATION G. Michele Pinna
2019	J	`jnl`	Representing Dependencies in Event Structures. CoRR G. Michele Pinna
2019	J	`jnl`	Reversible Causal Nets and Reversible Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2018	—	`conf`	Toward a Uniform Approach to the Unfolding of Nets. ICE Eric Fabre, G. Michele Pinna
2017	C	`conf`	Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. LATA Giovanni Casu, G. Michele Pinna
2017	Misc	`conf`	Petri nets and dynamic causality for service-oriented computations. SAC Giovanni Casu, G. Michele Pinna
2017	—	`conf`	Reversing Steps in Membrane Systems Computations. Int. Conf. on Membrane Computing G. Michele Pinna
2016	—	`conf`	An Unifying Framework for Compacting Petri Nets Behaviors. ICTCS Giovanni Casu, G. Michele Pinna
2016	J	`jnl`	Contracts as games on event structures. J. Log. Algebraic Methods Program. Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2015	J	`jnl`	Lending Petri nets. Sci. Comput. Program. Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2015	Misc	`conf`	Models of Circular Causality. ICDCIT Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2014	—	`conf`	A note on two notions of compliance. ICE Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2014	J	`jnl`	Catalytic and communicating Petri nets are Turing complete. Inf. Comput. Gabriel Ciobanu, G. Michele Pinna
2014	J	`jnl`	Circular Causality in Event Structures. Fundam. Informaticae Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2014	B	`conf`	Flow Unfolding of Multi-clock Nets. Petri Nets Giovanni Casu, G. Michele Pinna
2014	J	`jnl`	Power of Causal Dependencies in Rule-Based Systems. J. Autom. Lang. Comb. Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan
2013	—	`conf`	Lending Petri Nets and Contracts. FSEN Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012	—	`conf`	An event-based model for contracts PLACES Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2012	C	`conf`	Catalytic Petri Nets Are Turing Complete. LATA Gabriel Ciobanu, G. Michele Pinna
2012	J	`jnl`	Lending Petri nets and contracts CoRR Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012	J	`jnl`	Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. G. Michele Pinna, Andrea Saba
2012	Misc	`conf`	Timed Catalytic Petri Nets. SYNASC Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
2011	B	`conf`	How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. Petri Nets G. Michele Pinna
2010	C	`conf`	Simultaneity in Event Structures. TAMC G. Michele Pinna, Andrea Saba
2009	—	`conf`	Dependencies and Simultaneity in Membrane Systems MeCBIC G. Michele Pinna, Andrea Saba
2009	J	`jnl`	Process discovery and Petri nets. Math. Struct. Comput. Sci. Nadia Busi, G. Michele Pinna
2008	J	`jnl`	A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets Syst. Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi
2008	J	`jnl`	An Event Based Semantics of P Systems. Sci. Ann. Comput. Sci. G. Michele Pinna, Andrea Saba
2008	J	`jnl`	Foreword. Theory Comput. Syst. Mario Coppo, Elena Lodi, G. Michele Pinna
2006	Misc	`conf`	Characterizing Workflow Nets Using Regions. SYNASC Nadia Busi, G. Michele Pinna
2006	J	`jnl`	Event Structures with Disabling/Enabling Relation and Event Automata. Fundam. Informaticae G. Michele Pinna
2005	B	`conf`	Event Structures for the Collective Tokens Philosophy of Inhibitor Nets. MFCS G. Michele Pinna
2005	—	`ed.`	Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings ICTCS Mario Coppo, Elena Lodi, G. Michele Pinna
2004	J	`jnl`	Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2003	J	`jnl`	A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2002	J	`jnl`	Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2001	J	`jnl`	Component-based Verification in a Synchronous Setting. Int. J. Softw. Eng. Knowl. Eng. Agathe Merceron, G. Michele Pinna
2001	—	`conf`	Specifying and verifying reactive systems in a multi-language environment. TOSCA Agathe Merceron, Monika Müllerburg, G. Michele Pinna
2000	J	`jnl`	A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2000	J	`jnl`	Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae Nadia Busi, G. Michele Pinna
2000	B	`conf`	Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2000	—	`conf`	Refinement and Modular Verification with Observers. APAQS Agathe Merceron, G. Michele Pinna
1999	C	`conf`	Coordination of Synchronous Programs. COORDINATION Reinhard Budde, G. Michele Pinna, Axel Poigné
1999	J	`jnl`	Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae Nadia Busi, G. Michele Pinna
1998	B	`conf`	Verifying a Time-Triggered Protocol in a Multi-language Environment. SAFECOMP Agathe Merceron, Monika Müllerburg, G. Michele Pinna
1997	B	`conf`	Synthesis of Nets with Inhibitor Arcs. CONCUR Nadia Busi, G. Michele Pinna
1996	—	`conf`	Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets Nadia Busi, G. Michele Pinna
1995	—	`ch.`	Event Automata as a Generic Model of Reactive Systems. KORSO Book G. Michele Pinna, Axel Poigné
1995	J	`jnl`	On the Nature of Events: Another Perspective in Concurrency. Theor. Comput. Sci. G. Michele Pinna, Axel Poigné
1993	B	`conf`	On the Specification of Elementary Reactive Behaviour. MFPS G. Michele Pinna, Axel Poigné
1992	B	`conf`	On the Nature of Events. MFCS G. Michele Pinna, Axel Poigné
1991	J	`jnl`	A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski

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.