- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| j10 |      | William Slough, Karl Winklmann: On Limitations of Transformations Between Combinatorial Problems. Mathematical Systems Theory 24(3): 149-168 (1991) |
| 1986 | ||
| j9 | | N. Lakshmipathy, Karl Winklmann: "Global" Graph Problems Tend to Be Intractable. J. Comput. Syst. Sci. 32(3): 407-428 (1986) |
| 1985 | ||
| j8 | | William F. Ogden, Rockford J. Ross, Karl Winklmann: An ``Interchange Lemma'' for Context-Free Languages. SIAM J. Comput. 14(2): 410-415 (1985) |
| 1984 | ||
| j7 | | Paliath Narendran, Friedrich Otto, Karl Winklmann: The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete. Information and Control 63(1/2): 58-66 (1984) |
| 1982 | ||
| j6 | | Karl Winklmann: On the Complexity of Some Problems Concerning the Use of Procedures I. Acta Inf. 18: 299-318 (1982) |
| j5 | | Karl Winklmann: On the Complexity of some Problems Concerning the Use of Procedures II. Acta Inf. 18: 411-430 (1982) |
| j4 |  | Rockford J. Ross, Karl Winklmann: Repetitive Strings are not Context-Free. ITA 16(3): 191-199 (1982) |
| j3 | | Albert R. Meyer, Karl Winklmann: Expressing Program Looping in Regular Dynamic Logic. Theor. Comput. Sci. 18: 301-323 (1982) |
| 1980 | ||
| j2 | | Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer: Coping with Errors in Binary Search Procedures. J. Comput. Syst. Sci. 20(3): 396-404 (1980) |
| 1979 | ||
| c2 | | Albert R. Meyer, Karl Winklmann: On the Expressive Power of Dynamic Logic (Preliminary Report). STOC 1979: 167-175 |
| 1978 | ||
| j1 | | Michael Machtey, Karl Winklmann, Paul Young: Simple Gödel Numberings, Isomorphisms, and Programming Properties. SIAM J. Comput. 7(1): 39-60 (1978) |
| c1 | | Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer: Coping with Errors in Binary Search Procedures (Preliminary Report). STOC 1978: 227-232 |
Colors in the list of coauthors
Last update Sat May 25 22:31:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page