( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Decision Procedure for Separation Logic in SMT.

, , и . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Philip Iosifidis

Iosif Ioannidis

Iosif Karadedos

Iosif Antochi

Iosif Nachmias

 

Другие публикации лиц с тем же именем

Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems., , и . CoRR, (2020)Reasoning about distributed reconfigurable systems., , , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 145-174 (2022)Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules., , и . Inf. Process. Lett., (2022)Using Garbage Collection in Model Checking., и . SPIN, том 1885 из Lecture Notes in Computer Science, стр. 20-33. Springer, (2000)Deciding Entailments in Inductive Separation Logic with Tree Automata., , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 201-218. Springer, (2014)Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems., , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 71-89. Springer, (2016)Space-Reduction Strategies for Model Checking Dynamic Software., , , и . SoftMC@CAV, том 89 из Electronic Notes in Theoretical Computer Science, стр. 499-517. Elsevier, (2003)A Complete Cyclic Proof System for Inductive Entailments in First Order Logic., и . LPAR, том 57 из EPiC Series in Computing, стр. 435-453. EasyChair, (2018)A Deadlock Detection Tool for Concurrent Java Programs., , и . Softw. Pract. Exp., 29 (7): 577-603 (1999)Underapproximation of procedure summaries for integer programs., , и . Int. J. Softw. Tools Technol. Transf., 19 (5): 565-584 (2017)