# Nikos Tzevelekos

Orcid: 0000-0001-8509-8059
According to our database

Collaborative distances:

^{1}, Nikos Tzevelekos authored at least 45 papers between 2006 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence.

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

J. Syst. Archit., December, 2023

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2021

Proc. ACM Program. Lang., 2021

J. ACM, 2021

There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques.

CoRR, 2021

2020

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

J. Log. Algebraic Methods Program., 2019

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Formal Methods Syst. Des., 2018

CoRR, 2018

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

J. Comput. Syst. Sci., 2017

CoRR, 2017

Ann. Pure Appl. Log., 2017

2016

ACM SIGLOG News, 2016

Found. Trends Program. Lang., 2016

Log. Methods Comput. Sci., 2016

Log. Methods Comput. Sci., 2016

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).

NII Shonan Meet. Rep., 2015

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Proceedings of the Automated Technology for Verification and Analysis, 2015

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Ann. Pure Appl. Log., 2013

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

CoRR, 2012

Comput. Lang. Syst. Struct., 2012

2011

CoRR, 2011

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Proceedings of the Programming Languages and Systems, 2011

2010

Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

2009

Log. Methods Comput. Sci., 2009

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2006

Theor. Comput. Sci., 2006