( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.

, и . IJCAI, стр. 4150-4154. IJCAI/AAAI Press, (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.

Loyola D'Silva

Balakumar Vijayakrishnan

Vijay Divi

Vijay Singh

Preethi Vijayaraj

 

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

Existential abstractions for distributed reactive systems via syntactic transformations., , и . EMSOFT, стр. 240-248. ACM, (2007)Generalizing Simulation to Abstract Domains.. CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 485-499. Springer, (2013)A Toolset for Modelling and Verification of GALS Systems., , , , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 506-509. Springer, (2004)Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer., и . IJCAI, стр. 4150-4154. IJCAI/AAAI Press, (2016)Bridge Over Troubled Wrappers: Automated Interface Synthesis., , и . VLSI Design, стр. 189-194. IEEE Computer Society, (2004)Contextual Policy Enforcement in Android Applications with Permission Event Graphs., , , , , , , , и . NDSS, The Internet Society, (2013)The Correctness-Security Gap in Compiler Optimization., , и . IEEE Symposium on Security and Privacy Workshops, стр. 73-87. IEEE Computer Society, (2015)Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures., , и . DATE, стр. 390-395. IEEE Computer Society, (2004)Abstract Interpretation as Automated Deduction., и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 450-464. Springer, (2015)Propositional Interpolation and Abstract Interpretation.. ESOP, том 6012 из Lecture Notes in Computer Science, стр. 185-204. Springer, (2010)