Edit Profile (opens in new tab) Kozen, Dexter C. Co-Author Distance Author ID: kozen.dexter-c Published as: Kozen, Dexter; Kozen, Dexter C.; Kozen, D. more...less Documents Indexed: 125 Publications since 1978, including 4 Books 8 Contributions as Editor · 1 Further Contribution Biographic References: 15 Publications Co-Authors: 73 Co-Authors with 81 Joint Publications 1,920 Co-Co-Authors all top 5 Co-Authors 52 single-authored 16 Silva, Alexandra 7 Jeannin, Jean-Baptiste 7 Mamouras, Konstantinos 5 Foster, Nate 5 Harel, David 5 Mardare, Radu 5 Panangaden, Prakash 5 Tiuryn, Jerzy 4 Aboul-Hosn, Kamal 4 Parikh, Rohit 3 Bugge Grathwohl, Niels Bjørn 3 Landau, Susan 3 Palsberg, Jens 3 Schwartzbach, Michael I. 2 Aiken, Alexander 2 Ben-Or, Michael 2 Henglein, Fritz 2 Larsen, Kim Guldstrand 2 Ruozzi, Nicholas 2 Soloviev, Matvey 2 Zaks, Shmuel 2 Zippel, Richard E. 1 Anderson, Carolyn Jane 1 Bacci, Giorgio 1 Barendregt, Hendrik Pieter 1 Bickford, Mark 1 Blass, Andreas Raphael 1 Capretta, Venanzio 1 Chandra, Ashok K. 1 Cheng, Allan 1 Clarke, Edmund Melson jun. 1 Cohen, Ernie 1 Dahlqvist, Fredrik 1 Ésik, Zoltán 1 Feig, Ephraim 1 Givan, Robert L. 1 Guha, Arjun 1 Gurevich, Yuri 1 Immerman, Neil 1 Kappé, Tobias 1 Klarlund, Nils 1 Kreitz, Christoph 1 Kumar, Praveen 1 McAllester, David Allen 1 Milano, Matthew 1 Milius, Stefan 1 Mislove, Michael W. 1 Patron, Maria-Cristina 1 Petrisan, Daniela Luan 1 Ramanarayanan, Ganesh 1 Reif, John H. 1 Reitblatt, Mark 1 Richter, Eva 1 Rot, Jurriaan 1 Schlesinger, Cole 1 Schröder, Lutz 1 Schwentick, Thomas 1 Scott, Dana Stewart 1 Smith, Frederick W. 1 Smolka, Steffen Juilf 1 Stefánsson, Kjartan 1 Stockmeyer, Larry J. 1 Thompson, Laure 1 Tiwari, Prasoon 1 Tseng, Wei-Lung Dustin 1 Vardi, Moshe Ya’akov 1 Vazirani, Umesh V. 1 Vazirani, Vijay V. 1 Wagemaker, Jana 1 Wimmers, Edward L. 1 Wimmers, F. 1 Wißmann, Thorsten 1 Witty, Carl all top 5 Serials 8 Theoretical Computer Science 6 Information and Computation 5 Journal of Computer and System Sciences 4 Logical Methods in Computer Science 3 Journal of Symbolic Computation 3 MSCS. Mathematical Structures in Computer Science 3 Fundamenta Informaticae 3 ACM Transactions on Computational Logic 3 Lecture Notes in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Information and Control 2 Science of Computer Programming 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 Journal of Automata, Languages and Combinatorics 1 American Mathematical Monthly 1 Information Sciences 1 Journal of the Association for Computing Machinery 1 SIAM Journal on Computing 1 Studia Logica 1 Annals of Pure and Applied Logic 1 IBM Journal of Research and Development 1 Journal of Applied Non-Classical Logics 1 Matemática Contemporânea 1 Chicago Journal of Theoretical Computer Science 1 The Journal of Logic and Algebraic Programming 1 Electronic Notes in Theoretical Computer Science 1 Texts in Computer Science 1 Undergraduate Texts in Computer Science all top 5 Fields 118 Computer science (68-XX) 67 Mathematical logic and foundations (03-XX) 10 Probability theory and stochastic processes (60-XX) 9 General and overarching topics; collections (00-XX) 5 Category theory; homological algebra (18-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Number theory (11-XX) 4 Field theory and polynomials (12-XX) 3 General algebraic systems (08-XX) 3 Commutative algebra (13-XX) 3 Numerical analysis (65-XX) 2 Combinatorics (05-XX) 2 Algebraic geometry (14-XX) 2 General topology (54-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 106 Publications have been cited 2,539 times in 1,969 Documents Cited by ▼ Year ▼ Alternation. Zbl 0473.68043 Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. 515 1981 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007 Kozen, Dexter 362 1983 Dynamic logic. Zbl 0976.68108 Harel, David; Kozen, Dexter; Tiuryn, Jerzy 244 2000 A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082 Kozen, Dexter 191 1994 Semantics of probabilistic programs. Zbl 0476.68019 Kozen, Dexter 81 1981 Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064 Kozen, Dexter; Smith, Frederick 78 1997 Automata and computability. Zbl 0883.68055 Kozen, Dexter C. 65 1997 The complexity of elementary algebra and geometry. Zbl 0634.03031 Ben-Or, Michael; Kozen, Dexter; Reif, John 58 1986 A probabilistic PDL. Zbl 0575.03013 Kozen, Dexter 54 1985 An elementary proof of the completeness of PDL. Zbl 0451.03006 Kozen, Dexter; Parikh, Rohit 49 1981 On Hoare logic and Kleene algebra with tests. Zbl 1365.68326 Kozen, Dexter 46 2000 Logics of programs. Zbl 0900.68306 Kozen, Dexter; Tiuryn, Jerzy 38 1990 Definability with bounded number of bound variables. Zbl 0711.03004 Immerman, Neil; Kozen, Dexter 34 1989 Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016 Harel, David; Kozen, Dexter; Parikh, Rohit 32 1982 On Kleene algebras and closed semirings. Zbl 0732.03047 Kozen, Dexter 30 1990 Netkat, semantic foundations for networks. Zbl 1284.68100 Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David 30 2014 Polynomial decomposition algorithms. Zbl 0691.68030 Kozen, Dexter; Landau, Susan 27 1989 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019 Kozen, Dexter 23 1989 Decidability of systems of set constraints with negative constraints. Zbl 0834.68105 Aiken, Alexander; Kozen, Dexter; Wimmers, Ed 20 1995 Theory of computation. Zbl 1102.68025 Kozen, Dexter C. 20 2006 A zero-one law for logic with a fixed-point operator. Zbl 0608.68077 Blass, Andreas; Gurevich, Yuri; Kozen, Dexter 20 1985 Complexity of Boolean algebras. Zbl 0428.03036 Kozen, Dexter 20 1980 Nominal Kleene coalgebra. Zbl 1440.68174 Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 19 2015 The complexity of set constraints. Zbl 0953.68557 Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F. 18 1994 NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching. Zbl 0598.68050 Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V. 18 1985 On the Myhill-Nerode theorem for trees. Zbl 0757.68083 Kozen, Dexter 17 1992 Dynamic logic. 2nd ed. Zbl 1003.03528 Harel, David; Kozen, Dexter; Tiuryn, Jerzy 16 2002 Results on the propositional mu-calculus. Zbl 0507.03005 Kozen, Dexter 15 1982 Automata of guarded strings and applications. Zbl 1087.68049 Kozen, Dexter 14 2003 Indexings of subrecursive classes. Zbl 0435.03033 Kozen, Dexter 14 1980 A representation theorem for models of *-free PDL. Zbl 0451.03005 Kozen, Dexter 14 1980 Stone duality for Markov processes. Zbl 1433.06006 Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 14 2013 Efficient recursive subtyping. Zbl 0840.03007 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 13 1995 Logical aspects of set constraints. Zbl 0953.03524 Kozen, D. 13 1994 Probabilistic NetKAT. Zbl 1335.68027 Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 13 2016 On the completeness of propositional Hoare logic. Zbl 0996.03022 Kozen, Dexter; Tiuryn, Jerzy 12 2001 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132 Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 12 2015 Certification of compiler optimizations using Kleene algebra with tests. Zbl 0983.68032 Kozen, Dexter; Patron, Maria-Cristina 11 2000 On the complexity of reasoning in Kleene algebra. Zbl 1096.03077 Kozen, Dexter 11 2002 Practical coinduction. Zbl 1376.68095 Kozen, Dexter; Silva, Alexandra 11 2015 A programming language for the inductive sets, and applications. Zbl 0591.68037 Harel, David; Kozen, Dexter 10 1984 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 10 2017 A fast parallel algorithm for determining all roots of a polynomial with real roots. Zbl 0663.68047 Ben-Or, Michael; Feig, Ephraim; Kozen, Dexter; Tiwari, Prasoon 9 1988 Positive first-order logic is NP-complete. Zbl 0481.03026 Kozen, Dexter 9 1981 The design and analysis of algorithms. Zbl 0743.68006 Kozen, Dexter C. 9 1991 Kleene algebra with equations. Zbl 1409.68179 Kozen, Dexter; Mamouras, Konstantinos 9 2014 Partial automata and finitely generated congruences: An extension of Nerode’s theorem. Zbl 0824.68076 Kozen, D. 8 1993 KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457 Aboul-Hosn, Kamal; Kozen, Dexter 8 2006 Efficient inference of partial types. Zbl 0823.68011 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 8 1994 Language constructs for non-well-founded computation. Zbl 1381.68034 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 8 2013 On Hoare logic, Kleene algebra, and types. Zbl 1023.03025 Kozen, Dexter 7 2002 Applications of metric coinduction. Zbl 1187.03028 Kozen, Dexter; Ruozzi, Nicholas 6 2009 Decomposition of algebraic functions. Zbl 0876.68062 Kozen, Dexter; Landau, Susan; Zippel, Richard 6 1996 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132 Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 6 2017 Nominal automata with name binding. Zbl 1486.68097 Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 6 2017 Substructural logic and partial correctness. Zbl 1365.68327 Kozen, Dexter; Tiuryn, Jerzy 6 2003 Strong completeness for Markovian logics. Zbl 1510.03013 Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 6 2013 A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012 Kozen, Dexter; Parikh, Rohit 5 1984 Optimal bounds for the change-making problem. Zbl 0801.68079 Kozen, Dexter; Zaks, Shmuel 5 1994 Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117 Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 5 2015 Realization of coinductive types. Zbl 1342.68217 Kozen, Dexter 5 2011 On the representation of Kleene algebras with tests. Zbl 1132.68472 Kozen, Dexter 4 2006 On the duality of dynamic algebras and Kripke models. Zbl 0482.03008 Kozen, Dexter 4 1981 On induction vs. *-continuity. Zbl 0495.03013 Kozen, Dexter 4 1982 Propositional dynamic logics of programs: A survey. Zbl 0468.68038 Parikh, Rohit 4 1981 Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra. Zbl 0976.68093 Kozen, Dexter 4 2001 Relational semantics for higher-order programs. Zbl 1235.68048 Aboul-Hosn, Kamal; Kozen, Dexter 4 2006 Automata and planar graphs. Zbl 0445.68039 Kozen, Dexter 4 1979 Computing with capsules. Zbl 1322.68042 Jeannin, Jean-Baptiste; Kozen, Dexter 4 2012 The Böhm-Jacopini theorem is false, propositionally. Zbl 1156.68354 Kozen, Dexter; Tseng, Wei-Lung Dustin 4 2008 Tarskian set constraints. Zbl 1009.03019 Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter 4 2002 Local variable scoping and Kleene algebra with tests. Zbl 1148.68033 Aboul-Hosn, Kamal; Kozen, Dexter 3 2008 Left-handed completeness. Zbl 1364.68268 Kozen, Dexter; Silva, Alexandra 3 2012 On regularity-preserving functions. Zbl 1026.68573 Kozen, Dexter 3 1996 A complete Gentzen-style axiomatization for set constraints. Zbl 1045.03515 Cheng, Allan; Kozen, Dexter 3 1996 A clique problem equivalent to graph isomorphism. Zbl 0395.68056 Kozen, Dexter 3 1978 Set constraints and logic programming. Zbl 0917.68045 Kozen, Dexter 2 1998 Efficient inference of partial types. Zbl 0977.68505 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 2 1992 Rabin measures. Zbl 0924.68142 Klarlund, Nils; Kozen, Dexter 2 1995 Some results in dynamic model theory. Zbl 1053.03019 Kozen, Dexter 2 2004 Applications of metric coinduction. Zbl 1214.68218 Kozen, Dexter; Ruozzi, Nicholas 2 2007 Rational spaces and set constraints. Zbl 0874.68212 Kozen, Dexter 2 1996 Computing the Newtonian graph. Zbl 0885.65055 Kozen, Dexter; Stefánsson, Kjartan 2 1997 Infinitary axiomatization of the equational theory of context-free languages. Zbl 1380.68289 Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter 2 2017 A note on the complexity of propositional Hoare logic. Zbl 1365.68321 Cohen, Ernie; Kozen, Dexter 2 2000 Kleene algebra with products and iteration theories. Zbl 1356.68148 Kozen, Dexter; Mamouras, Konstantinos 2 2013 Semantics of probabilistic programming: a gentle introduction. Zbl 07311041 Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter 2 2021 Left-handed completeness. Zbl 1436.68202 Kozen, Dexter; Silva, Alexandra 2 2020 On the coalgebraic theory of Kleene algebra with tests. Zbl 1437.68125 Kozen, Dexter 2 2017 Rational spaces and set constraints. Zbl 1496.68185 Kozen, Dexter 2 1995 Indexing of subrecursive classes. Zbl 1283.03072 Kozen, Dexter 2 1978 Coinductive proof principles for stochastic processes. Zbl 1131.68063 Kozen, Dexter C. 1 2007 KAT + B! Zbl 1401.68040 Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos 1 2014 Kolmogorov extension, martingale convergence, and compositionality of processes. Zbl 1401.68239 Kozen, Dexter 1 2016 NetKAT – a formal system for the verification of networks. Zbl 1453.68051 Kozen, Dexter 1 2014 Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064 Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 1 2017 Capsules and separation. Zbl 1362.68050 Jeannin, Jean-Baptiste; Kozen, Dexter 1 2012 Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303 Kozen, Dexter; Ramanarayanan, Ganesh 1 2011 Well-founded coalgebras, revisited. Zbl 1376.68094 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496 Bickford, Mark; Kozen, Dexter; Silva, Alexandra 1 2022 Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496 Bickford, Mark; Kozen, Dexter; Silva, Alexandra 1 2022 Semantics of probabilistic programming: a gentle introduction. Zbl 07311041 Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter 2 2021 Left-handed completeness. Zbl 1436.68202 Kozen, Dexter; Silva, Alexandra 2 2020 Natural transformations as rewrite rules and monad composition. Zbl 1405.68160 Kozen, Dexter 1 2019 Boolean-valued semantics for the stochastic \(\lambda \)-calculus. Zbl 1453.03006 Bacci, Giorgio; Furber, Robert; Kozen, Dexter; Mardare, Radu; Panangaden, Prakash; Scott, Dana 1 2018 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 10 2017 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132 Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 6 2017 Nominal automata with name binding. Zbl 1486.68097 Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 6 2017 Infinitary axiomatization of the equational theory of context-free languages. Zbl 1380.68289 Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter 2 2017 On the coalgebraic theory of Kleene algebra with tests. Zbl 1437.68125 Kozen, Dexter 2 2017 Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064 Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 1 2017 Unrestricted Stone duality for Markov processes. Zbl 1452.06009 Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash 1 2017 Probabilistic NetKAT. Zbl 1335.68027 Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 13 2016 Kolmogorov extension, martingale convergence, and compositionality of processes. Zbl 1401.68239 Kozen, Dexter 1 2016 Nominal Kleene coalgebra. Zbl 1440.68174 Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 19 2015 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132 Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 12 2015 Practical coinduction. Zbl 1376.68095 Kozen, Dexter; Silva, Alexandra 11 2015 Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117 Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 5 2015 Well-founded coalgebras, revisited. Zbl 1376.68094 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 Netkat, semantic foundations for networks. Zbl 1284.68100 Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David 30 2014 Kleene algebra with equations. Zbl 1409.68179 Kozen, Dexter; Mamouras, Konstantinos 9 2014 KAT + B! Zbl 1401.68040 Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos 1 2014 NetKAT – a formal system for the verification of networks. Zbl 1453.68051 Kozen, Dexter 1 2014 Stone duality for Markov processes. Zbl 1433.06006 Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 14 2013 Language constructs for non-well-founded computation. Zbl 1381.68034 Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 8 2013 Strong completeness for Markovian logics. Zbl 1510.03013 Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 6 2013 Kleene algebra with products and iteration theories. Zbl 1356.68148 Kozen, Dexter; Mamouras, Konstantinos 2 2013 Infinitary axiomatization of the equational theory of context-free languages. Zbl 1462.68115 Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter 1 2013 On Moessner’s theorem. Zbl 1271.13041 Kozen, Dexter; Silva, Alexandra 1 2013 Computing with capsules. Zbl 1322.68042 Jeannin, Jean-Baptiste; Kozen, Dexter 4 2012 Left-handed completeness. Zbl 1364.68268 Kozen, Dexter; Silva, Alexandra 3 2012 Capsules and separation. Zbl 1362.68050 Jeannin, Jean-Baptiste; Kozen, Dexter 1 2012 Computing with capsules. Zbl 1304.68028 Jeannin, Jean-Baptiste; Kozen, Dexter 1 2012 Realization of coinductive types. Zbl 1342.68217 Kozen, Dexter 5 2011 Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303 Kozen, Dexter; Ramanarayanan, Ganesh 1 2011 Applications of metric coinduction. Zbl 1187.03028 Kozen, Dexter; Ruozzi, Nicholas 6 2009 The Böhm-Jacopini theorem is false, propositionally. Zbl 1156.68354 Kozen, Dexter; Tseng, Wei-Lung Dustin 4 2008 Local variable scoping and Kleene algebra with tests. Zbl 1148.68033 Aboul-Hosn, Kamal; Kozen, Dexter 3 2008 Applications of metric coinduction. Zbl 1214.68218 Kozen, Dexter; Ruozzi, Nicholas 2 2007 Coinductive proof principles for stochastic processes. Zbl 1131.68063 Kozen, Dexter C. 1 2007 Theory of computation. Zbl 1102.68025 Kozen, Dexter C. 20 2006 KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457 Aboul-Hosn, Kamal; Kozen, Dexter 8 2006 On the representation of Kleene algebras with tests. Zbl 1132.68472 Kozen, Dexter 4 2006 Relational semantics for higher-order programs. Zbl 1235.68048 Aboul-Hosn, Kamal; Kozen, Dexter 4 2006 Some results in dynamic model theory. Zbl 1053.03019 Kozen, Dexter 2 2004 Automata of guarded strings and applications. Zbl 1087.68049 Kozen, Dexter 14 2003 Substructural logic and partial correctness. Zbl 1365.68327 Kozen, Dexter; Tiuryn, Jerzy 6 2003 Dynamic logic. 2nd ed. Zbl 1003.03528 Harel, David; Kozen, Dexter; Tiuryn, Jerzy 16 2002 On the complexity of reasoning in Kleene algebra. Zbl 1096.03077 Kozen, Dexter 11 2002 On Hoare logic, Kleene algebra, and types. Zbl 1023.03025 Kozen, Dexter 7 2002 Tarskian set constraints. Zbl 1009.03019 Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter 4 2002 On the completeness of propositional Hoare logic. Zbl 0996.03022 Kozen, Dexter; Tiuryn, Jerzy 12 2001 Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra. Zbl 0976.68093 Kozen, Dexter 4 2001 Dynamic logic. Zbl 0976.68108 Harel, David; Kozen, Dexter; Tiuryn, Jerzy 244 2000 On Hoare logic and Kleene algebra with tests. Zbl 1365.68326 Kozen, Dexter 46 2000 Certification of compiler optimizations using Kleene algebra with tests. Zbl 0983.68032 Kozen, Dexter; Patron, Maria-Cristina 11 2000 A note on the complexity of propositional Hoare logic. Zbl 1365.68321 Cohen, Ernie; Kozen, Dexter 2 2000 Set constraints and logic programming. Zbl 0917.68045 Kozen, Dexter 2 1998 Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064 Kozen, Dexter; Smith, Frederick 78 1997 Automata and computability. Zbl 0883.68055 Kozen, Dexter C. 65 1997 Computing the Newtonian graph. Zbl 0885.65055 Kozen, Dexter; Stefánsson, Kjartan 2 1997 Decomposition of algebraic functions. Zbl 0876.68062 Kozen, Dexter; Landau, Susan; Zippel, Richard 6 1996 On regularity-preserving functions. Zbl 1026.68573 Kozen, Dexter 3 1996 A complete Gentzen-style axiomatization for set constraints. Zbl 1045.03515 Cheng, Allan; Kozen, Dexter 3 1996 Rational spaces and set constraints. Zbl 0874.68212 Kozen, Dexter 2 1996 Decidability of systems of set constraints with negative constraints. Zbl 0834.68105 Aiken, Alexander; Kozen, Dexter; Wimmers, Ed 20 1995 Efficient recursive subtyping. Zbl 0840.03007 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 13 1995 Rabin measures. Zbl 0924.68142 Klarlund, Nils; Kozen, Dexter 2 1995 Rational spaces and set constraints. Zbl 1496.68185 Kozen, Dexter 2 1995 A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082 Kozen, Dexter 191 1994 The complexity of set constraints. Zbl 0953.68557 Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F. 18 1994 Logical aspects of set constraints. Zbl 0953.03524 Kozen, D. 13 1994 Efficient inference of partial types. Zbl 0823.68011 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 8 1994 Optimal bounds for the change-making problem. Zbl 0801.68079 Kozen, Dexter; Zaks, Shmuel 5 1994 Partial automata and finitely generated congruences: An extension of Nerode’s theorem. Zbl 0824.68076 Kozen, D. 8 1993 On the Myhill-Nerode theorem for trees. Zbl 0757.68083 Kozen, Dexter 17 1992 Efficient inference of partial types. Zbl 0977.68505 Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 2 1992 The design and analysis of algorithms. Zbl 0743.68006 Kozen, Dexter C. 9 1991 Logics of programs. Zbl 0900.68306 Kozen, Dexter; Tiuryn, Jerzy 38 1990 On Kleene algebras and closed semirings. Zbl 0732.03047 Kozen, Dexter 30 1990 Definability with bounded number of bound variables. Zbl 0711.03004 Immerman, Neil; Kozen, Dexter 34 1989 Polynomial decomposition algorithms. Zbl 0691.68030 Kozen, Dexter; Landau, Susan 27 1989 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019 Kozen, Dexter 23 1989 A fast parallel algorithm for determining all roots of a polynomial with real roots. Zbl 0663.68047 Ben-Or, Michael; Feig, Ephraim; Kozen, Dexter; Tiwari, Prasoon 9 1988 The complexity of elementary algebra and geometry. Zbl 0634.03031 Ben-Or, Michael; Kozen, Dexter; Reif, John 58 1986 A probabilistic PDL. Zbl 0575.03013 Kozen, Dexter 54 1985 A zero-one law for logic with a fixed-point operator. Zbl 0608.68077 Blass, Andreas; Gurevich, Yuri; Kozen, Dexter 20 1985 NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching. Zbl 0598.68050 Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V. 18 1985 A programming language for the inductive sets, and applications. Zbl 0591.68037 Harel, David; Kozen, Dexter 10 1984 A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012 Kozen, Dexter; Parikh, Rohit 5 1984 Results on the propositional \(\mu\)-calculus. Zbl 0553.03007 Kozen, Dexter 362 1983 Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016 Harel, David; Kozen, Dexter; Parikh, Rohit 32 1982 Results on the propositional mu-calculus. Zbl 0507.03005 Kozen, Dexter 15 1982 On induction vs. *-continuity. Zbl 0495.03013 Kozen, Dexter 4 1982 Alternation. Zbl 0473.68043 Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. 515 1981 Semantics of probabilistic programs. Zbl 0476.68019 Kozen, Dexter 81 1981 An elementary proof of the completeness of PDL. Zbl 0451.03006 Kozen, Dexter; Parikh, Rohit 49 1981 Positive first-order logic is NP-complete. Zbl 0481.03026 Kozen, Dexter 9 1981 On the duality of dynamic algebras and Kripke models. Zbl 0482.03008 Kozen, Dexter 4 1981 Propositional dynamic logics of programs: A survey. Zbl 0468.68038 Parikh, Rohit 4 1981 ...and 6 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,299 Authors 32 Kozen, Dexter C. 30 Struth, Georg 25 Ésik, Zoltán 25 Silva, Alexandra 24 Vardi, Moshe Ya’akov 23 Lange, Martin 22 Inoue, Katsushi 19 Aceto, Luca 19 Möller, Bernhard 17 Geffert, Viliam 17 Guttmann, Walter 16 Ingólfsdóttir, Anna 14 Bozzelli, Laura 13 Larsen, Kim Guldstrand 13 Takanami, Itsuo 12 Francalanza, Adrian 12 Ito, Akira 12 Kupferman, Orna 12 Mardare, Radu 12 van Ditmarsch, Hans Pieter 11 Höfner, Peter 11 Madeira, Alexandre 11 McIver, Annabelle K. 11 Platzer, André 11 Wooldridge, Michael J. 10 Chatterjee, Krishnendu 10 Holzer, Markus 10 Ibarra, Oscar H. 10 Lohrey, Markus 10 Murano, Aniello 10 Panangaden, Prakash 10 Santocanale, Luigi 10 Schröder, Lutz 9 Desharnais, Jules 9 Hromkovič, Juraj 9 Katoen, Joost-Pieter 9 Lorini, Emiliano 9 Moreira, Nelma 9 Zanasi, Fabio 8 Bruse, Florian 8 Gottlob, Georg 8 Grädel, Erich 8 Harel, David 8 Hennicker, Rolf 8 Herzig, Andreas 8 Hoare, C. A. R. Tony 8 Jackson, Marcel G. 8 Legay, Axel 8 Piterman, Nir 8 Salomaa, Kai T. 8 Schewe, Sven 8 Smets, Sonja J. L. 8 Steffen, Bernhard 8 Stokes, Timothy E. 8 van der Hoek, Wiebe 8 Velázquez-Quesada, Fernando Raymundo 7 Baltag, Alexandru 7 Duan, Zhenhua 7 Halpern, Joseph Yehuda 7 Henzinger, Thomas A. 7 Huth, Michael R. A. 7 Kappé, Tobias 7 Kolaitis, Phokion G. 7 Lenzi, Giacomo 7 Mamouras, Konstantinos 7 Morgan, Carroll C. 7 Narendran, Paliath 7 Prisacariu, Cristian 7 Reif, John H. 7 Roy, Marie-Françoise 6 Achilleos, Antonis 6 Barbosa, Luís Soares 6 Benevides, Mario R. F. 6 Birget, Jean-Camille 6 Bradfield, Julian Charles 6 Brunet, Paul 6 De Giacomo, Giuseppe 6 Fahrenberg, Uli 6 Fokkink, Willem Jan 6 Hasuo, Ichiro 6 Jacobs, Bart 6 Jiang, Tao 6 Kaminski, Benjamin Lucien 6 Kucera, Antonin 6 Kutrib, Martin 6 Kuznetsov, Stepan L’vovich 6 Leivant, Daniel M. 6 Martins, Manuel António 6 Mateescu, Radu 6 Meyer, John-Jules Charles 6 Mikulás, Szabolcs 6 Milius, Stefan 6 Palsberg, Jens 6 Pinchinat, Sophie 6 Pous, Damien 6 Scarcello, Francesco 6 Tian, Cong 6 Tison, Sophie 6 van Benthem, Johan F. A. K. 6 Venema, Yde ...and 2,199 more Authors all top 5 Cited in 139 Serials 308 Theoretical Computer Science 126 Information and Computation 79 Journal of Computer and System Sciences 59 Journal of Logical and Algebraic Methods in Programming 51 Information Processing Letters 49 Logical Methods in Computer Science 40 Annals of Pure and Applied Logic 34 The Journal of Logic and Algebraic Programming 28 Journal of Symbolic Computation 27 MSCS. Mathematical Structures in Computer Science 26 Formal Aspects of Computing 25 International Journal of Foundations of Computer Science 23 Acta Informatica 23 Studia Logica 21 Formal Methods in System Design 20 Artificial Intelligence 19 The Journal of Symbolic Logic 18 Journal of Automated Reasoning 17 Annals of Mathematics and Artificial Intelligence 17 RAIRO. Theoretical Informatics and Applications 17 Journal of Applied Logic 16 Journal of Philosophical Logic 16 Journal of Logic, Language and Information 15 Synthese 15 Journal of Applied Non-Classical Logics 15 ACM Transactions on Computational Logic 14 Theory of Computing Systems 12 Information Sciences 12 Mathematical Systems Theory 9 Soft Computing 8 Science of Computer Programming 8 International Journal of Algebra and Computation 8 RAIRO. Informatique Théorique et Applications 7 Journal of Complexity 6 Discrete Applied Mathematics 6 Fuzzy Sets and Systems 6 The Bulletin of Symbolic Logic 6 Fundamenta Informaticae 5 Computers & Mathematics with Applications 5 Algebra Universalis 5 Journal of Functional Programming 5 Theory and Practice of Logic Programming 4 Journal of Pure and Applied Algebra 4 Journal of Soviet Mathematics 4 Programming and Computer Software 4 Combinatorica 4 Algorithmica 4 International Journal of Approximate Reasoning 4 International Journal of Computer Mathematics 4 Archive for Mathematical Logic 4 Applicable Algebra in Engineering, Communication and Computing 4 Computational Complexity 3 Discrete Mathematics 3 Applied Mathematics and Computation 3 BIT 3 Notre Dame Journal of Formal Logic 3 SIAM Journal on Computing 3 The Review of Symbolic Logic 3 Journal of Membrane Computing 2 International Journal of General Systems 2 International Journal of Theoretical Physics 2 Mathematical Biosciences 2 The Mathematical Intelligencer 2 Journal of Combinatorial Theory. Series B 2 Mathematics and Computers in Simulation 2 Cybernetics 2 European Journal of Combinatorics 2 Discrete Event Dynamic Systems 2 Linear Algebra and its Applications 2 Distributed Computing 2 Mathematical Programming. Series A. Series B 2 Journal of Mathematical Sciences (New York) 2 Parallel Algorithms and Applications 2 Journal of the ACM 2 Lobachevskii Journal of Mathematics 2 Logica Universalis 2 Frontiers of Computer Science 2 Axioms 2 Computer Science Review 1 American Mathematical Monthly 1 Communications in Algebra 1 International Journal of Control 1 Journal of the Franklin Institute 1 Linear and Multilinear Algebra 1 Nonlinearity 1 Mathematics of Computation 1 Algebra and Logic 1 Bulletin de la Société Mathématique de France 1 Commentationes Mathematicae Universitatis Carolinae 1 Czechoslovak Mathematical Journal 1 Journal of Computational and Applied Mathematics 1 Journal of Economic Theory 1 Linguistics and Philosophy 1 Mathematica Slovaca 1 Monatshefte für Mathematik 1 Naval Research Logistics 1 Proceedings of the American Mathematical Society 1 Semigroup Forum 1 Advances in Applied Mathematics 1 Operations Research Letters ...and 39 more Serials all top 5 Cited in 40 Fields 1,649 Computer science (68-XX) 860 Mathematical logic and foundations (03-XX) 118 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 56 Combinatorics (05-XX) 49 Order, lattices, ordered algebraic structures (06-XX) 47 Category theory; homological algebra (18-XX) 37 General algebraic systems (08-XX) 31 Field theory and polynomials (12-XX) 24 Associative rings and algebras (16-XX) 24 Operations research, mathematical programming (90-XX) 21 Probability theory and stochastic processes (60-XX) 20 Numerical analysis (65-XX) 20 Quantum theory (81-XX) 18 Algebraic geometry (14-XX) 18 Systems theory; control (93-XX) 17 Information and communication theory, circuits (94-XX) 15 Number theory (11-XX) 14 Group theory and generalizations (20-XX) 12 Commutative algebra (13-XX) 11 Biology and other natural sciences (92-XX) 10 General topology (54-XX) 8 Real functions (26-XX) 8 Convex and discrete geometry (52-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 6 History and biography (01-XX) 6 Measure and integration (28-XX) 5 Functions of a complex variable (30-XX) 4 General and overarching topics; collections (00-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Operator theory (47-XX) 3 Differential geometry (53-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 1 Nonassociative rings and algebras (17-XX) 1 Ordinary differential equations (34-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX) Citations by Year