Search Results - Dexter Kozen

Refine Results
  1. 81
    Kleene Algebra with Tests and the Static Analysis of Programs

    Kleene Algebra with Tests and the Static Analysis of Programs by Kozen,Dexter

    Request full text
    Report
    Save to List
    Saved in:
  2. 82
    Probabilistic Program Equivalence for NetKAT

    Probabilistic Program Equivalence for NetKAT by Smolka, Steffen, Kumar, Praveen, Foster, Nate, Hsu, Justin, Kahn, David, Kozen, Dexter, Silva, Alexandra

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 83
    Positive First-Order Logic Is NP-Complete

    Positive First-Order Logic Is NP-Complete by Kozen, Dexter

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 84
    Decomposition of Algebraic Functions

    Decomposition of Algebraic Functions by Kozen, Dexter, Landau, Susan, Zippel, Richard

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 85
    Infinitary Axiomatization of the Equational Theory of Context-Free Languages

    Infinitary Axiomatization of the Equational Theory of Context-Free Languages by Niels Bjørn Bugge Grathwohl, Henglein, Fritz, Kozen, Dexter

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 86
    AppMon: Application Monitors for Not-Yet-Trusted Software

    AppMon: Application Monitors for Not-Yet-Trusted Software by Marceau, Carla, Kozen, Dexter

    Request full text
    Report
    Save to List
    Saved in:
  7. 87
    Lower bounds for natural proof systems

    Lower bounds for natural proof systems by Kozen, Dexter

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  8. 88
    A completeness theorem for Kleene algebras and the algebra of regular events

    A completeness theorem for Kleene algebras and the algebra of regular events by Kozen, D.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 89
    On the Complexity of the Horn Theory of REL

    On the Complexity of the Horn Theory of REL by Hardin,Chris, Kozen,Dexter

    Request full text
    Report
    Save to List
    Saved in:
  10. 90
    Semantics of probabilistic programs

    Semantics of probabilistic programs by Kozen, Dexter

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  11. 91
    Tarskian set constraints

    Tarskian set constraints by McAllester, D.A., Givan, R., Witty, C., Kozen, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 92
    A clique problem equivalent to graph isomorphism

    A clique problem equivalent to graph isomorphism by Kozen, Dexter

    Published in SIGACT news
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 93
    On parallelism in turing machines

    On parallelism in turing machines by Kozen, Dexter

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  14. 94
    On the power of the compass (or, why mazes are easier to search than graphs)

    On the power of the compass (or, why mazes are easier to search than graphs) by Blum, Manuel, Kozen, Dexter

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 95
    Dynamic logic

    Dynamic logic by Harel, David, Kozen, Dexter, Tiuryn, Jerzy

    Published in SIGACT news
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 96
    A fast parallel algorithm for determining all roots of a polynomial with real roots

    A fast parallel algorithm for determining all roots of a polynomial with real roots by BEN-OR, M, FEIG, E, KOZEN, D, TIWARI, P

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 97
    Efficient algorithms for optimal video transmission

    Efficient algorithms for optimal video transmission by Kozen, D., Minsky, Y., Smith, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 98
    Language-Based Security for Malicious Mobile Code

    Language-Based Security for Malicious Mobile Code by Schneider, Fred B, Kozen, Dexter, Morrisett, Greg, Myers, Andrew

    Request full text
    Report
    Save to List
    Saved in:
  19. 99
    Language-Based Security for Malicious Mobile Code

    Language-Based Security for Malicious Mobile Code by Schneider, Fred B, Kozen, Dexter, Morrisett, Greg, Myers, Andrew

    Request full text
    Report
    Save to List
    Saved in:
  20. 100
    Language-Based Security for Malicious Mobile Code

    Language-Based Security for Malicious Mobile Code by Schneider, Fred B, Kozen, Dexter, Morrisett, Greg, Myers, Andrew

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: