Aleksey Nogin

According to our database1, Aleksey Nogin authored at least 21 papers between 2000 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Semantics and Axiomatization for Stochastic Differential Dynamic Logic.
CoRR, 2021

2017
A verified messaging system.
Proc. ACM Program. Lang., 2017

2014
HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters.
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
On Dynamic Topological Logic of the Real Line.
J. Log. Comput., 2008

2007
Practical Reflection for Sequent Logics.
Electron. Notes Theor. Comput. Sci., 2007

2006
Formal compiler construction in a logical framework.
High. Order Symb. Comput., 2006

Formalizing Type Operations Using the "Image" Type Constructor.
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

: Designing a Scalable Build Process.
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
Extensible Hierarchical Tactic Construction in a Logical Framework.
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
MetaPRL - A Modular Logical Environment.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Compiler implementation in a formal logical framework.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002
Sequent Schema for Derived Rules.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Quotient Types: A Modular Approach.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001
Markov's Principle for Propositional Type Theory.
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
Writing Constructive Proofs Yielding Efficient Extracted Programs.
Electron. Notes Theor. Comput. Sci., 2000

Fast Tactic-Based Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000


  Loading...