# Aleksey Nogin

According to our database

Collaborative distances:

^{1}, Aleksey Nogin authored at least 21 papers between 2000 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2017

Proc. ACM Program. Lang., 2017

2014

IEEE Trans. Neural Networks Learn. Syst., 2014

2012

Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler.

IEEE Trans. Neural Networks Learn. Syst., 2012

2008

J. Log. Comput., 2008

2007

Electron. Notes Theor. Comput. Sci., 2007

2006

High. Order Symb. Comput., 2006

Electron. Notes Theor. Comput. Sci., 2006

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

A computational approach to reflective meta-reasoning about languages with bindings.

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Mechanism for Sequential Consistency in a Distributed Objects System.

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Electron. Notes Theor. Comput. Sci., 2000

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000