The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karl Winklmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Albert R. Meyer, Karl Winklmann
    On the Expressive Power of Dynamic Logic (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1979, pp:167-175 [Conf]
  2. Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer
    Coping with Errors in Binary Search Procedures (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:227-232 [Conf]
  3. Karl Winklmann
    On the Complexity of Some Problems Concerning the Use of Procedures I. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:299-318 [Journal]
  4. Karl Winklmann
    On the Complexity of some Problems Concerning the Use of Procedures II. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:411-430 [Journal]
  5. Paliath Narendran, Friedrich Otto, Karl Winklmann
    The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:63, n:1/2, pp:58-66 [Journal]
  6. Rockford J. Ross, Karl Winklmann
    Repetitive Strings are not Context-Free. [Citation Graph (0, 0)][DBLP]
    ITA, 1982, v:16, n:3, pp:191-199 [Journal]
  7. N. Lakshmipathy, Karl Winklmann
    "Global" Graph Problems Tend to Be Intractable. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:407-428 [Journal]
  8. Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer
    Coping with Errors in Binary Search Procedures. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1980, v:20, n:3, pp:396-404 [Journal]
  9. William Slough, Karl Winklmann
    On Limitations of Transformations Between Combinatorial Problems. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1991, v:24, n:3, pp:149-168 [Journal]
  10. Michael Machtey, Karl Winklmann, Paul Young
    Simple Gödel Numberings, Isomorphisms, and Programming Properties. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1978, v:7, n:1, pp:39-60 [Journal]
  11. William F. Ogden, Rockford J. Ross, Karl Winklmann
    An ``Interchange Lemma'' for Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1985, v:14, n:2, pp:410-415 [Journal]
  12. Albert R. Meyer, Karl Winklmann
    Expressing Program Looping in Regular Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:18, n:, pp:301-323 [Journal]

Search in 0.001secs, Finished in 0.002secs
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