# Andrew Gacek

According to our database

Collaborative distances:

^{1}, Andrew Gacek authored at least 41 papers between 2007 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

CoRR, 2023

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

IEEE Trans. Software Eng., 2021

2020

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

IEEE Softw., 2019

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Computer, 2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

IEEE Softw., 2016

J. Autom. Reason., 2016

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.

CoRR, 2016

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

J. Formaliz. Reason., 2014

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2013

IEEE Softw., 2013

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

J. Autom. Reason., 2012

Proceedings of the NASA Formal Methods, 2012

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

Inf. Comput., 2011

2010

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

A Framework for Specifying, Prototyping, and Reasoning about Computational Systems

CoRR, 2009

2008

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

CoRR, 2008

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi

CoRR, 2007

The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi

CoRR, 2007

Proceedings of the Automated Deduction, 2007