The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oleg Kiselyov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Oleg Kiselyov, Paul Fisher
    Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1994, pp:331-340 [Conf]
  2. Oleg Kiselyov, Paul Fisher
    Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1996, pp:443- [Conf]
  3. Oleg Kiselyov, Kedar N. Swadi, Walid Taha
    A methodology for generating verified combinatorial circuits. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:249-258 [Conf]
  4. Andrew Pimlott, Oleg Kiselyov
    Soutei, a Logic-Based Trust-Management System. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:130-145 [Conf]
  5. Jacques Carette, Oleg Kiselyov
    Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:256-274 [Conf]
  6. Oleg Kiselyov
    Macros That Compose: Systematic Macro Programming. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:202-217 [Conf]
  7. Oleg Kiselyov, Walid Taha
    Relating FFTW and Split-Radix. [Citation Graph (0, 0)][DBLP]
    ICESS, 2004, pp:488-493 [Conf]
  8. Oleg Kiselyov
    LAND*: an AND with local bindings, a guarded LET* special form. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:336- [Conf]
  9. Oleg Kiselyov
    Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:337- [Conf]
  10. Oleg Kiselyov
    A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:343- [Conf]
  11. Oleg Kiselyov
    A Lazy CGI Namespace in Scheme. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:349- [Conf]
  12. Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
    Backtracking, interleaving, and terminating monad transformers: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:192-203 [Conf]
  13. Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
    Delimited dynamic binding. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:26-37 [Conf]
  14. Oleg Kiselyov
    A Better XML Parser through Functional Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:209-224 [Conf]
  15. Oleg Kiselyov, Shriram Krishnamurthi
    SXSLT: Manipulation Language for XML. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:256-272 [Conf]
  16. Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
    A monadic approach for avoiding code duplication when staging memoized functions. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:160-169 [Conf]
  17. Oleg Kiselyov
    A network file system over HTTP: remote access and modification of files and files. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 1999, pp:75-80 [Conf]
  18. Oleg Kiselyov
    Type Arithmetics: Computation based on the theory of types [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  19. Oleg Kiselyov
    Secure Counting: counting members of a subset without revealing their identities [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  20. Oleg Kiselyov, Paul Fisher
    Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  21. Oleg Kiselyov
    A network file system over HTTP: remote access and modification of files and "files" [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  22. Oleg Kiselyov
    Why C++ is not very fit for GUI programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  23. Oleg Kiselyov
    Subclassing errors, OOP, and practically checkable rules to prevent them [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  24. Oleg Kiselyov
    Implementing Metcast in Scheme. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:355-370 [Journal]
  25. Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua
    In search of a program generator to implement generic transformations for high-performance computing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:1, pp:25-46 [Journal]
  26. Oleg Kiselyov
    SXML specification. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:6, pp:52-58 [Journal]
  27. Oleg Kiselyov, Richard J. Botting
    Comment on ``On the Application of a Popular Notation to Semantics'' and reply from the Autor. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:12, pp:35-36 [Journal]
  28. Oleg Kiselyov, Chung-chieh Shan
    Delimited Continuations in Operating Systems. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2007, pp:291-302 [Conf]
  29. Oleg Kiselyov, Chung-chieh Shan
    A Substructural Type System for Delimited Continuations. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:223-239 [Conf]
  30. Oleg Kiselyov, Chung-chieh Shan
    Lightweight Static Capabilities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:79-104 [Journal]

  31. Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]


  32. Embedded Probabilistic Programming. [Citation Graph (, )][DBLP]


  33. Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). [Citation Graph (, )][DBLP]


  34. Delimited Control in OCaml, Abstractly and Concretely: System Description. [Citation Graph (, )][DBLP]


  35. Purely functional lazy non-deterministic programming. [Citation Graph (, )][DBLP]


  36. Closing the stage: from staged code to typed closures. [Citation Graph (, )][DBLP]


  37. Shifting the stage: staging with delimited control. [Citation Graph (, )][DBLP]


  38. Comparing libraries for generic programming in haskell. [Citation Graph (, )][DBLP]


  39. Lightweight monadic regions. [Citation Graph (, )][DBLP]


  40. Haskell's overlooked object system [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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