Vasilyi Shangin

11 papers B 2C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
Correspondence Analysis for Some Fragments of Classical Propositional Logic.
Logica Universalis
Yaroslav I. Petrukhin, Vasilyi Shangin
2018 J jnl
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications.
FLAP
Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
2014 B conf
Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting.
COMPSAC
Alexander Bolotov, Vasilyi Shangin
2012 J jnl
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.
J. Intell. Syst.
Alexander Bolotov, Vasilyi Shangin
2011 — conf
Natural Deduction System in Paraconsistent Setting: proof search for PCont.
IICAI
Alexander Bolotov, Vasilyi Shangin
2007 — conf
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.
IICAI
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2007 C conf
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
TIME
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2006 — conf
Natural Deduction Calculus for Computation Tree Logic.
John Vincent Atanasoff Symposium
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2006 B conf
Natural Deduction Calculus for Linear-Time Temporal Logic.
JELIA
Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin
2006 J jnl
Socratic Proofs for Quantifiers.
J. Philos. Log.
Andrzej Wisniewski, Vasilyi Shangin
2005 — conf
Automated First Order Natural Deduction.
IICAI
Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski