The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aleksey Nogin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
    A Mechanism for Sequential Consistency in a Distributed Objects System. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2004, pp:284-289 [Conf]
  2. Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
    JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:421-426 [Conf]
  3. Alexei Kopylov, Aleksey Nogin
    Markov's Principle for Propositional Type Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:570-584 [Conf]
  4. Jason Hickey, Aleksey Nogin
    : Designing a Scalable Build Process. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:63-78 [Conf]
  5. Jason Hickey, Aleksey Nogin, Adam Granicz
    Compiler implementation in a formal logical framework. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  6. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
    Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:172-183 [Conf]
  7. Jason Hickey, Aleksey Nogin
    Fast Tactic-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:252-267 [Conf]
  8. Jason Hickey, Aleksey Nogin
    Extensible Hierarchical Tactic Construction in a Logical Framework. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:136-151 [Conf]
  9. Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
    MetaPRL - A Modular Logical Environment. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:287-303 [Conf]
  10. Aleksey Nogin
    Quotient Types: A Modular Approach. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:263-280 [Conf]
  11. Aleksey Nogin, Jason Hickey
    Sequent Schema for Derived Rules. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:281-297 [Conf]
  12. Aleksey Nogin
    Writing Constructive Proofs Yielding Efficient Extracted Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
  13. Aleksey Nogin, Alexei Kopylov
    Formalizing Type Operations Using the "Image" Type Constructor. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:121-132 [Journal]
  14. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
    Practical Reflection for Sequent Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:79-94 [Journal]
  15. Jason Hickey, Aleksey Nogin
    Formal compiler construction in a logical framework. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:197-230 [Journal]

  16. A computational approach to reflective meta-reasoning about languages with bindings. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002