Travelled to:1 × Austria
1 × France
1 × Italy
1 × USA
Collaborated with:J.Hickey A.Kopylov W.Mansky A.W.Appel X.Yu S.Schmitt L.Lorigo C.Kreitz
Talks about:represent (1) proposit (1) principl (1) interact (1) theorem (1) scalabl (1) reflect (1) process (1) connect (1) verifi (1)
Person: Aleksey Nogin
DBLP: Nogin:Aleksey
Contributed to:
2006
2006
2001
2001
2017Wrote 5 papers:
- FASE-2006-HickeyN #design #process #scalability
- : Designing a Scalable Build Process (JH, AN), pp. 63–78.
- ICFP-2006-HickeyNYK #hybrid #representation #using
- Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
- CSL-2001-KopylovN #markov #type system
- Markov’s Principle for Propositional Type Theory (AK, AN), pp. 570–584.
- IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
- JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
- OOPSLA-2017-ManskyAN
- A verified messaging system (WM, AWA, AN), p. 28.