The SCEAS System
| |||||||

## Search the dblp DataBase
Aleksey Nogin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - Alexei Kopylov, Aleksey Nogin
**Markov's Principle for Propositional Type Theory.**[Citation Graph (0, 0)][DBLP] CSL, 2001, pp:570-584 [Conf] - Jason Hickey, Aleksey Nogin
**: Designing a Scalable Build Process.**[Citation Graph (0, 0)][DBLP] FASE, 2006, pp:63-78 [Conf] - Jason Hickey, Aleksey Nogin, Adam Granicz
**Compiler implementation in a formal logical framework.**[Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf] - 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] - Jason Hickey, Aleksey Nogin
**Fast Tactic-Based Theorem Proving.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2000, pp:252-267 [Conf] - Jason Hickey, Aleksey Nogin
**Extensible Hierarchical Tactic Construction in a Logical Framework.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:136-151 [Conf] - 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] - Aleksey Nogin
**Quotient Types: A Modular Approach.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:263-280 [Conf] - Aleksey Nogin, Jason Hickey
**Sequent Schema for Derived Rules.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:281-297 [Conf] - 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] - 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] - 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] - 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] **A computational approach to reflective meta-reasoning about languages with bindings.**[Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |