Urszula Wybraniec-Skardowska

21 papers Journal 15Unranked 3

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Operator Counterparts of Types of Reasoning. Logica Universalis Urszula Wybraniec-Skardowska
2020	J	`jnl`	Deductive Systems in Traditional and Modern Logic. Axioms Alex Citkin, Urszula Wybraniec-Skardowska
2019	J	`jnl`	On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers. Axioms Urszula Wybraniec-Skardowska
2017	—	`conf`	Zdzisław Pawlak: Man, Creator and Innovator ofComputer Sciences - Personal Memories. IJCRS (1) Urszula Wybraniec-Skardowska
2016	J	`jnl`	Logical Squares for Classical Logic Sentences. Logica Universalis Urszula Wybraniec-Skardowska
2016	J	`jnl`	On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency. Axioms Urszula Wybraniec-Skardowska
2014	J	`jnl`	Special Issue Including Selected Papers from the "Logic and Linguistics" Workshop of the 4th World Congress on Universal Logic. J. Log. Lang. Inf. Marcos Lopes, Urszula Wybraniec-Skardowska
2013	—	`ch.`	Rough Pragmatic Description Logic. Rough Sets and Intelligent Systems (2) Zbigniew Bonikowski, Edward Bryniarski, Urszula Wybraniec-Skardowska
2011	J	`jnl`	On Pairs of Dual Consequence Operations. Logica Universalis Urszula Wybraniec-Skardowska, Jacek Waldmajer
2009	—	`ch.`	On Meta-Knowledge and Truth. Towards Mathematical Philosophy Urszula Wybraniec-Skardowska
2008	J	`jnl`	Vagueness and Roughness. Trans. Rough Sets Zbigniew Bonikowski, Urszula Wybraniec-Skardowska
2007	J	`jnl`	Meaning and Interpretation. I. Stud Logica Urszula Wybraniec-Skardowska
2007	J	`jnl`	Meaning and Interpretation. II. Stud Logica Urszula Wybraniec-Skardowska
2007	—	`conf`	Rough Sets and Vague Sets. RSEISP Zbigniew Bonikowski, Urszula Wybraniec-Skardowska
2004	J	`jnl`	Foundations for the formalization of metamathematics and axiomatizations of consequence theories. Ann. Pure Appl. Log. Urszula Wybraniec-Skardowska
1998	J	`jnl`	Calculus of Contextual Rough Sets in Contextual Spaces. J. Appl. Non Class. Logics Edward Bryniarski, Urszula Wybraniec-Skardowska
1998	J	`jnl`	Extensions and Intentions in the Ruogh Set Theory. Inf. Sci. Zbigniew Bonikowski, Edward Bryniarski, Urszula Wybraniec-Skardowska
1998	J	`jnl`	Logical and Philosophical Ideas in Certain Formal Approaches to Language. Synth. Urszula Wybraniec-Skardowska
1993	—	`conf`	A Logical Explication of the Concepts of Incomplete and Uncertain Information. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems Urszula Wybraniec-Skardowska
1992	—	`ch.`	An Application of Rough Set Theory in the Control of Water Conditions on a Polder. Intelligent Decision Support Andrzej Reinhard, Urszula Wybraniec-Skardowska, Boguslaw Stawski, Tomasz Weber
1989	J	`jnl`	On the eliminatibility of ideal linguistic entities. Stud Logica Urszula Wybraniec-Skardowska

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.